dining hall vs restaurant

dining hall

noun
  • a large room, typically in schools or colleges, where people eat together 

restaurant

noun
  • An eating establishment in which diners are served food, usually by waiters at their tables but sometimes (as in a fast food restaurant) at a counter. 

How often have the words dining hall and restaurant occurred in a corpus of books? (source: Google Ngram Viewer )