which theater production is jim sharman a musical director for?
(AND theater.theater_production (JOIN theater.theater_production.musical_director m.0d11vq))