inform((_:search,destination,'cambridge');(_:search,leave_at,'16:00');(_:search,type,'Train'))
user
Hi , I 'm looking to book a train to Cambridge , that leaves around 16:00 .
request((_:search,departure,?);(_:search,type,'Train')) thank()
system
Sure . Where would you like to depart from ?
inform((_:search,day,'saturday');(_:search,departure,'kings lynn');(_:search,leave_at,'16:00');(_:search,type,'Train'))
user
Kings Lynn after 16:00 on Saturday , please .
inform((_:result,arrive_by,'16:58');(_:result,departure,'kings lynn');(_:result,destination,'cambridge');(_:result,id,'TR4235');(_:result,leave_at,'16:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR4235 departs kings lynn at 16:11 and arrives in cambridge at 16:58 . Would you like to book passage on that train ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
What is the price on that trip ?
inform((_:result,day,'Saturday');(_:result,departure,'Kings Lynn');(_:result,id,'TR4235');(_:result,leave_at,'16:11');(_:result,ticket,'7.84 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The price of TR4235 , departing Kings Lynn at 16:11 on Saturday , is 7.84 pounds . Shall I book passage on that train ?
thank()
user
No . Not right now . thank you very much for your help today .
reqmore()
system
Ok , is there anything else you need assistance with ?
thank()
user
No that is all for the time being . Thank you .
reqmore()
system
You 're welcome .   Enjoy your trip .   Are you quite sure there 's nothing else I can help with ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
I actually do need the price for that train please .
inform((_:result,ticket,'7.84 pounds');(_:result,type,'Train'))
system
The price is 7.84 pounds .
thank()
user
Thanks .   That 's all I wanted to know .
reqmore()
system
You 're welcome . Can I help you with anything else today ?
thank()
user
No .   That 's all I need .   Thanks !
system
Let us know if you need anything else .
_:search destination cambridge
_:search leave_at 16:00
_:search type Train
_:search destination cambridge
_:search day saturday
_:search departure kings lynn
_:search leave_at 16:00
_:search type Train
_:search destination cambridge
_:search day saturday
_:search departure kings lynn
_:search leave_at 16:00
_:search type Train
_:result arrive_by 16:58
_:result departure kings lynn
_:result destination cambridge
_:result id TR4235
_:result leave_at 16:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search destination cambridge
_:search day saturday
_:search departure kings lynn
_:search leave_at 16:00
_:search type Train
_:result arrive_by 16:58
_:result destination cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result day Saturday
_:result departure Kings Lynn
_:result id TR4235
_:result leave_at 16:11
_:result ticket 7.84 pounds
_:result type Train
_:search destination cambridge
_:search day saturday
_:search departure kings lynn
_:search leave_at 16:00
_:search type Train
_:result arrive_by 16:58
_:result destination cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result day Saturday
_:result departure Kings Lynn
_:result id TR4235
_:result leave_at 16:11
_:result ticket 7.84 pounds
_:result type Train
_:system inquired _:user
_:search destination cambridge
_:search day saturday
_:search departure kings lynn
_:search leave_at 16:00
_:search type Train
_:result arrive_by 16:58
_:result destination cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result day Saturday
_:result departure Kings Lynn
_:result id TR4235
_:result leave_at 16:11
_:result ticket 7.84 pounds
_:result type Train
_:system inquired _:user
_:result ticket ?
_:search destination cambridge
_:search day saturday
_:search departure kings lynn
_:search leave_at 16:00
_:search type Train
_:result arrive_by 16:58
_:result destination cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result day Saturday
_:result departure Kings Lynn
_:result id TR4235
_:result leave_at 16:11
_:system inquired _:user
_:result ticket 7.84 pounds
_:result type Train
_:search destination cambridge
_:search day saturday
_:search departure kings lynn
_:search leave_at 16:00
_:search type Train
_:result arrive_by 16:58
_:result destination cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result day Saturday
_:result departure Kings Lynn
_:result id TR4235
_:result leave_at 16:11
_:result ticket 7.84 pounds
_:result type Train
_:system inquired _:user