inform((_:search,day,'tuesday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need a train that Departs Tuesday with the destination of cambridge .
inform((_:result,day,'Tuesday');(_:result,departure,'London kings cross');(_:result,leave_at,'05:17');(_:result,type,'Train'))
system
Yes I have a train leaving on Tuesday at 05:17 from London kings cross .
inform((_:search,departure,'kings lynn');(_:search,leave_at,'16:15');(_:search,type,'Train'))
user
Is there one departing Kings Lynn later than 16:15 please ?
inform((_:result,arrive_by,'17:58');(_:result,departure,'kings lynn');(_:result,destination,'cambridge');(_:result,id,'TR5793');(_:result,leave_at,'17:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Yes , TR5793 is departing kings lynn at 17:11 and arriving at cambridge at 17:58 , will this work for you ?
inform((_:search,people,'3');(_:search,type,'Train'))
user
Yes . I need a booking for 3 people .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'2I8XTN6S');(_:booking,ticket,'29.4 GBP');(_:booking,type,'Booking'))
system
You 're all set ! The total fee is 29.4 GBP and your reference number is 2I8XTN6S . Can I help you with anything else today ?
inform((_:search,area,'centre');(_:search,food,'british');(_:search,type,'Restaurant'))
user
I 'd also like to find a restaurant serving British food in the Centre of town .
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,count,'7');(_:result,type,'Restaurant'))
system
I have 7 fitting that criteria , what price range do you prefer ?
inform((_:search,day,'tuesday');(_:search,duration,'19:15');(_:search,people,'3');(_:search,type,'Restaurant'))
user
The price range does n't matter to me , but can you book at table for 3 people at 19:15 on Tuesday ?
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
I am sorry I can not book for that many people at that time , another time slot perhaps ?
inform((_:search,duration,'18:15');(_:search,type,'Restaurant'))
user
How about 18:15 then ?
reqmore() inform((_:booking,day,'Tuesday');(_:booking,duration,'18:15');(_:booking,name,'Oak Bistro');(_:booking,people,'3');(_:booking,ref,'82YQHDQQ');(_:booking,type,'Booking'))
system
I have confirmed your reservation for 3 on Tuesday at 18:15 at The Oak Bistro . Your reference number is 82YQHDQQ . Is there anything else I can help you with ?
thank()
user
No . Thank you .
system
Ok , thank you for using our services .   Have a wonderful day .
_:search day tuesday
_:search destination cambridge
_:search type Train
_:search day tuesday
_:search destination cambridge
_:result day Tuesday
_:result departure London kings cross
_:result leave_at 05:17
_:result type Train
_:search departure kings lynn
_:search leave_at 16:15
_:search type Train
_:search day tuesday
_:search destination cambridge
_:result day Tuesday
_:search departure kings lynn
_:search leave_at 16:15
_:result arrive_by 17:58
_:result departure kings lynn
_:result destination cambridge
_:result id TR5793
_:result leave_at 17:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 3
_:search type Train
_:search day tuesday
_:search destination cambridge
_:result day Tuesday
_:search departure kings lynn
_:search leave_at 16:15
_:result arrive_by 17:58
_:result departure kings lynn
_:result destination cambridge
_:result id TR5793
_:result leave_at 17:11
_:result type Train
_:system offered _:booking
_:search people 3
_:system inquired _:user
_:booking category Train
_:booking ref 2I8XTN6S
_:booking ticket 29.4 GBP
_:booking type Booking
_:search area centre
_:search food british
_:search type Restaurant
_:search destination cambridge
_:result day Tuesday
_:search departure kings lynn
_:search leave_at 16:15
_:result arrive_by 17:58
_:result departure kings lynn
_:result destination cambridge
_:result id TR5793
_:result leave_at 17:11
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking ref 2I8XTN6S
_:booking ticket 29.4 GBP
_:booking type Booking
_:search area centre
_:search food british
_:search pricerange ?
_:result count 7
_:result type Restaurant
_:search day tuesday
_:search duration 19:15
_:search people 3
_:search type Restaurant
_:search destination cambridge
_:result day Tuesday
_:search departure kings lynn
_:search leave_at 16:15
_:result arrive_by 17:58
_:result departure kings lynn
_:result destination cambridge
_:result id TR5793
_:result leave_at 17:11
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking ref 2I8XTN6S
_:booking ticket 29.4 GBP
_:search area centre
_:search food british
_:search pricerange ?
_:result count 7
_:result type Restaurant
_:search day tuesday
_:search people 3
_:system canthelp _:booking/b945696c
_:booking/b945696c type Booking
_:booking duration ?
_:booking type Booking
_:search duration 18:15
_:search type Restaurant
_:search destination cambridge
_:result day Tuesday
_:search departure kings lynn
_:search leave_at 16:15
_:result arrive_by 17:58
_:result departure kings lynn
_:result destination cambridge
_:result id TR5793
_:result leave_at 17:11
_:system offered _:booking
_:booking category Train
_:booking ticket 29.4 GBP
_:search area centre
_:search food british
_:search pricerange ?
_:result count 7
_:result type Restaurant
_:search day tuesday
_:search people 3
_:system canthelp _:booking/b945696c
_:booking/b945696c type Booking
_:search duration 18:15
_:search type Restaurant
_:system inquired _:user
_:booking day Tuesday
_:booking duration 18:15
_:booking name Oak Bistro
_:booking people 3
_:booking ref 82YQHDQQ
_:booking type Booking