what theatre productions has the company abc, inc done?
(AND theater.theater_production (JOIN theater.theater_production.producing_company m.0gsg7))