No touring musicians who perform at the New Haven Symphony Orchestra are permanent members of the orchestra.
∀x ((PerformAt(x, newHavenSymphonyOrchestra) ∧ TouringMusician(x)) → ¬PermanentMemberOf(x, theOrchestra))