Assertion: quantifier | /r/HasProperty | logical symbol
Facets:
Source sentences:
text: A quantifier is a logical symbol which makes an assertion about the set of values which make one or more formulas true.