To understand the event "Mario ate a mushroom.", it is important to know that All mushrooms sold in grocery stores are safe to eat.