Assertion: logic | /r/CapableOf | allow quantification
Facets:
value: over predicates
type: OTHER
Source sentences:
text: Form of logic that allows quantification over predicates