#dininghall a large room at a college or university; used especially for dining
supertype: #dining_room a room used for dining
part: #high_table
subtype: #refectory a communal dininghall (usually in a monastery)
No statement uses or specializes #dininghall; click here to add one.