Assertion list
porpoise (primary) → IsA
Results from Ascent++: 3
porpoise → IsA → mammal 0.54
porpoise → IsA → cetacean 0.50
porpoise → IsA → smaller than dolphins 0.25