Assertion list
walrus (primary) → IsA
Results from Ascent++: 1
walrus → IsA → large flippered marine mammal 0.55