Assertion list
butterfly garden (subgroup of garden ) → IsA
Results from Ascent++: 1
butterfly garden → IsA → long way 0.68