Assertion list
obtuse triangle (subgroup of triangle ) → IsA
Results from Ascent++: 1
obtuse triangle → IsA → triangle 0.25