inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I am looking for a train departing Cambridge .
request((_:search,destination,?);(_:search,type,'Train'))
system
I 'd love to help ! where is your destination ?
inform((_:search,day,'saturday');(_:search,destination,'london liverpool street');(_:search,type,'Train'))
user
I need to g to london liverpool street on Saturday .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Is there a particular time you would like to leave by ?
inform((_:search,arrive_by,'15:00');(_:search,type,'Train'))
user
No , I just need to arrive by 15:00
inform((_:result,arrive_by,'7:27');(_:result,id,'TR2895');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR2895 arrives at 7:27 would that work ?
request((_:result,duration,?);(_:result,type,'Train'))
user
Yes , that will be perfect . What 's the travel time ?
system
The departure time from cambridge to liverpool street on saturday will be at 05:59 .
_:search departure cambridge
_:search type Train
_:search departure cambridge
_:search day saturday
_:search destination london liverpool street
_:search type Train
_:search departure cambridge
_:search day saturday
_:search destination london liverpool street
_:search leave_at ?
_:search arrive_by 15:00
_:search type Train
_:search departure cambridge
_:search day saturday
_:search destination london liverpool street
_:search leave_at ?
_:search arrive_by 15:00
_:search type Train
_:result arrive_by 7:27
_:result id TR2895
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?