Assertion: right triangle's length | /r/HasProperty | a = x.
Facets:
Source sentences:
text: Let the length of the second side be a = x.
text: Let the length of the second side be a = x.