Assertion: distance | /r/HasProperty | two points
Facets:
value: on the real line
type: LOCATION
Source sentences:
text: Thus if p and q are two points on the real line, then the distance between them is given by: