Assertion: line | /r/HasProperty | the hypotenuse
Facets:
Source sentences:
text: By the way, what you are actually doing is using the Pythagorean Theorem on an imaginary right triangle with the line joining the two lines being the hypotenuse.