inform((_:search,arrive_by,'18:30');(_:search,departure,'peterborough');(_:search,type,'Train'))
user
I 'm in need of a train that leaves from Peterborough and arrives by 18:30 .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
There are several trains available . Could you specify which day ?
inform((_:search,day,'monday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I would like to travel on Monday and my destination is Cambridge .
inform((_:result,arrive_by,'6:09');(_:result,leave_at,'5:19');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train that leaves at 5:19 and arrives by 6:09 . Does this work for you ?
user
Okay , can you book that for me ? I 'm traveling alone .
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR3021');(_:booking,ref,'UC2OKH53');(_:booking,ticket,'16:5 GBP');(_:booking,type,'Booking'))
system
I was able to book you that ticket on train TR3021 . Your total fee will be 16:5 GBP . Your reference number is UC2OKH53 . Can I help with anything else ?
thank()
user
Thanks , that 's all I need . Have a nice day .
system
Okay glad we could be of help .
_:search arrive_by 18:30
_:search departure peterborough
_:search type Train
_:search arrive_by 18:30
_:search departure peterborough
_:result amount several
_:result type Train
_:search day monday
_:search destination cambridge
_:search type Train
_:search arrive_by 18:30
_:search departure peterborough
_:result amount several
_:search day monday
_:search destination cambridge
_:search type Train
_:result arrive_by 6:09
_:result leave_at 5:19
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 18:30
_:search departure peterborough
_:result amount several
_:search day monday
_:search destination cambridge
_:search type Train
_:result arrive_by 6:09
_:result leave_at 5:19
_:result type Train
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking id TR3021
_:booking ref UC2OKH53
_:booking ticket 16:5 GBP
_:booking type Booking