To understand the event "The mouse died.", it is important to know that the mouse is old