in philip vellacott, which theater production used a translation?
(AND theater.theater_production (JOIN theater.theater_production.translation_used m.05vdgy3))