what opera house is the seven deadly sins produced at?
(AND opera.opera_house (JOIN opera.opera_house.productions m.0zn30fw))