Consider the following three relations:

Car (model, year, serial, color)

Make (maker, model)

Own (owner, serial)

A tuple in Car represents a specific car of a given model, made in a given year, with a serial number and a color. A tuple in Make specifies that a maker company makes cars of a certain model. A tuple in Own specifies that an owner owns the car with a given serial number. Keys are underlined; (owner, serial) together form key for Own. ( $\bowtie $ denotes natural join)

$$ \pi_{\text {owner }}(\text { Own } \bowtie \left(\sigma_{\text {color="red" }}\right. $$

$\left(\right.$ Car $\triangleright \triangleleft\left(\sigma_{\text {maker }=\text { "ABC }}\right.$ Make $\left.\left.\left.)\right)\right)\right)$

Which one of the following options describes what the above expression computes?