Assertion: quantifier | /r/CapableOf | apply to two formulae a
Facets:
value: to form longer formulae
type: PURPOSE
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.