#dininghall  a large room at a college or university; used especially for dining
  supertype:  #dining_room  a room used for dining
  subtype:  #refectory  a communal dininghall (usually in a monastery)
  part:  #high_table  a dining table in a dininghall raised on a platform; seats are reserved for distinguished persons

No statement uses or specializes #dininghall; click here to add one.