tree frog subgroup of frog, 3 assertions