Assertion list
sea snake (subgroup of snake ) → HasA
Results from Ascent++: 1
sea snake → HasA → paddle-like tails 0.41