Assertion: boolean negation | /r/HasProperty | computed as binary subtraction
Facets:
value: from zero
type: OTHER
Source sentences:
text: Unary negation, −x, can be computed as binary subtraction from zero, 0 − x.