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: Every man owns a car that shines. O Vx(M(x))= y[(Cly)O(x,y)^S(y)] OVxy(M(x))=[(C(y)^2(x,y)^Sy)] OVxVy(M(x)^(C(y)^O(x,y)^Sy) O 3x(M(x)) =3y[(Cly)^O{x,y)^s(y)]