what was the theater production that used translation in philip vellacott?
(AND theater.theater_production (JOIN theater.theater_production.translation_used m.05vdgy3))