Assertion: logic | /r/HasProperty | specified as inference rules
Facets:
Source sentences:
text: It can also be used to implement any logic which is specified as inference rules.