To understand the event "Mario ate a mushroom.", it is important to know that 'Mario' is probably the name of a male human.