To understand the event "Tim is a vegetarian.  Tim refuses to eat meat.", it is important to know that all vegetarians will eat vegetables