what operas are a part of the music theatre genre?
(AND opera.opera (JOIN opera.opera.genre m.0557q))