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