ripe mango subgroup of mango, 13 assertions