Assertion list
turbot (primary) → IsA
Results from Ascent++: 1
turbot → IsA → flatfish 0.68