All musicians performing at the New Haven Symphony Orchestra who have temporary roles at the orchestra are interesting soloists.
∀x ((PerformAt(x, newHavenSymphonyOrchestra) ∧ HaveTemporaryRoleAt(x, theOrchestra)) → InterestingSoloist(x))