Assertion list for term "one angle".

Results from Ascent++: 2
obtuse triangle (subgroup of triangle) HasAone angle 0.68
right triangle (subgroup of triangle) HasAone angle 0.57