Assertion: right triangle's length | /r/HasProperty | the same
Facets:
Source sentences:
text: If that’s the case, then the lengths of the sides a and b are the same also.