inform((_:search,day,'tuesday');(_:search,destination,'broxbourne');(_:search,leave_at,'10:15');(_:search,type,'Train'))
user
I 'm looking for a train , actually . I need to go to Broxbourne on tuesday after 10:15 .
inform((_:result,count,'13');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
There are 13 options available . Do you need to arrive by a certain time ?
user
No , not particularly .   Sooner the better , I suppose .
inform((_:result,id,'TR2130');(_:result,leave_at,'11:01');(_:result,type,'Train'))
system
Train TR2130 leaves at 11:01 , with the rest following in one hour increments .
request((_:result,arrive_by,?);(_:result,duration,?);(_:result,type,'Train'))
user
Ok . What is the travel time ? When does the train arrive ?
inform((_:result,arrive_by,'12:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
It arrives at 12:01 .   Shall I book it for you ?
inform((_:search,type,'Train'))
user
How long is the train ride ?
inform((_:result,departure,'cambridge');(_:result,destination,'broxbourne');(_:result,duration,'60 minutes');(_:result,id,'TR2130');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR2130 goes from cambridge to broxbourne , the travel time is 60 minutes . Can I book that train for you ?
thank()
user
Sure , why not ? Thank you .
inform((_:booking,category,'Train');(_:booking,ref,'NZE7UPOS');(_:booking,ticket,'17.89 GBP');(_:booking,type,'Booking'))
system
I 've reserved your ticket . The total fee is 17.89 GBP payable at the station , and your reference number is NZE7UPOS .
thank()
user
Great , thank you ! That is all I need today .
system
Happy I was able to accommodate you .
_:search day tuesday
_:search destination broxbourne
_:search leave_at 10:15
_:search type Train
_:search day tuesday
_:search destination broxbourne
_:search leave_at 10:15
_:result count 13
_:result type Train
_:search arrive_by ?
_:search type Train
_:search day tuesday
_:search destination broxbourne
_:search leave_at 10:15
_:result count 13
_:search arrive_by ?
_:search type Train
_:result id TR2130
_:result leave_at 11:01
_:result type Train
_:result arrive_by ?
_:result duration ?
_:search day tuesday
_:search destination broxbourne
_:search leave_at 10:15
_:result count 13
_:search arrive_by ?
_:result id TR2130
_:result leave_at 11:01
_:result duration ?
_:result arrive_by 12:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search type Train
_:search day tuesday
_:search destination broxbourne
_:search leave_at 10:15
_:result count 13
_:search arrive_by ?
_:result leave_at 11:01
_:result arrive_by 12:01
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search type Train
_:result departure cambridge
_:result destination broxbourne
_:result duration 60 minutes
_:result id TR2130
_:result type Train
_:search day tuesday
_:search destination broxbourne
_:search leave_at 10:15
_:result count 13
_:search arrive_by ?
_:result leave_at 11:01
_:result arrive_by 12:01
_:system offered _:booking
_:search type Train
_:result departure cambridge
_:result destination broxbourne
_:result duration 60 minutes
_:result id TR2130
_:result type Train
_:booking category Train
_:booking ref NZE7UPOS
_:booking ticket 17.89 GBP
_:booking type Booking