inform((_:search,destination,'london kings cross');(_:search,leave_at,'08:15');(_:search,type,'Train'))
user
I am looking for a train to London Kings Cross that departs after 08:15 .
request((_:search,day,?);(_:search,type,'Train'))
system
What day would you like to travel ?
inform((_:search,day,'wednesday');(_:search,type,'Train'))
user
I 'll be travelling on a Wednesday .
request((_:search,departure,?);(_:search,type,'Train'))
system
Are you departing from cambridge station ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
Yes . What do you have available ?
inform((_:result,destination,'london kings cross');(_:result,id,'TR2000');(_:result,type,'Train'))
system
The TR2000 leaves cambridge going to london kings cross on friday at 09:00 . It arrives in london kings cross at 09:51 . How does that sound ?
inform((_:search,people,'two');(_:search,type,'Train'))
user
That 's great . Please book me two tickets .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'E2N0JHSY');(_:booking,ticket,'47.2 GBP');(_:booking,type,'Booking'))
system
The booking was successful and the fee is 47.2 GBP payable at the station . Reference number is E2N0JHSY . May I assist you with anything else today .
thank()
user
No thank you , that is all .
system
Have a good day !
_:search destination london kings cross
_:search leave_at 08:15
_:search type Train
_:search destination london kings cross
_:search leave_at 08:15
_:search day wednesday
_:search type Train
_:search destination london kings cross
_:search leave_at 08:15
_:search day wednesday
_:search departure cambridge
_:search type Train
_:search destination london kings cross
_:search leave_at 08:15
_:search day wednesday
_:search departure cambridge
_:result destination london kings cross
_:result id TR2000
_:result type Train
_:search people two
_:search type Train
_:search destination london kings cross
_:search leave_at 08:15
_:search day wednesday
_:search departure cambridge
_:result destination london kings cross
_:result id TR2000
_:result type Train
_:search people two
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref E2N0JHSY
_:booking ticket 47.2 GBP
_:booking type Booking