To understand the event "Jim woke up  Jim got out of bed", it is important to know that not waking up means the person is dead