Assertion: right triangle's angle | /r/HasProperty | those smaller
Facets:
Source sentences:
text: Euclid uses right angles in definitions 11 and 12 to define acute angles (those smaller than a right angle) and obtuse angles (those greater than a right angle).