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 translate the following English statement into predicate logic: If a man washes a car, the car shines and the man is pleased O [M (x) C (y) W (x,y)] [S(y) P(x)]