Assertion: bounded quantifier | /r/AtLocation | addition
Facets:
value: often
type: TEMPORAL
value: to the standard quantifiers
type: OTHER
Source sentences:
text: In the study of formal theories in mathematical logic, bounded quantifiers are often included in a formal language in addition to the standard quantifiers "∀" and "∃".