Define the following predicates with the domain of movies:

S(x) is "x is a superhero movie" F(x) is "x is fun"

Which of the following statements in predicate logic express the English statement that "All superhero movies are fun." (There can be multiple correct answers).

x (S(x) F(x)) x (S(x ) F(x)) x (S(x) F(x)) x (S(x) F(x))

I marked 2 and 4 as my choices however they were marked wrong. What is the correct answer and could you translate each statement to English.