To understand the event "Bob puked.", it is important to know that Bob is alive