Assertion: quantifier | /r/DefinedAs | binary operators
Facets:
value: in sheet 4 of these notes
type: LOCATION
Source sentences:
text: When quantifiers were introduced, in Sheet 4 of these notes, they were defined as binary operators, applying to two formulae A and B to form longer formulae.