dining facility vs dining hall

dining facility

noun

  • mess hall 

dining hall

noun

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

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