Assertion: right triangle's length | /r/HasProperty | the side
Facets:
Source sentences:
text: hyp : length of the hypotenuse - the side opposite the right angle