Assertion: quantifier | /r/HasAspect | a formation rule
Facets:
Source sentences:
text: Here we restrict attention to logics of the form \(\FO(Q_1,Q_2,\ldots)\), formed by adding generalized quantifiers to FO, where each quantifier comes with a formation rule and a semantic clause for the truth definition as described in section 5 above.