Assertion: right triangle's length | /r/HasProperty | twice the distance
Facets:
value: from the right angle vertex
type: LOCATION
Source sentences:
text: A corollary is that the length of the hypotenuse is twice the distance from the right angle vertex to the midpoint of the hypotenuse.