inform((_:search,area,'west');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
am looking for a restaurant . The restaurant should be in the west and should be in the cheap price range
select((_:result,food,'Italian');(_:result,food,'Vietnamese');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,type,'Restaurant'))
system
I have two choices in that area and price range .   Would you prefer Italian or Vietnamese ?
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
I would prefer Vietnamese .
offer((_:booking,type,'Booking')) inform((_:result,area,'west');(_:result,food,'Vietnamese');(_:result,name,'Thanh Binh');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
Thanh Binh is a cheap Vietnamese restaurant in the west . Shall I book a reservation for you ?
inform((_:search,day,'tuesday');(_:search,duration,'12:00');(_:search,type,'Restaurant'))
user
Yes please . I 'd like it to be for Tuesday at 12:00 .
request((_:booking,people,?);(_:booking,type,'Booking'))
system
How many people should I make the reservation for ?
inform((_:search,people,'7');(_:search,type,'Restaurant'))
user
There will be 7 of us .
reqmore() inform((_:booking,ref,'KH5F18TN');(_:booking,type,'Booking'))
system
The booking was successful and your table will be reserved for 15 minutes . Your reference number is KH5F18TN . Anything else I may assist you with ?
thank()
user
No that 's it . Thanks for your help !
system
You are welcome ! Have a nice day !
_:search area west
_:search pricerange cheap
_:search type Restaurant
_:search area west
_:search pricerange cheap
_:result food Italian
_:result food Vietnamese
_:result count 2
_:result type Restaurant
_:search food vietnamese
_:search type Restaurant
_:search area west
_:search pricerange cheap
_:result count 2
_:search food vietnamese
_:system offered _:booking
_:booking type Booking
_:result area west
_:result food Vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search day tuesday
_:search duration 12:00
_:search type Restaurant
_:search area west
_:search pricerange cheap
_:result count 2
_:search food vietnamese
_:system offered _:booking
_:result area west
_:result food Vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search day tuesday
_:search duration 12:00
_:booking people ?
_:booking type Booking
_:search people 7
_:search type Restaurant
_:search area west
_:search pricerange cheap
_:result count 2
_:search food vietnamese
_:system offered _:booking
_:result area west
_:result food Vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:search day tuesday
_:search duration 12:00
_:booking people ?
_:search people 7
_:search type Restaurant
_:system inquired _:user
_:booking ref KH5F18TN
_:booking type Booking