Assertion: real number | /r/HasAspect | two basic properties
Facets:
value: more formally
type: MANNER
Source sentences:
text: More formally, the real numbers have the two basic properties of being an ordered field, and having the least upper bound property.