To understand the event "Mario ate a mushroom.", it is important to know that a mushroom is the fleshy part of an edible fungus