Assertion: real number | /r/HasProperty | the distance
Facets:
Source sentences:
text: The real numbers form a metric space: the distance between x