sea snake subgroup of snake, 6 assertions