Assertion list
equilateral triangle (subgroup of triangle ) → IsA
Results from Ascent++: 1
equilateral triangle → IsA → triangle 0.84