inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need a train to Cambridge .
request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train'))
system
Sure , where will you be boarding and what day would you like to leave ?
inform((_:search,arrive_by,'13:30');(_:search,day,'tuesday');(_:search,departure,"king 's lynn");(_:search,type,'Train'))
user
I will board at King 's Lynn , before 13:30 on Tuesday .
inform((_:result,arrive_by,'13:30');(_:result,count,'8');(_:result,destination,'Cambridge');(_:result,duration,'47 minutes');(_:result,leave_at,'05:11');(_:result,leave_at,'12:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have 8 routes which will arrive in Cambridge by 13:30 . They leave hourly on the : 11 from 05:11 to 12:11 , lasting 47 minutes . Would you like to book ?
inform((_:search,arrive_by,'13:30');(_:search,type,'Train')) request((_:result,leave_at,?);(_:result,type,'Train'))
user
I would like the train that arrives closest to 13:30 please .   I will also need the departure time .
inform((_:result,arrive_by,'12:58');(_:result,day,'Tuesday');(_:result,destination,'Cambridge');(_:result,id,'TR8699');(_:result,leave_at,'12:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR8699 departs Tuesday at 12:11 and arrives in Cambridge at 12:58 .   Would you like to book it ?
thank()
user
No , I am not sure I am traveling just yet .   Thanks for the information , I am all set for now .   Have a nice day .
reqmore()
system
Okay , is there anything else I can help you with ?
bye()
user
No .   Goodbye .
system
Thanks for contacting the Cambridge TownInfo Centre and have a great day !
_:search destination cambridge
_:search type Train
_:search destination cambridge
_:search arrive_by 13:30
_:search day tuesday
_:search departure king 's lynn
_:search type Train
_:search destination cambridge
_:search day tuesday
_:search departure king 's lynn
_:result arrive_by 13:30
_:result count 8
_:result destination Cambridge
_:result duration 47 minutes
_:result leave_at 05:11
_:result leave_at 12:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 13:30
_:search type Train
_:result leave_at ?
_:search destination cambridge
_:search day tuesday
_:search departure king 's lynn
_:result count 8
_:result duration 47 minutes
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 13:30
_:search type Train
_:result arrive_by 12:58
_:result day Tuesday
_:result destination Cambridge
_:result id TR8699
_:result leave_at 12:11
_:result type Train
_:search destination cambridge
_:search day tuesday
_:search departure king 's lynn
_:result count 8
_:result duration 47 minutes
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 13:30
_:search type Train
_:result arrive_by 12:58
_:result day Tuesday
_:result destination Cambridge
_:result id TR8699
_:result leave_at 12:11
_:result type Train
_:system inquired _:user
_:user dismissed _:system