To understand the event "Michael was late to work.", it is important to know that michael must have gotten up late