inform((_:search,arrive_by,'20:45');(_:search,departure,'peterborough');(_:search,type,'Train'))
user
I need to leave peterborough and arrive by 20:45 .   Can you book a train for me ?
request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like to depart ?
inform((_:search,arrive_by,'20:45');(_:search,leave_at,'dontcare');(_:search,type,'Train'))
user
I will depart any time so long as the train arrives by 20:45 .
request((_:search,day,?);(_:search,type,'Train'))
system
OK , and what day do you need to travel ?
inform((_:search,day,'saturday');(_:search,departure,'Peterborough');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Oh , I need to leave this Saturday . Just to clarify I want to leave Peterborough going to Cambridge .
inform((_:result,arrive_by,'20:38');(_:result,day,'Saturday');(_:result,departure,'peterborough');(_:result,destination,'Cambridge');(_:result,id,'TR7143');(_:result,leave_at,'19:48');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR7143 will arrive in Cambridge Saturday by 20:38 , it will depart peterborough at 19:48 . Does this suit your needs ?
request((_:result,ref,?);(_:result,type,'Train'))
user
Yes that is perfect . Can you book that and give me a reference number ?
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'6793D7ED');(_:booking,type,'Booking'))
system
Yes I booked it and your reference number is 6793D7ED . Will there be anything else ?
thank()
user
No , I think that 's going to be all I needed . Thanks . Have a good day .
system
Thank you , Enjoy your day , goodbye .
_:search arrive_by 20:45
_:search departure peterborough
_:search type Train
_:search departure peterborough
_:search arrive_by 20:45
_:search leave_at dontcare
_:search type Train
_:search arrive_by 20:45
_:search leave_at dontcare
_:search day saturday
_:search departure Peterborough
_:search destination cambridge
_:search type Train
_:search arrive_by 20:45
_:search leave_at dontcare
_:search day saturday
_:search departure Peterborough
_:search destination cambridge
_:search type Train
_:result arrive_by 20:38
_:result day Saturday
_:result departure peterborough
_:result destination Cambridge
_:result id TR7143
_:result leave_at 19:48
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:search arrive_by 20:45
_:search leave_at dontcare
_:search day saturday
_:search departure Peterborough
_:search destination cambridge
_:search type Train
_:result arrive_by 20:38
_:result day Saturday
_:result departure peterborough
_:result destination Cambridge
_:result id TR7143
_:result leave_at 19:48
_:result type Train
_:system offered _:booking
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 6793D7ED
_:booking type Booking