Assertion: quantifier | /r/CapableOf | range function
Facets:
value: over
type: OTHER
Source sentences:
text: In most cases, logical forms were assumed to be identical—or closely similar—to the formulas of first-order logic (logical systems in which the quantifiers (∃x) and (∀x) apply to, or “range over,” individuals rather than sets, functions, or other entities).