an opera might take place in an opera hall.