Assertion list
acute triangle (subgroup of triangle ) → IsA
Results from Ascent++: 1
acute triangle → IsA → triangle 0.68