inform((_:search,arrive_by,'19:00');(_:search,day,'monday');(_:search,type,'Train'))
user
I 'd like to find a train that leaves Monday and arrives by 19:00 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Very well . Where are you traveling from , and to where ?
inform((_:search,departure,'birmingham new street');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am departing from birmingham new street , going to cambridge .
inform((_:result,arrive_by,'18:23');(_:result,destination,'Cambridge');(_:result,leave_at,'15:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train that departs at 15:40 and arrives in Cambridge at 18:23 . Will that do ?
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
That would work just fine . Could you tell me the price and travel time for that train ?
inform((_:result,duration,'163 minutes');(_:result,id,'TR5385');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR5385 has a travel time of 163 minutes . Would you like me to book you some tickets ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
No , I do n't want to book today .   Could you just give me the price for that train ?   I think that is all I need today .
inform((_:result,ticket,'75.10 pounds each');(_:result,type,'Train')) thank()
system
Sure .   The price of those tickets are 75.10 pounds each .
thank()
user
Great ! That 's all I need . Thank you for your help .
system
Thank you for using Cambridge TownInfo Centre . Have a wonderful day !
_:search arrive_by 19:00
_:search day monday
_:search type Train
_:search arrive_by 19:00
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:search arrive_by 19:00
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:result arrive_by 18:23
_:result destination Cambridge
_:result leave_at 15:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result ticket ?
_:search arrive_by 19:00
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:result arrive_by 18:23
_:result destination Cambridge
_:result leave_at 15:40
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:result duration 163 minutes
_:result id TR5385
_:result type Train
_:search arrive_by 19:00
_:search day monday
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:result arrive_by 18:23
_:result destination Cambridge
_:result leave_at 15:40
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 163 minutes
_:result id TR5385
_:result ticket 75.10 pounds each
_:result type Train