Assertion: contradiction | /r/HasProperty | asserted
Facets:
Source sentences:
text: That is, once a contradiction has been asserted, any proposition (including their negations) can be inferred from it.