inform((_:search,arrive_by,'20:15');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need a train leaving cambridge .   I have to arrive by 20:15 .
request((_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What is your destination and at what time would you like to leave ?
inform((_:search,day,'wednesday');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
To Birmingham new street on Wednesday .
inform((_:result,arrive_by,'07:44');(_:result,id,'TR0115');(_:result,leave_at,'05:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR0115 will be departing at 05:01 and arrive at 07:44 . Would you like me to book that for you ?
request((_:result,duration,?);(_:result,type,'Train'))
user
Can you give me the total travel time ?
inform((_:result,duration,'163 minutes');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The total duration is 163 minutes . Will you be needing tickets ?
thank()
user
Not today I think I may book at the station .   That is all for today . Thank you so much !
system
Your Welcome . Please feel free to contact us anytime !
_:search arrive_by 20:15
_:search departure cambridge
_:search type Train
_:search arrive_by 20:15
_:search departure cambridge
_:search leave_at ?
_:search day wednesday
_:search destination birmingham new street
_:search type Train
_:search arrive_by 20:15
_:search departure cambridge
_:search leave_at ?
_:search day wednesday
_:search destination birmingham new street
_:search type Train
_:result arrive_by 07:44
_:result id TR0115
_:result leave_at 05:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:search arrive_by 20:15
_:search departure cambridge
_:search leave_at ?
_:search day wednesday
_:search destination birmingham new street
_:search type Train
_:result arrive_by 07:44
_:result id TR0115
_:result leave_at 05:01
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 163 minutes
_:result type Train