Assertion list
seahorse (primary) → IsA
Results from Ascent++: 1
seahorse → IsA → true fish 0.31