Assertion: quantifier | /r/HasProperty | introduced
Facets:
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.