inform((_:search,destination,'stevenage');(_:search,type,'Train'))
user
I need a train to Stevenage .
request((_:search,departure,?);(_:search,type,'Train')) thank()
system
Absolutely . From where would you like to depart ?
inform((_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I am leaving out of Cambridge . I need the ticket for Sunday .
inform((_:result,amount,'first');(_:result,id,'TR5390');(_:result,leave_at,'5:21');(_:result,type,'Train'))
system
TR5390 is the first train of the day leaving at 5:21 would that work for you ?
inform((_:search,leave_at,'09:30');(_:search,type,'Train'))
user
Unfortunately I need to leave after 09:30 , is there one available then ?
inform((_:result,id,'TR8464');(_:result,leave_at,'11:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Sure thing , train TR8464 leaves at 11:21 . Will that work ?
request((_:result,duration,?);(_:result,type,'Train'))
user
That will probably work fine .   Can you tell me the travel time for that train ?
inform((_:result,arrive_by,'12:10');(_:result,day,'Sunday');(_:result,leave_at,'11:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The first train of Sunday leaves at 11:21 and arrives by 12:10 . Does that meet your requirements ?
request((_:result,duration,?);(_:result,type,'Train'))
user
By travel time , I mean the duration of the train trip .
inform((_:result,duration,'49-minute');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I 'm sorry .   That comes out to a 49-minute train ride .   Does that sound agreeable to you ?
user
Yes that will be fine .
offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,people,?);(_:search,type,'Train'))
system
Am I booking one ticket ?
thank()
user
No , that 's not necessary . I can book it later . Thanks . Have a good day .
bye()
system
Thank you for using our system !
thank()
user
Thanks again . Goodbye !
system
Thank you ! Goodbye .
_:search destination stevenage
_:search type Train
_:search destination stevenage
_:search day sunday
_:search departure cambridge
_:search type Train
_:search destination stevenage
_:search day sunday
_:search departure cambridge
_:result amount first
_:result id TR5390
_:result leave_at 5:21
_:result type Train
_:search leave_at 09:30
_:search type Train
_:search destination stevenage
_:search day sunday
_:search departure cambridge
_:result amount first
_:search leave_at 09:30
_:search type Train
_:result id TR8464
_:result leave_at 11:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:search destination stevenage
_:search day sunday
_:search departure cambridge
_:result amount first
_:search leave_at 09:30
_:search type Train
_:result id TR8464
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result arrive_by 12:10
_:result day Sunday
_:result leave_at 11:21
_:result type Train
_:search destination stevenage
_:search day sunday
_:search departure cambridge
_:result amount first
_:search leave_at 09:30
_:search type Train
_:result id TR8464
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 12:10
_:result day Sunday
_:result leave_at 11:21
_:result duration 49-minute
_:result type Train
_:search destination stevenage
_:search day sunday
_:search departure cambridge
_:result amount first
_:search leave_at 09:30
_:result id TR8464
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 12:10
_:result day Sunday
_:result leave_at 11:21
_:result duration 49-minute
_:result type Train
_:search people ?
_:search type Train
_:search destination stevenage
_:search day sunday
_:search departure cambridge
_:result amount first
_:search leave_at 09:30
_:result id TR8464
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 12:10
_:result day Sunday
_:result leave_at 11:21
_:result duration 49-minute
_:result type Train
_:search people ?
_:search type Train
_:system dismissed _:user