I want to know the answer to the following question:
What was the music hall at Notre Dame called?
All the background I'm provided with is that "Eventually becoming known as Washington Hall, it hosted plays and musical acts put on by the school.". Is that enough to answer the question?
Answer: yes