the west mifflin area high school is home to which theater productions?
(AND theater.theater_production (JOIN theater.theater_production.performed_at m.05h21xg))