Using the following predicates

$C(x),xis$ a car

$M(x),xis$ a man

$O(x,y),x$ owns $y$

$W(x,y),x$ washes $y$

$S(x),x$ shines

$P(x),xis$ pleased

translate the following English statement into predicate logic:

There is a car that does not shine and there is a man who owns it and who is not

pleased.

EEx$[C(x{)}^{}S(x){]}^{E}Ey[M(y{)}^O(y,x{)}^{}P(y)]$

$[C(x{)}^{}S(x){]}^{M(y{)}^O(y,x{)}^{}P(y)}$

AAx$[C(x{)}^{}S(x){]}^{E}Ey[M(y{)}^O(y,x{)}^{}P(y)]$

EEx$[C(x{)}^{}S(x){]}^{E}Ey[M(y{)}^O(x,y{)}^{}P(y)]$