Assertion: right triangle's area | /r/CapableOf | equal both ab
Facets:
Source sentences:
text: 2 times the area thus equals both ab and cd where d is the height from the hypotenuse c.