Assertion: distance | /r/HasProperty | line
Facets:
Source sentences:
text: Euclid in his work stated that the shortest distance between two points is a line; that was the triangle inequality for his geometry.