You have your choice of The Lucky Star, with Chinese cuisine, or Nandos, a portuguese restaurant.
Lets go with The Lucky Star. I need a table for 8 people at 13:45 on Friday.
hotel-area hotel-day hotel-name hotel-pricerange hotel-stars hotel-type restaurant-area restaurant-day restaurant-name restaurant-people restaurant-pricerange restaurant-time
hotel-area hotel-day hotel-name hotel-pricerange hotel-stars hotel-type restaurant-area restaurant-day restaurant-name restaurant-people restaurant-pricerange restaurant-time
hotel-area hotel-day hotel-name hotel-pricerange hotel-stars hotel-type restaurant-area restaurant-day restaurant-name restaurant-people restaurant-pricerange restaurant-time
hotel-area hotel-day hotel-name hotel-pricerange hotel-stars hotel-type restaurant-area restaurant-day restaurant-name restaurant-people restaurant-pricerange restaurant-time