To understand the event "Jim woke up  Jim got out of bed", it is important to know that the alarm clock had already rung twice