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