Using the following predicates C(x) x is a car M(x) x is a man O(x,y) x owns y W(x,y) x washes y S(x) x shines P(x) x is pleased what is the best way to render the following predicate logic statement in English? (Vx)[(C(x) & S(x)) (3y)[M(y) & O(x,y)]] All shiney cars own a man. For each car that shines it implies that there exists a man who owns the car. For all cars that shine the exists a man who owns it All cars that shine imply that there exists a man who owns it