To understand the event "Jim woke up  Jim got out of bed", it is important to know that Jim may now take a shower