king snake subgroup of snake, 3 assertions