Using the following predicates C(x) x is a car M(x) x is a man O(x,y) xowns y W(x,y) x washes y S(x) x shines P(x) x is pleased translate the following English statement into predicate logic: If a man washes a car, the car shines and the man is pleased O VxVy[M(x)^Cly)^W(x,y)]=[S(y)*P(x)] O [M(x)^C(y)^W(x,y)]=[S(y)^P(x)] O + x[M(x)^C(y)^W(x,y)]=[S(x)^P(x)] O VxVy[M(x)^Cly)^W(x,y)]=[S(X)^P(y)]