Assertion: right triangle's length | /r/CapableOf | use the vertical edge ab
Facets:
Source sentences:
text: Using horizontal diagonal BD and the vertical edge AB, the length of diagonal AD then is found by a second application of Pythagoras's theorem as: