Assertion: quantifier | /r/HasProperty | universal one
Facets:
Source sentences:
text: The only quantifiers we take as primitive in ordinary formal logic are the universal one, written '∀', and the existential one, written '∃'.