Assertion: right triangle's leg | /r/HasProperty | 5 m
Facets:
Source sentences:
text: One leg is 5 m; replace a with 5.