inform((_:search,destination,'stansted airport');(_:search,type,'Train'))
user
Yes ,   please help me book a train to stansted airport .
request((_:search,departure,?);(_:search,type,'Train'))
system
Of course , from where will you be departing ?
inform((_:search,day,'monday');(_:search,departure,'cambridge');(_:search,leave_at,'15:45');(_:search,type,'Train'))
user
cambridge , any time after 15:45 on monday
inform((_:result,day,'monday');(_:result,departure,'cambridge');(_:result,destination,'stansted airport');(_:result,id,'TR1088');(_:result,leave_at,'16:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The first train in the time frame you mentioned is the TR1088 from cambridge to stansted airport on monday at 16:40 . Shall I book that for you ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
Can you tell me the arrival time of that train ?
inform((_:result,arrive_by,'17:08');(_:result,type,'Train'))
system
The arrival time is 17:08 .
thank()
user
That works for me . Thank you for your help .
offer((_:booking,category,'Train');(_:booking,type,'Booking')) reqmore()
system
Is there anything else I can help you with ?   Do you need a reservation for that train ?
thank()
user
No that would be all thank you very much .
system
Thank you . Have an enjoyable trip .
_:search destination stansted airport
_:search type Train
_:search destination stansted airport
_:search day monday
_:search departure cambridge
_:search leave_at 15:45
_:search type Train
_:search destination stansted airport
_:search day monday
_:search departure cambridge
_:search leave_at 15:45
_:search type Train
_:result day monday
_:result departure cambridge
_:result destination stansted airport
_:result id TR1088
_:result leave_at 16:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by ?
_:search destination stansted airport
_:search day monday
_:search departure cambridge
_:search leave_at 15:45
_:search type Train
_:result day monday
_:result departure cambridge
_:result destination stansted airport
_:result id TR1088
_:result leave_at 16:40
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 17:08
_:result type Train
_:search destination stansted airport
_:search day monday
_:search departure cambridge
_:search leave_at 15:45
_:search type Train
_:result day monday
_:result departure cambridge
_:result destination stansted airport
_:result id TR1088
_:result leave_at 16:40
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 17:08
_:result type Train
_:system inquired _:user