Assertion: real number's distance | /r/HasProperty | the unit length
Facets:
value: on the number line
type: LOCATION
Source sentences:
text: On the number line, the distance between two points is the unit length if and only if the difference of the represented numbers equals 1.