inform((_:search,day,'tuesday');(_:search,departure,'birmingham new street');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'd like to take the train to cambridge from birmingham new street on tuesday , can you help me with that ?
inform((_:result,amount,'many');(_:result,day,'Tuesday');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I have many trains available on Tuesday .   Do you have a time preference ?
inform((_:search,arrive_by,'19:30');(_:search,type,'Train'))
user
Yes , I 'd like to arrive by 19:30 , please .
inform((_:result,arrive_by,'19:23');(_:result,id,'TR 4631');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR 4631 arrives by 19:23 . Would you like to book this one ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
Yes , book please and I need travel tome and price
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets would you like me to book ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
I only need one ticket today .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'ZCR9P2WW');(_:booking,ticket,'75.09 GBP');(_:booking,type,'Booking'))
system
Your booking was successful , the total fee is 75.09 GBP payable at the station . Your Reference number is ZCR9P2WW . Can I assist you with anything else today ?
thank()
user
No , thank you for your help
system
Thank you , have a great visit , goodbye !
_:search day tuesday
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:search day tuesday
_:search departure birmingham new street
_:search destination cambridge
_:result amount many
_:result day Tuesday
_:result type Train
_:search leave_at ?
_:search arrive_by 19:30
_:search type Train
_:search day tuesday
_:search departure birmingham new street
_:search destination cambridge
_:result amount many
_:result day Tuesday
_:search leave_at ?
_:search arrive_by 19:30
_:search type Train
_:result arrive_by 19:23
_:result id TR 4631
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search day tuesday
_:search departure birmingham new street
_:search destination cambridge
_:result amount many
_:result day Tuesday
_:search leave_at ?
_:search arrive_by 19:30
_:result arrive_by 19:23
_:result id TR 4631
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search people one
_:search type Train
_:search day tuesday
_:search departure birmingham new street
_:search destination cambridge
_:result amount many
_:result day Tuesday
_:search leave_at ?
_:search arrive_by 19:30
_:result arrive_by 19:23
_:result id TR 4631
_:result type Train
_:system offered _:booking
_:result ticket ?
_:search people one
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref ZCR9P2WW
_:booking ticket 75.09 GBP
_:booking type Booking