Assertion list
killer whale (subgroup of whale ) → IsA
Results from Ascent++: 1
killer whale → IsA → dolphin 0.16