Assertion list for term "sum to two right angles".

Results from Ascent++: 1
angle (aspect of triangle) CapableOfsum to two right angles 0.25