Assertion: order logic | /r/CapableOf | extend first-order logic
Facets:
Source sentences:
text: Second-order logic extends first-order logic by adding the latter type of quantification.