inform((_:search,departure,'cambridge');(_:search,destination,'broxbourne');(_:search,type,'Train'))
user
I 'm looking for a train . The train should depart from cambridge and should go to broxbourne
request((_:search,day,?);(_:search,type,'Train'))
system
What day are you traveling ?
inform((_:search,arrive_by,'16:15');(_:search,day,'tuesday');(_:search,type,'Train'))
user
I 'm traveling on tuesday and I want to arrive by 16:15
inform((_:result,arrive_by,'06:01');(_:result,id,'TR6357');(_:result,leave_at,'05:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR6357 leaves at 05:01 and arrives at 06:01 .   Would you like me to book a ticket for you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
No , but I do need the price .
inform((_:result,id,'TR 6357');(_:result,ticket,'17.90 pounds');(_:result,type,'Train')) reqmore()
system
Alright . The price for TR 6357 is 17.90 pounds . Anything else ?
thank()
user
Nope , that 's all I needed . Thanks !
system
I hope you have a wonderful day - goodbye !
_:search departure cambridge
_:search destination broxbourne
_:search type Train
_:search departure cambridge
_:search destination broxbourne
_:search arrive_by 16:15
_:search day tuesday
_:search type Train
_:search departure cambridge
_:search destination broxbourne
_:search arrive_by 16:15
_:search day tuesday
_:search type Train
_:result arrive_by 06:01
_:result id TR6357
_:result leave_at 05:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search departure cambridge
_:search destination broxbourne
_:search arrive_by 16:15
_:search day tuesday
_:search type Train
_:result arrive_by 06:01
_:result leave_at 05:01
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id TR 6357
_:result ticket 17.90 pounds
_:result type Train
_:system inquired _:user