dining room, dining hall, cafeteria, canteen, messroom, restaurant, eatery, snack bar, diner