edible mushroom subgroup of mushroom, 3 assertions