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