sentences:  For example, some larger colleges have both a large dining hall and a canteen-style dining room (often called the "Buttery" or "Servery").In these cases informal evening meals are taken in the Buttery and formal meals in the hall, and the term Hall is used uniquely to refer to the latter meal.Some may call it "Second Hall" to differentiate from the earlier self-service "First Hall" or "Informal Hall".