To understand the event "Mario ate a mushroom.", it is important to know that Mushrooms can be eaten raw or cooked.