green frog subgroup of frog, 1 assertions