Question: What was the music hall at Notre Dame called?
Sentence: Eventually becoming known as Washington Hall, it hosted plays and musical acts put on by the school.
Answer in sentence: yes