which theater productions were produced by the company abc, inc?
(AND theater.theater_production (JOIN theater.theater_production.producing_company m.0gsg7))