inform((_:search,departure,'cambridge');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I need a train from cambridge to leicester .
request((_:search,day,?);(_:search,type,'Train'))
system
To better help you find the right train , what day are you wanting to travel on ?
inform((_:search,arrive_by,'19:15');(_:search,day,'saturday');(_:search,type,'Train'))
user
I need to travel on Saturday and I need to arrive by 19:15 .
inform((_:result,id,'TR7457');(_:result,type,'Train')) request((_:search,people,?);(_:search,type,'Train'))
system
The train TR7457 meets your specifications . How many tickets would you like ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
What time does that train depart from cambridge ?
inform((_:result,amount,'many');(_:result,arrive_by,'7:06');(_:result,destination,'cambridge');(_:result,id,'TR7457');(_:result,type,'Train'))
system
TR7457 will arrive in cambridge at 7:06 . There are many later trains that will arrive before your specified time , as well , if you prefer to travel later .
inform((_:search,area,'centre');(_:search,duration,'7:06');(_:search,pricerange,'cheap');(_:search,type,'Restaurant')) request((_:result,leave_at,?);(_:result,type,'Train'))
user
Please book me on the train with the 7:06 departure time .   I am also looking for a cheap restaurant in the centre .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'15');(_:result,pricerange,'cheap');(_:result,type,'Restaurant')) request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets would you like for the train ?   I have 15 cheap restaurants in the centre , what cuisine would you like ?
inform((_:search,area,'centre');(_:search,food,'malaysian');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I 'm looking for a Malaysian restaurant that s on the cheap side in centre .
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
There are no restaurants that meet those criteria . Would you like to look in a different area or price range ?
inform((_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
How about Asian oriental food
select((_:result,name,'dojo noodle bar');(_:result,name,'j restaurant');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,type,'Restaurant'))
system
There are two places dojo noodle bar , and j restaurant would you like either of those ?
inform((_:search,name,'dojo noodle bar');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Dojo noodle bar sounds good . May I have the phone number and postcode please ?
reqmore() inform((_:result,address,'40210 Millers Yard City Centre');(_:result,name,'dojo noodle bar');(_:result,phone,'01223363471');(_:result,postcode,'cb21rq');(_:result,type,'Restaurant'))
system
The phone number for dojo noodle bar is 01223363471 . It is located at 40210 Millers Yard City Centre , postcode cb21rq . Is there anything else I can do for you ?
thank()
user
No , that 's all . Thank you !
system
Happy to be of service . Have a wonderful day !
_:search departure cambridge
_:search destination leicester
_:search type Train
_:search departure cambridge
_:search destination leicester
_:search arrive_by 19:15
_:search day saturday
_:search type Train
_:search destination leicester
_:search arrive_by 19:15
_:search day saturday
_:result id TR7457
_:result type Train
_:search people ?
_:search departure cambridge
_:search type Train
_:search destination leicester
_:search arrive_by 19:15
_:search day saturday
_:search people ?
_:search departure cambridge
_:result amount many
_:result arrive_by 7:06
_:result destination cambridge
_:result id TR7457
_:result type Train
_:search area centre
_:search duration 7:06
_:search pricerange cheap
_:search type Restaurant
_:result leave_at ?
_:search destination leicester
_:search arrive_by 19:15
_:search day saturday
_:search departure cambridge
_:result amount many
_:result arrive_by 7:06
_:result destination cambridge
_:result id TR7457
_:search duration 7:06
_:result leave_at ?
_:result area centre
_:result count 15
_:result pricerange cheap
_:result type Restaurant
_:search people ?
_:search area centre
_:search food malaysian
_:search pricerange cheap
_:search type Restaurant
_:search destination leicester
_:search arrive_by 19:15
_:search day saturday
_:search departure cambridge
_:result amount many
_:result arrive_by 7:06
_:result destination cambridge
_:result id TR7457
_:search duration 7:06
_:result leave_at ?
_:result area centre
_:result count 15
_:result pricerange cheap
_:result type Restaurant
_:search people ?
_:search area ?
_:search pricerange ?
_:system canthelp _:search/2d7b6c7d
_:search/2d7b6c7d type Restaurant
_:search food asian oriental
_:search type Restaurant
_:search destination leicester
_:search arrive_by 19:15
_:search day saturday
_:search departure cambridge
_:result amount many
_:result arrive_by 7:06
_:result destination cambridge
_:result id TR7457
_:search duration 7:06
_:result leave_at ?
_:result area centre
_:result pricerange cheap
_:search people ?
_:search area ?
_:search pricerange ?
_:system canthelp _:search/2d7b6c7d
_:search/2d7b6c7d type Restaurant
_:search food asian oriental
_:result name dojo noodle bar
_:result name j restaurant
_:result count 2
_:result type Restaurant
_:search name dojo noodle bar
_:search type Restaurant
_:result phone ?
_:result postcode ?
_:search destination leicester
_:search arrive_by 19:15
_:search day saturday
_:search departure cambridge
_:result amount many
_:result arrive_by 7:06
_:result destination cambridge
_:result id TR7457
_:search duration 7:06
_:result leave_at ?
_:result area centre
_:result pricerange cheap
_:search people ?
_:search area ?
_:search pricerange ?
_:system canthelp _:search/2d7b6c7d
_:search/2d7b6c7d type Restaurant
_:search food asian oriental
_:result count 2
_:search name dojo noodle bar
_:search type Restaurant
_:system inquired _:user
_:result address 40210 Millers Yard City Centre
_:result name dojo noodle bar
_:result phone 01223363471
_:result postcode cb21rq
_:result type Restaurant