Assertion list
maine lobster (subgroup of lobster ) → IsA
Results from Ascent++: 1
maine lobster → IsA → ideal way 0.16