inform((_:search,area,'south');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Do you have any recommendations for a restaurant in the south area in a high price range ?
inform((_:result,name,'Good Luck Chinese Food Takeaway');(_:result,name,'Peking Restaurant');(_:result,name,'Taj Tandoori');(_:result,type,'Restaurant'))
system
Yes , there 's the Good Luck Chinese Food Takeaway , Peking Restaurant , and Taj Tandoori . How do those sound ?
inform((_:search,food,'mediterranean');(_:search,type,'Restaurant'))
user
Do the serve mediterranean food ?
canthelp((_:search,area,'south');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
system
There is no expensive Mediterranean restaurant in the south .
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
How about one that serves Chinese food ?
select((_:result,name,'Good Luck Chinese Food Takeaway');(_:result,name,'Peking Restaurant');(_:result,type,'Restaurant')) offer((_:booking,type,'Booking')) inform((_:result,count,'2');(_:result,food,'Chinese');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are two expensive Chinese restaurants , the Good Luck Chinese Food Takeaway and the Peking Restaurant . Would you like to book a table with either of these ?
inform((_:search,day,'monday');(_:search,duration,'17:00');(_:search,name,'peking restaurant');(_:search,people,'1');(_:search,type,'Restaurant'))
user
Can you make a reservation for 1 on Monday at 17:00 at Peking Restaurant please .
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
I 'm sorry but there was no availability for that time . Would you like to try another day or time ?
inform((_:search,duration,'16:00');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
How about 16:00 ? Could you please provide me with the reference number also ?
reqmore() inform((_:booking,ref,'1YYK3KQS');(_:booking,type,'Booking'))
system
Your booking was successful and the reference number is 1YYK3KQS . May I assist you with anything else today ?
thank()
user
No , that 's it .   Thanks !
system
Would you provide me with the address ?
request((_:result,address,?);(_:result,type,'Restaurant'))
user
No . I 'm the customer and you 're the help desk ; It is you who are supposed to provide me with the address . But you 've given me all I need , so goodbye !
system
Have a good day !
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:result name Good Luck Chinese Food Takeaway
_:result name Peking Restaurant
_:result name Taj Tandoori
_:result type Restaurant
_:search food mediterranean
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:result name Good Luck Chinese Food Takeaway
_:result name Peking Restaurant
_:result name Taj Tandoori
_:result type Restaurant
_:system canthelp _:search/c953b7db
_:search/c953b7db area south
_:search/c953b7db pricerange expensive
_:search/c953b7db type Restaurant
_:search food chinese
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:system canthelp _:search/c953b7db
_:search/c953b7db area south
_:search/c953b7db pricerange expensive
_:search/c953b7db type Restaurant
_:search food chinese
_:result name Good Luck Chinese Food Takeaway
_:result name Peking Restaurant
_:system offered _:booking
_:booking type Booking
_:result count 2
_:result food Chinese
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 17:00
_:search name peking restaurant
_:search people 1
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:system canthelp _:search/c953b7db
_:search/c953b7db area south
_:search/c953b7db pricerange expensive
_:search/c953b7db type Restaurant
_:search food chinese
_:result name Good Luck Chinese Food Takeaway
_:result name Peking Restaurant
_:system offered _:booking
_:result count 2
_:result food Chinese
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search name peking restaurant
_:search people 1
_:system canthelp _:booking/7900d5b0
_:booking/7900d5b0 type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search duration 16:00
_:search type Restaurant
_:result ref ?
_:search area south
_:search pricerange expensive
_:system canthelp _:search/c953b7db
_:search/c953b7db area south
_:search/c953b7db pricerange expensive
_:search/c953b7db type Restaurant
_:search food chinese
_:result name Good Luck Chinese Food Takeaway
_:result name Peking Restaurant
_:system offered _:booking
_:result count 2
_:result food Chinese
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search name peking restaurant
_:search people 1
_:system canthelp _:booking/7900d5b0
_:booking/7900d5b0 type Booking
_:booking day ?
_:booking duration ?
_:search duration 16:00
_:search type Restaurant
_:result ref ?
_:system inquired _:user
_:booking ref 1YYK3KQS
_:booking type Booking
_:search area south
_:search pricerange expensive
_:system canthelp _:search/c953b7db
_:search/c953b7db area south
_:search/c953b7db pricerange expensive
_:search/c953b7db type Restaurant
_:search food chinese
_:result name Good Luck Chinese Food Takeaway
_:result name Peking Restaurant
_:system offered _:booking
_:result count 2
_:result food Chinese
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search name peking restaurant
_:search people 1
_:system canthelp _:booking/7900d5b0
_:booking/7900d5b0 type Booking
_:booking day ?
_:booking duration ?
_:search duration 16:00
_:search type Restaurant
_:result ref ?
_:system inquired _:user
_:booking ref 1YYK3KQS
_:booking type Booking
_:result address ?