Assertion: quantifier | /r/HasProperty | ie complexity
Facets:
Source sentences:
text: So this is a simple way to classify logic formulas based on number of quantifiers (ie complexity) they have.