All touring musicians who perform at the New Haven Symphony Orchestra have temporary roles at the orchestra.
∀x ((PerformAt(x, newHavenSymphonyOrchestra) ∧ TouringMusicians(x)) → HaveTemporaryRoleAt(x, theOrchestra))