Assertion: order logic | /r/HasAspect | more expressive power
Facets:
value: much
type: DEGREE
Source sentences:
text: As a result, second-order logic has much more “expressive power” than FOL does.