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