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