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 translate the following English statement into predicate logic: All men who own cars wash them O V x[M(x)^3x(C(x)^O(x,y)]=W(x,y) O Vx[M(x)^3y(Cly)^O(x,y)]=W(y,x) O Vx[M(x)^3y(Cly)^Oly,x)]=W(y,x) O Vx[M(x)^3y(Cly)^O(x,y)]=W(x,y)