To understand the event "Dan was thirsty.  Dan drank a lot of beer.", it is important to know that Dan will be asleep