How can i create a sentence in FOL which contains a quantum of subjects? E.g. "Five students took Greek in spring 2001."
I can phrase something like "One student took Greek in spring 2001" with:
∀xy : (took(x, Greek, Spring2001) ∧ took(y, Greek, Spring2001)) ⇒ (x = y)
For sure i can chain this phrase until all subjects (x, y, z, ...) are defined, but are there any patterns to do this?