A restaurant sometimes known as a diner is a place where cooked food is sold to the public, and where people sit down to eat it