Assertion: real number | /r/HasAspect | order
Facets:
Source sentences:
text: The real numbers have an order, meaning that for any two distinct real numbers we can say that one is greater than the other.