Assertion: negation elimination | /r/HasProperty | ne
Facets:
Source sentences:
text: As already seen, we need three more inference rules, Conditional Introduction (CI), Negation Introduction (NI), and Negation Elimination (NE).
text: Negation Elimination (NE)