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