inform((_:search,departure,'cambridge');(_:search,leave_at,'17:30');(_:search,type,'Train'))
user
I need to book a train that leaves Cambridge after 17:30 .
inform((_:result,amount,'several');(_:result,departure,'Cambridge');(_:result,leave_at,'17:30');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
There are several trains that leave Cambridge after 17:30 . Can you please tell me your destination so I can find the most appropriate one for you ?
inform((_:search,destination,'norwich');(_:search,type,'Train'))
user
I would like to go to Norwich .
inform((_:result,count,'49');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
There are 49 trains , do you have a preferred day ?
inform((_:search,day,'sunday');(_:search,type,'Train'))
user
I need to leave on Sunday please .
inform((_:result,arrive_by,'18:55');(_:result,id,'TR1975');(_:result,leave_at,'17:36');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR1975 leaves at 17:36 and arrives by 18:55 . Is that okay ?
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Yes , what is the travel time and price for that train ?
inform((_:result,duration,'79 minutes');(_:result,ticket,'14.08 pounds');(_:result,type,'Train'))
system
The travel time is 79 minutes and the cost of the ticket is 14.08 pounds .
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
Could you also confirm the arrival time ?
inform((_:result,arrive_by,'18:55');(_:result,day,'Sunday');(_:result,type,'Train'))
system
Of course , the arrival time of the train is Sunday at 18:55 .
thank()
user
Thank you very much for your help ?
thank() reqmore()
system
You are welcome .   Do you need any other information ?
user
No , that 'll be all !
system
All right , please enjoy your trip !
_:search departure cambridge
_:search leave_at 17:30
_:search type Train
_:search departure cambridge
_:search leave_at 17:30
_:result amount several
_:result departure Cambridge
_:result leave_at 17:30
_:result type Train
_:search destination norwich
_:search type Train
_:search departure cambridge
_:search leave_at 17:30
_:result amount several
_:result departure Cambridge
_:result leave_at 17:30
_:search destination norwich
_:result count 49
_:result type Train
_:search day sunday
_:search type Train
_:search departure cambridge
_:search leave_at 17:30
_:result amount several
_:result departure Cambridge
_:search destination norwich
_:result count 49
_:search day sunday
_:search type Train
_:result arrive_by 18:55
_:result id TR1975
_:result leave_at 17:36
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result ticket ?
_:search departure cambridge
_:search leave_at 17:30
_:result amount several
_:result departure Cambridge
_:search destination norwich
_:result count 49
_:search day sunday
_:search type Train
_:result arrive_by 18:55
_:result id TR1975
_:result leave_at 17:36
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 79 minutes
_:result ticket 14.08 pounds
_:result type Train
_:result arrive_by ?
_:search departure cambridge
_:search leave_at 17:30
_:result amount several
_:result departure Cambridge
_:search destination norwich
_:result count 49
_:search day sunday
_:search type Train
_:result id TR1975
_:result leave_at 17:36
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 79 minutes
_:result ticket 14.08 pounds
_:result arrive_by 18:55
_:result day Sunday
_:result type Train
_:search departure cambridge
_:search leave_at 17:30
_:result amount several
_:result departure Cambridge
_:search destination norwich
_:result count 49
_:search day sunday
_:search type Train
_:result id TR1975
_:result leave_at 17:36
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 79 minutes
_:result ticket 14.08 pounds
_:result arrive_by 18:55
_:result day Sunday
_:result type Train
_:system inquired _:user