Assertion: real number | /r/HasProperty | the coordinate of a point
Facets:
Source sentences:
text: A real number is any number that is the coordinate of a point on the real number line.