A Ramadinha is a restaurant.