diner vs dining hall

diner

noun
  • One who dines. 

  • A typically small restaurant, usually modeled after a railroad dining car, that serves lower-class fare, normally having a counter with stools along one side and booths on the other, and often decorated in 50s and 60s pop culture themes and playing popular music from those decades. 

  • A dining car in a railroad train. 

dining hall

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

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