Room 116 is a classroom in William L. Harkness Hall that is either both used for lecture and used for office hours or not used for either.
ClassroomIn(116, williamLHarknessHall) ∧ ¬(UsedFor(116, lecture) ⊕ UsedFor(116, officeHours))