Assertion: unique real number | /r/HasProperty | that a
Facets:
Source sentences:
text: If a is any real number, then there is a unique real number −a, such that a