inform((_:search,destination,'leicester');(_:search,leave_at,'18:45');(_:search,type,'Train'))
user
I am looking for a train that leaves after 18:45 and goes to Leicester .
inform((_:result,amount,'some');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
We have some options available after that time , what day will you need the train ?
inform((_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need it to leave on Sunday from Cambridge .
inform((_:result,id,'TR9831');(_:result,leave_at,'19:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR9831 leaves at 19:21 . would that be okay ?
inform((_:search,people,'6');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
That would be fine . Can you book that for 6 people and give me the reference number ?
inform((_:booking,category,'Train');(_:booking,ref,'OYBQSBZJ');(_:booking,type,'Booking'))
system
I was able to book it , reference number is OYBQSBZJ .
inform((_:search,area,'centre');(_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
Thank you . I also need a place to dine in the Centre area that serves Asian Oriental food .
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'4');(_:result,type,'Restaurant'))
system
There are 4 , all in centre city . Is there a particular price range you 'd like ?
request((_:result,postcode,?);(_:result,pricerange,?);(_:result,type,'Restaurant'))
user
No , could you please tell me the price range and postcode for all 4 in the Centre area ?
reqmore() inform((_:result,name,'Dojo noodle bar');(_:result,name,'J restaurant');(_:result,name,'Yippee noodle bar');(_:result,name,'kymmoy');(_:result,postcode,'cb11lh');(_:result,postcode,'cb12as');(_:result,postcode,'cb21dp');(_:result,postcode,'cb21rq');(_:result,type,'Restaurant'))
system
Sure !   Dojo noodle bar , cb21rq .   Yippee noodle bar is cb11lh .   J restaurant is cb21dp and kymmoy is cb12as .   Anything else ?
thank()
user
That 's all I need . Thank you .
system
Glad I could be of help . Have a nice night . Goodbye .
_:search destination leicester
_:search leave_at 18:45
_:search type Train
_:search destination leicester
_:search leave_at 18:45
_:result amount some
_:result type Train
_:search day sunday
_:search departure cambridge
_:search type Train
_:search destination leicester
_:search leave_at 18:45
_:result amount some
_:search day sunday
_:search departure cambridge
_:result id TR9831
_:result leave_at 19:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 6
_:search type Train
_:result ref ?
_:search destination leicester
_:search leave_at 18:45
_:result amount some
_:search day sunday
_:search departure cambridge
_:result id TR9831
_:result leave_at 19:21
_:result type Train
_:system offered _:booking
_:search people 6
_:result ref ?
_:booking category Train
_:booking ref OYBQSBZJ
_:booking type Booking
_:search area centre
_:search food asian oriental
_:search type Restaurant
_:search destination leicester
_:search leave_at 18:45
_:result amount some
_:search day sunday
_:search departure cambridge
_:result id TR9831
_:result leave_at 19:21
_:system offered _:booking
_:search people 6
_:result ref ?
_:booking category Train
_:booking ref OYBQSBZJ
_:booking type Booking
_:search area centre
_:search food asian oriental
_:search pricerange ?
_:search type Restaurant
_:result area centre
_:result count 4
_:result type Restaurant
_:result postcode ?
_:result pricerange ?
_:search destination leicester
_:search leave_at 18:45
_:result amount some
_:search day sunday
_:search departure cambridge
_:result id TR9831
_:result leave_at 19:21
_:system offered _:booking
_:search people 6
_:result ref ?
_:booking category Train
_:booking ref OYBQSBZJ
_:booking type Booking
_:search area centre
_:search food asian oriental
_:search pricerange ?
_:search type Restaurant
_:result area centre
_:result count 4
_:result pricerange ?
_:system inquired _:user
_:result name Dojo noodle bar
_:result name J restaurant
_:result name Yippee noodle bar
_:result name kymmoy
_:result postcode cb11lh
_:result postcode cb12as
_:result postcode cb21dp
_:result postcode cb21rq
_:result type Restaurant