Assertion: right triangle's length | /r/HasProperty | $r
Facets:
Source sentences:
text: a line segment of length $r (a+b)$
text: a line segment of length $r (ab)$
text: a line segment of length $r (a/b)$