Assertion: order logic | /r/HasProperty | adequate
Facets:
value: for most everyday reasoning
type: PURPOSE
Source sentences:
text: There are more powerful forms of logic, but first-order logic is adequate for most everyday reasoning.