If Room 116 is not both a private study spot and freely useable at night, then it is either used for lectures or booked during the day.
¬(PrivateStudySpot(room116) ∧ FreelyUsableAtNight(room116)) → (UsedFor(room116, lecture) ∨ BookedIn(room116, evening))