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