Assertion: counting quantifier | /r/HasProperty | interesting
Facets:
Source sentences:
text: However, they are interesting in the context of logics such as two-variable logic with counting that restrict the number of variables in formulas.