Translate the following from FOL into English.

A. (Ex)(Pet(x) ^ ~x=pris)

B. (Ay)(Ex)(Pet(y) --> Fed(x,y,2:00))

C. (Ex)(Ay)(Pet(y) --> Fed(x,y,2:00))

(Hint: your translations for B. and C. should not be exactly the same!)

D. (Ex)(Ey)(Cube(x) ^ Dodec(y) ^ Large(y) ^ Small(x))

E. (Az)[Cube(z) --> ((Ew)(Tet(w) ^ Larger(z,w)) ^ (Ey)(Tet(y) ^ Larger(y,z))]

F. (Ex)[Tet(x) ^ (Ay)(Cube(y) --> Larger(x,y))]