dining-hall (n.)

  1. a large room at a college or university; used especially for dining

The dictionary is based on the WordNet Electronic Lexical Database.
WordNet 3.0 Copyright 2011 by Princeton University. All rights reserved.