inform((_:search,type,'Restaurant'))
user
Any fancy restaurants in town ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'tons');(_:result,type,'Restaurant'))
system
We have tons of options !   What s your favorite type of food ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
I was looking for Chinese food .
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,food,'Chinese');(_:result,type,'Restaurant'))
system
We have several restaurants serving Chinese food in town .   What price range and part of town would you prefer ?
inform((_:search,area,'centre');(_:search,food,'chinese');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I would like expensive Chinese food located in the centre of town please .
offer((_:booking,type,'Booking')) inform((_:result,address,'17 Hills Road City Centre');(_:result,name,'sesame restaurant and bar');(_:result,phone,'01223358899');(_:result,type,'Restaurant'))
system
You can try sesame restaurant and bar at 17 Hills Road City Centre . The phone number is 01223358899 . Would you like to make a reservation ?
inform((_:search,day,'sunday');(_:search,duration,'17:15');(_:search,people,'2');(_:search,type,'Restaurant'))
user
Yes , please book it for 2 people on Sunday at   17:15 .
inform((_:booking,ref,'DL52IYMD');(_:booking,type,'Booking'))
system
I made those reservations and your reference number is DL52IYMD .
thank()
user
Alright great , that 's all I need thank you !
system
You are very welcome . Enjoy your dinner .
_:search type Restaurant
_:result amount tons
_:result type Restaurant
_:search food chinese
_:search type Restaurant
_:result amount several
_:result food Chinese
_:result type Restaurant
_:search area centre
_:search food chinese
_:search pricerange expensive
_:search type Restaurant
_:result amount several
_:result food Chinese
_:search area centre
_:search food chinese
_:search pricerange expensive
_:system offered _:booking
_:booking type Booking
_:result address 17 Hills Road City Centre
_:result name sesame restaurant and bar
_:result phone 01223358899
_:result type Restaurant
_:search day sunday
_:search duration 17:15
_:search people 2
_:search type Restaurant
_:result amount several
_:result food Chinese
_:search area centre
_:search food chinese
_:search pricerange expensive
_:system offered _:booking
_:result address 17 Hills Road City Centre
_:result name sesame restaurant and bar
_:result phone 01223358899
_:result type Restaurant
_:search day sunday
_:search duration 17:15
_:search people 2
_:search type Restaurant
_:booking ref DL52IYMD
_:booking type Booking