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?