Assertion list
coral snake (subgroup of snake ) → AtLocation
Results from Ascent++: 1
coral snake → AtLocation → soil 0.25