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