inform((_:search,arrive_by,'17:00');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need a train departing Cambridge that will arrive by 17:00 .
inform((_:result,departure,'Cambridge');(_:result,type,'Train')) request((_:search,day,?);(_:search,destination,?);(_:search,type,'Train'))
system
I would be happy to help you find a train leaving Cambridge . In order to better help you can you let me know where you are traveling to , and what day you are looking to leave ?
inform((_:search,day,'thursday');(_:search,destination,'norwich');(_:search,type,'Train'))
user
I am going to Norwich and I want to leave on Thursday .
inform((_:result,arrive_by,'10:55');(_:result,id,'TR1584');(_:result,type,'Train'))
system
TR1584 arrives by 10:55 .   That should give you plenty of time .
inform((_:search,people,'8');(_:search,type,'Train'))
user
Okay , can you please make a booking for 8 people ?
inform((_:booking,category,'Train');(_:booking,ref,'2IFP2I1S');(_:booking,type,'Booking'))
system
Yes I was able to make a booking and your reference number is 2IFP2I1S .
inform((_:search,type,'Restaurant'))
user
Perfect ! Can you also find me a restaurant ?
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What type of restaurant are you looking for ?
inform((_:search,food,'modern eclectic');(_:search,type,'Restaurant'))
user
Modern Eclectic please
select((_:result,food,'gastropub');(_:result,type,'Restaurant')) canthelp((_:search,food,'modern eclectic');(_:search,type,'Restaurant'))
system
I 'm afraid I could not find a modern eclectic restaurant . Would you be interested in a gastropub ?
inform((_:search,area,'center');(_:search,food,'mediterranean');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
No , but an expensive Mediterranean place in the center of town would work .
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,amount,'a few');(_:result,type,'Restaurant'))
system
What price range ? I have a few options for you .
user
Something in the upper range , over 20 a place .
select((_:result,name,'la mimosa');(_:result,name,'shiraz restaurant');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,food,'Mediterranean');(_:result,type,'Restaurant'))
system
There are two Mediterranean choices : la mimosa or shiraz restaurant . Which one do you prefer ?
inform((_:search,day,'the day we arrive');(_:search,duration,'10:00');(_:search,name,'la mimosa');(_:search,type,'Restaurant'))
user
I 've heard great things about La Mimosa .   Can you book a table for all of us at 10:00 on the day we arrive ?
inform((_:booking,day,'Thursday');(_:booking,duration,'10:00');(_:booking,people,'8');(_:booking,ref,'F56UFR10');(_:booking,type,'Booking'))
system
Table for 8 at La Mimosa on Thursday at 10:00 . The restaurant will hold your table for up to 15 minutes . Your Reference number is : F56UFR10 .
thank()
user
Thank you for booking that for me .
system
Have a nice day , goodbye !
_:search arrive_by 17:00
_:search departure cambridge
_:search type Train
_:search arrive_by 17:00
_:search departure cambridge
_:result departure Cambridge
_:result type Train
_:search day thursday
_:search destination norwich
_:search type Train
_:search arrive_by 17:00
_:search departure cambridge
_:result departure Cambridge
_:search day thursday
_:search destination norwich
_:result arrive_by 10:55
_:result id TR1584
_:result type Train
_:search people 8
_:search type Train
_:search arrive_by 17:00
_:search departure cambridge
_:result departure Cambridge
_:search day thursday
_:search destination norwich
_:result arrive_by 10:55
_:result id TR1584
_:result type Train
_:search people 8
_:booking category Train
_:booking ref 2IFP2I1S
_:booking type Booking
_:search type Restaurant
_:search arrive_by 17:00
_:search departure cambridge
_:result departure Cambridge
_:search day thursday
_:search destination norwich
_:result arrive_by 10:55
_:result id TR1584
_:result type Train
_:search people 8
_:booking category Train
_:booking ref 2IFP2I1S
_:booking type Booking
_:search food modern eclectic
_:search type Restaurant
_:search arrive_by 17:00
_:search departure cambridge
_:result departure Cambridge
_:search day thursday
_:search destination norwich
_:result arrive_by 10:55
_:result id TR1584
_:search people 8
_:booking category Train
_:booking ref 2IFP2I1S
_:booking type Booking
_:result food gastropub
_:result type Restaurant
_:system canthelp _:search/2f616bd4
_:search/2f616bd4 food modern eclectic
_:search/2f616bd4 type Restaurant
_:search area center
_:search food mediterranean
_:search pricerange expensive
_:search type Restaurant
_:search arrive_by 17:00
_:search departure cambridge
_:result departure Cambridge
_:search day thursday
_:search destination norwich
_:result arrive_by 10:55
_:result id TR1584
_:search people 8
_:booking category Train
_:booking ref 2IFP2I1S
_:booking type Booking
_:result food gastropub
_:system canthelp _:search/2f616bd4
_:search/2f616bd4 food modern eclectic
_:search/2f616bd4 type Restaurant
_:search area center
_:search food mediterranean
_:search pricerange ?
_:search type Restaurant
_:result amount a few
_:result type Restaurant
_:search arrive_by 17:00
_:search departure cambridge
_:result departure Cambridge
_:search destination norwich
_:result arrive_by 10:55
_:result id TR1584
_:search people 8
_:booking category Train
_:booking ref 2IFP2I1S
_:booking type Booking
_:system canthelp _:search/2f616bd4
_:search/2f616bd4 food modern eclectic
_:search/2f616bd4 type Restaurant
_:search area center
_:search food mediterranean
_:search pricerange ?
_:result amount a few
_:result name la mimosa
_:result name shiraz restaurant
_:result count 2
_:result food Mediterranean
_:result type Restaurant
_:search day the day we arrive
_:search duration 10:00
_:search name la mimosa
_:search type Restaurant
_:search arrive_by 17:00
_:search departure cambridge
_:result departure Cambridge
_:search destination norwich
_:result arrive_by 10:55
_:result id TR1584
_:search people 8
_:booking category Train
_:system canthelp _:search/2f616bd4
_:search/2f616bd4 food modern eclectic
_:search/2f616bd4 type Restaurant
_:search area center
_:search food mediterranean
_:search pricerange ?
_:result amount a few
_:result name la mimosa
_:result name shiraz restaurant
_:result count 2
_:result food Mediterranean
_:result type Restaurant
_:search day the day we arrive
_:search duration 10:00
_:search name la mimosa
_:search type Restaurant
_:booking day Thursday
_:booking duration 10:00
_:booking people 8
_:booking ref F56UFR10
_:booking type Booking