Assertion: negation | /r/HasProperty | understood in terms of subtraction
Facets:
Source sentences:
text: Negation is thus understood in terms of subtraction from the numerical representation of True.