green led subgroup of led, 7 assertions