inform((_:search,arrive_by,'8:00');(_:search,destination,'peterborough');(_:search,type,'Train'))
user
I 'd like to find a train arriving in peterborough by 8:00 .
inform((_:result,amount,'daily departures');(_:result,arrive_by,'07:56');(_:result,departure,'Cambridge');(_:result,destination,'Peterborough');(_:result,leave_at,'07:06');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
There are daily departures from Cambridge at 07:06 that arrive in Petersborough at 07:56 .   Which day were you planning to travel ?
inform((_:search,day,'thursday');(_:search,type,'Train'))
user
I am planning to travel on Thursday .
inform((_:result,amount,'daily departures');(_:result,arrive_by,'07:56');(_:result,departure,'Cambridge');(_:result,destination,'Peterborough');(_:result,leave_at,'07:06');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are daily departures from Cambridge at 07:06 that arrive in Petersborough at 07:56 . Would you like to book tickets ?
inform((_:search,people,'4');(_:search,type,'Train'))
user
Yes , I 'll need 4 tickets please .
inform((_:booking,category,'Train');(_:booking,ref,'ZW9TAO4I');(_:booking,ticket,'66 GBP');(_:booking,type,'Booking'))
system
Your Booking was successful , the total fee is 66 GBP payable at the station .The reference number is : ZW9TAO4I .
thank()
user
Great , thanks ! That 's all I needed .
system
You are quite welcome . Have a good day .
_:search arrive_by 8:00
_:search destination peterborough
_:search type Train
_:search arrive_by 8:00
_:search destination peterborough
_:result amount daily departures
_:result arrive_by 07:56
_:result departure Cambridge
_:result destination Peterborough
_:result leave_at 07:06
_:result type Train
_:search day thursday
_:search type Train
_:search arrive_by 8:00
_:search destination peterborough
_:search day thursday
_:result amount daily departures
_:result arrive_by 07:56
_:result departure Cambridge
_:result destination Peterborough
_:result leave_at 07:06
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 4
_:search type Train
_:search arrive_by 8:00
_:search destination peterborough
_:search day thursday
_:result amount daily departures
_:result arrive_by 07:56
_:result departure Cambridge
_:result destination Peterborough
_:result leave_at 07:06
_:result type Train
_:system offered _:booking
_:search people 4
_:search type Train
_:booking category Train
_:booking ref ZW9TAO4I
_:booking ticket 66 GBP
_:booking type Booking