Assertion: right triangle's hypotenuse | /r/HasProperty | the side ac of length
Facets:
Source sentences:
text: At the same time the triangle lengths are measured as shown, with the hypotenuse of length y, the side AC of length x and the side AB of length a, as seen in the lower diagram part.