Assertion list
right triangle (subgroup of triangle ) → IsA
Results from Ascent++: 1
right triangle → IsA → triangle 0.42