Assertion: order logic | /r/CapableOf | allow quantification
Facets:
Source sentences:
text: Other higher-order logics allow quantification over even higher types than second-order logic permits.