green mango subgroup of mango, 3 assertions