∀x ((PerformAt(x, newHavenSymphonyOrchestra) ∧ TouringMusician(x)) → ¬PermanentMemberOf(x, theOrchestra))
∀x (PerformAt(x, newHavenSymphonyOrchestra) → (PermanentMemberOf(x, theOrchestra) ∨ HaveTemporaryRoleAt(x, theOrchestra)))
∀x ((PerformAt(x, newHavenSymphonyOrchestra) ∧ TouringMusicians(x)) → HaveTemporaryRoleAt(x, theOrchestra))
∀x ((PerformAt(x, newHavenSymphonyOrchestra) ∧ HaveTemporaryRoleAt(x, theOrchestra)) → InterestingSoloist(x))
∀x ((PerformAt(x, newHavenSymphonyOrchestra) ∧ InterestingSoloist(x)) → CapableOfAttractingAudiences(x))
PerformAt(ryan, newHavenSymphonyOrchestra)
(InterestingSoloist(ryan) ∧ HaveTemporaryRoleAt(ryan, theOrchestra)) → ¬(TouringMusician(ryan) ⊕ CapableOfAttractingAudiences(ryan))
(PermanentMemberOf(ryan, orchestra) ⊕ TouringMusician(ryan))