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) = -(3y)[M(y) & O(x,y)]] There exists a man that no car owns. No man owns every car. No car owns a man No car owns every man