Assertion: logic | /r/HasProperty | appropriate
Facets:
Source sentences:
text: Any logical system which is appropriate as an instrument for the analysis of natural language needs a much richer structure than first-order predicate logic".:88