Assertion list
halibut (primary) → IsA
Results from Ascent++: 3
halibut → IsA → flatfish 0.47
halibut → IsA → lean fish 0.47
halibut → IsA → the largest of all flatfish 0.32