Assertion: right triangle's side | /r/AtLocation | opposite corner
Facets:
Source sentences:
text: Draw a line segment (called the "altitude") at right angles to a side that goes to the opposite corner.