Assertion list
sea snake (subgroup of snake ) → HasProperty
Results from Ascent++: 2
sea snake → HasProperty → venomous 0.74
sea snake → HasProperty → harmless 0.25