Assertion list
sea snake (subgroup of snake ) → AtLocation
Results from Ascent++: 1
sea snake → AtLocation → shallow water 0.38