All I want to do is write the following things into notation.
My trouble is in inserting the correct order and understand where to use the same variables.
The predicates are Students, Answers, and Questions.
None of the students answered all of the questions
At least one student answered all of the questions
One student answered all of the questions.
I get confused in the differences in how to show one student vs at least one