inform((_:search,departure,'london kings cross');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need to find a train going to cambridge from london kings cross .
inform((_:result,count,'70');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
There are 70 trains meeting those requirements . What day of the week are you leaving ?
inform((_:search,arrive_by,'17:00');(_:search,day,'saturday');(_:search,type,'Train'))
user
I need to leave on Saturday and arrive by 17:00 .
inform((_:result,arrive_by,'06:08');(_:result,day,'Saturday');(_:result,leave_at,'05:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train that fits your criteria Saturday , it leaves at 05:17 and arrives at 06:08 . Would you like me to book it for you ?
inform((_:search,arrive_by,'5:00');(_:search,type,'Train'))
user
No , I need to arrive by 5:00 no 6:00 can you check the schedule again ?
inform((_:result,arrive_by,'16:08');(_:result,type,'Train'))
system
I have a train that arrives at 16:08 . Is that what you are looking for ?
inform((_:search,arrive_by,'17:00');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need to arrive in Cambridge by 17:00 .
inform((_:booking,category,'Train');(_:booking,ref,'8602X6OE');(_:booking,ticket,'18.88 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 18.88 GBP payable at the station . 
 Reference number is : 8602X6OE .
thank()
user
Thank you for your help
reqmore()
system
Is there anything else I can help you with ?
thank()
user
No thank you .
system
OK . Sorry for the confusion about the times . If you need help with anything else just let us know .
_:search departure london kings cross
_:search destination cambridge
_:search type Train
_:search departure london kings cross
_:search destination cambridge
_:result count 70
_:result type Train
_:search arrive_by 17:00
_:search day saturday
_:search type Train
_:search departure london kings cross
_:search destination cambridge
_:result count 70
_:search day saturday
_:result arrive_by 06:08
_:result day Saturday
_:result leave_at 05:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 5:00
_:search type Train
_:search departure london kings cross
_:result count 70
_:search day saturday
_:result day Saturday
_:result leave_at 05:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 16:08
_:result type Train
_:search arrive_by 17:00
_:search destination cambridge
_:search type Train
_:search departure london kings cross
_:result count 70
_:search day saturday
_:result day Saturday
_:result leave_at 05:17
_:system offered _:booking
_:result arrive_by 16:08
_:result type Train
_:search arrive_by 17:00
_:search destination cambridge
_:search type Train
_:booking category Train
_:booking ref 8602X6OE
_:booking ticket 18.88 GBP
_:booking type Booking
_:search departure london kings cross
_:result count 70
_:search day saturday
_:result day Saturday
_:result leave_at 05:17
_:system offered _:booking
_:result arrive_by 16:08
_:result type Train
_:search arrive_by 17:00
_:search destination cambridge
_:search type Train
_:booking category Train
_:booking ref 8602X6OE
_:booking ticket 18.88 GBP
_:booking type Booking
_:system inquired _:user