Assertion list
anaconda (primary) → IsA
Results from Ascent++: 2
anaconda → IsA → the heaviest snake 0.56
anaconda → IsA → constrictor 0.32