Assertion: right triangle's angle | /r/HasProperty | divided by the length of the hypotenuse
Facets:
Source sentences:
text: the sine of a non-right angle equals the length of the leg opposite that angle divided by the length of the hypotenuse.