Assertion: additional quantifier | /r/AtLocation | first-order logic
Facets:
Source sentences:
text: Additional quantifiers can be added to first-order logic.