To understand the event "Pat is a teacher.  Pat works in a school building.", it is important to know that Pat is a woman