"restauranthus" er et 13-bokstavers substantiv som brukes som synonym for "diner". diner betyr: Sted med formell servering av mat