Assertion list
angelfish (primary) → IsA
Results from Ascent++: 1
angelfish → IsA → fish 0.16