Question 8 12 pts Match the English language translation of the predicate wffs. (The domain is the whole world.) S(x): x is a student W(x): x is a professor T(x, y): x teaches y (3x) (P(x) (vy) (S(y) [T(x, y)]')) (vx) [S(x) (3y) (P(y) AT(x, y))] (vx) [S(x) (vy) (T(x, y) P(y))] [Choose ] [Choose ] There are only professors teaching students Every student has at least one professor that teaches them All professors teach all students There is at least one professor that does not teach students [Choose ] (vx)(vy) (S(x) AT(y, x) P(y)) [Choose ]