Assertion list
manatee (primary) → IsA
Results from Ascent++: 1
manatee → IsA → mammal 0.63