Assertion list
bluefish (primary) → IsA
Results from Ascent++: 1
bluefish → IsA → proportioned fish 0.43