Assertion list for term "two angles".

Results from Ascent++: 1
triangle HasAtwo angles 0.38