Assertion: order logic | /r/CapableOf | cover quantification
Facets:
Source sentences:
text: While propositional logic deals with simple declarative propositions, first-order logic additionally covers predicates and quantification.