Assertion: real number | /r/HasProperty | specified by above properties
Facets:
value: uniquely
type: MANNER
Source sentences:
text: The real numbers are uniquely specified by the above properties.