inform((_:search,type,'Train'))
user
Can you help me find train tickets ?   Thanks !
request((_:search,day,?);(_:search,type,'Train'))
system
When would you be traveling ?
inform((_:search,day,'wednesday');(_:search,leave_at,'11:45');(_:search,type,'Train'))
user
I need to leave on Wednesday after 11:45 please .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where are you bound , and where are you departing from ?
inform((_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm leaving from Kings Lynn and headed to Cambridge .
canthelp((_:search,departure,'kings Lynn');(_:search,type,'Train'))
system
There is no train leaving kings Lynn .
user
None , can you check the spelling and search again ?
inform((_:result,arrive_by,'12:58');(_:result,duration,'47 minutes');(_:result,id,'TR7040');(_:result,leave_at,'12:11');(_:result,ticket,'9.80 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR7040 will leave at 12:11 and arrive 47 minutes later at 12:58 . The trip will cost 9.80 pounds . Would you like to book this train ?
inform((_:search,name,'thanh binh');(_:search,type,'Restaurant'))
user
No , I 'll book it myself but you can help me get some information on the thanh binh restaurant
system
There is no listing for this restaurant
_:search type Train
_:search day wednesday
_:search leave_at 11:45
_:search type Train
_:search day wednesday
_:search leave_at 11:45
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:search day wednesday
_:search leave_at 11:45
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:system canthelp _:search/a1eba729
_:search/a1eba729 departure kings Lynn
_:search/a1eba729 type Train
_:search day wednesday
_:search leave_at 11:45
_:search departure kings lynn
_:search destination cambridge
_:system canthelp _:search/a1eba729
_:search/a1eba729 departure kings Lynn
_:search/a1eba729 type Train
_:result arrive_by 12:58
_:result duration 47 minutes
_:result id TR7040
_:result leave_at 12:11
_:result ticket 9.80 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search name thanh binh
_:search type Restaurant