Harkness is established after 1800.
All Yale dormitories are located on York Street.  All buildings managed by Yale Housing are dormitories.  All buildings operated by Yale Housing staff are managed by Yale Housing.  No buildings open to students are established after 1800.  All buildings located on York Street are open to students.  Harkness is either a building operated by Yale Housing staff or located on York Street. 
∀x (YaleDormitory(x) → InYorkStreet(x)) ∀x (ManagedByYaleHousing(x) → YaleDormitory(x)) ∀x (OperatedByYaleHousingStaffs(x) → ManagedByYaleHousing(x)) ∀x (OpenToStudents(x) → ¬EstablishedAfter1800(x)) ∀x (InYorkStreet(x) → OpenToStudents(x)) OperatedByYaleHousingStaffs(harkness) ⊕ InYorkStreet(harkness)