Assertion: right triangle's angle | /r/HasProperty | axc sum
Facets:
Source sentences:
text: Since the angles of the triangle AXC sum to π