Assertion list
water snake (subgroup of snake ) → IsA
Results from Ascent++: 1
water snake → IsA → -venomous, beneficial snakes 0.25