Assertion: real number's property | /r/HasProperty | above
Facets:
Source sentences:
text: The real numbers are uniquely specified by the above properties.