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