Assertion: quantifier | /r/HasAspect | semantic clause
Facets:
value: for the truth definition
type: PURPOSE
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.