MusicPiece(symphony9)
∀x (MusicPiece(x) → ∃y (Composer(y) ∧ Write(y, x)))
Writtenby(symphony9, beethoven)
Premiered(viennaMusicSociety, symphony9)
Orchestra(viennaMusicSociety)
Lead(beethoven, viennaMusicSociety)
∀x (Orchestra(x) → (∃y Conductor(y) ∧ Lead(y, x)))
Composer(beethoven)