Question: How many books are housed at the Theodore Hesburgh Library?
Sentence: The most famous is Notre Dame Stadium, home of the Fighting Irish football team; it has been renovated several times and today it can hold more than 80 thousand people.
Answer in sentence: no