Assertion: order logic | /r/CapableOf | use lambda-abstraction
Facets:
Source sentences:
text: For instance, one can give dialogue rules for second-order logic using lambda-abstraction, and such a system would not be a decision procedure.