Assertion list
green anaconda (subgroup of anaconda ) → IsA
Results from Ascent++: 2
green anaconda → IsA → the largest snake 0.68
green anaconda → IsA → non-venomous boa species 0.25