To understand the event "Jim woke up  Jim got out of bed", it is important to know that it is probably morning