inform((_:search,arrive_by,'19:15');(_:search,destination,'stevenage');(_:search,type,'Train'))
user
I am wanting to book a train arriving in Stevenage by 19:15 . Can you help me ?
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Certainly , where will you be departing from and what time would you like to leave ?
inform((_:search,day,'thursday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I will be leaving cambridge on Thursday .
inform((_:result,arrive_by,'18:10');(_:result,id,'TR1165');(_:result,leave_at,'17:21');(_:result,type,'Train'))
system
TR1165 arrives at 18:10 and departs at 17:21 .
request((_:result,duration,?);(_:result,type,'Train'))
user
That sounds good . What is the travel time for that train ?
inform((_:result,arrive_by,'18:10');(_:result,duration,'49 minutes');(_:result,id,'TR4765');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR4765 seems to be a better match for what you 're looking for , it arrives by 18:10 and total travel time is 49 minutes . Would you like to book a ticket ?
thank()
user
No need to book a ticket . I can take care of that later . But thank you . Have a nice night !
system
You as well ! Thank you !
_:search arrive_by 19:15
_:search destination stevenage
_:search type Train
_:search arrive_by 19:15
_:search destination stevenage
_:search leave_at ?
_:search day thursday
_:search departure cambridge
_:search type Train
_:search arrive_by 19:15
_:search destination stevenage
_:search leave_at ?
_:search day thursday
_:search departure cambridge
_:search type Train
_:result arrive_by 18:10
_:result id TR1165
_:result leave_at 17:21
_:result type Train
_:result duration ?
_:search arrive_by 19:15
_:search destination stevenage
_:search leave_at ?
_:search day thursday
_:search departure cambridge
_:search type Train
_:result leave_at 17:21
_:result arrive_by 18:10
_:result duration 49 minutes
_:result id TR4765
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking