Assertion: quantifier | /r/HasProperty | defined in terms of \(\forall\
Facets:
Source sentences:
text: It was therefore an important discovery that these quantifiers could all be defined in terms of \(\forall\) and sentential operators (replacing all\((A,B)\) by \(\forall x(A(x) \rightarrow B(x)\)), some\((A,B)\) by \(