Assertion: right triangle's length | /r/CapableOf | satisfy the triangle inequality
Facets:
Source sentences:
text: A triangle with three given positive side lengths exists if and only if those side lengths satisfy the triangle inequality.