a theater hall is for a play