Assertion: real number | /r/HasProperty | mapped to its additive inverse
Facets:
value: by multiplying by $-1$.
type: MANNER
Source sentences:
text: We have seen that a real number is mapped to its additive inverse by multiplying by $-1$.