O Mário is a restaurant.