inform((_:search,type,'Train'))
user
I need to a train heading to New Street station in Birmingham , do you have info for that ?
request((_:search,departure,?);(_:search,type,'Train'))
system
Where do you want to depart from ?
inform((_:search,arrive_by,'12:45');(_:search,day,'monday');(_:search,departure,'cambridge');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
I 'd like a train that can get me from Cambridge to Birmingham New Street on Monday by 12:45 .
inform((_:result,arrive_by,'11:44');(_:result,id,'TR1162');(_:result,leave_at,'9:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR1162 leaves at 9:01 and will arrive at 11:44 .   Is that alright ?
request((_:result,duration,?);(_:result,type,'Train'))
user
Yes that will fine . Can you tell me the travel time for that ?
inform((_:result,duration,'163 minutes long');(_:result,type,'Train'))
system
It will be 163 minutes long .
thank()
user
Thank you for your help . That will be all .
system
You 're welcome , thank you for using our service .
_:search type Train
_:search arrive_by 12:45
_:search day monday
_:search departure cambridge
_:search destination birmingham new street
_:search type Train
_:search arrive_by 12:45
_:search day monday
_:search departure cambridge
_:search destination birmingham new street
_:search type Train
_:result arrive_by 11:44
_:result id TR1162
_:result leave_at 9:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:search arrive_by 12:45
_:search day monday
_:search departure cambridge
_:search destination birmingham new street
_:search type Train
_:result arrive_by 11:44
_:result id TR1162
_:result leave_at 9:01
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 163 minutes long
_:result type Train