Assertion: triangle's leg | /r/HasProperty | congruent
Facets:
value: to the hypotenuse
type: TRANSITIVE-OBJECT
Source sentences:
text: In the HL congruence theorem, if the hypotenuse and one leg of a right triangle are congruent to the hypotenuse and one leg of another right triangle, the two triangles are congruent.