inform((_:search,departure,'london kings cross');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need a train from London Kings Cross to Cambridge .
inform((_:result,amount,'many');(_:result,departure,'London Kings Cross');(_:result,destination,'Cambridge');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train')) thank()
system
I can assist you with that .   There are many options available to you leaving London Kings Cross arriving in Cambridge , what day and time would you prefer ?
inform((_:search,day,'sunday');(_:search,type,'Train'))
user
I want to leave on sunday , and I want to leave after 0930 am .
inform((_:result,id,'TR7147');(_:result,leave_at,'11:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR7147 departs at 11:17 would that work ?
inform((_:search,people,'3');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes . I need 3 tickets and the reference number .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'YV5PJQHU');(_:booking,ticket,'56.64 GBP');(_:booking,type,'Booking'))
system
Booked ! Reference number is YV5PJQHU . You will pay 56.64 GBP at the station . Anything else you need ?
thank()
user
Thanks , that 's all I need . Have a nice day .
system
Okay thank you .
_:search departure london kings cross
_:search destination cambridge
_:search type Train
_:search departure london kings cross
_:search destination cambridge
_:result amount many
_:result departure London Kings Cross
_:result destination Cambridge
_:result type Train
_:search leave_at ?
_:search day sunday
_:search type Train
_:search departure london kings cross
_:search destination cambridge
_:result amount many
_:result departure London Kings Cross
_:result destination Cambridge
_:search leave_at ?
_:search day sunday
_:result id TR7147
_:result leave_at 11:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 3
_:search type Train
_:result ref ?
_:search departure london kings cross
_:search destination cambridge
_:result amount many
_:result departure London Kings Cross
_:result destination Cambridge
_:search leave_at ?
_:search day sunday
_:result id TR7147
_:result leave_at 11:17
_:result type Train
_:system offered _:booking
_:search people 3
_:search type Train
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref YV5PJQHU
_:booking ticket 56.64 GBP
_:booking type Booking