event theatre noun spectacular and extravagantly-mounted theatrical productions collectively