a pizzeria is a type of restaurant.