Assertion list
toothed whale (subgroup of whale ) → IsA
Results from Ascent++: 1
toothed whale → IsA → the sperm whale 0.31