inform((_:search,destination,'london kings cross');(_:search,type,'Train'))
user
Hello , can you help me find a train going to London Kings Cross ?
request((_:search,day,?);(_:search,type,'Train')) thank()
system
Sure ! What day are you planning on leaving ?
inform((_:search,day,'monday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
On Monday , from Cambridge .
inform((_:result,leave_at,'23:00');(_:result,leave_at,'5:00');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like to depart . I have anything from 5:00 to 23:00
inform((_:search,leave_at,'15:45');(_:search,type,'Train'))
user
I 'd like to leave after 15:45 , please .
inform((_:result,id,'TR7786');(_:result,leave_at,'17:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR7786 will leave at 17:00 , would that work for you ?
request((_:result,duration,?);(_:result,type,'Train'))
user
Can I get the travel time for that as well ?
inform((_:result,duration,'51 minutes');(_:result,type,'Train')) reqmore()
system
The travel time is 51 minutes . Can I help you with anything else ?
inform((_:search,area,'centre');(_:search,food,'swedish');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I want a cheap swedish restaurant in the centre , please .
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,area,'centre');(_:search,food,'swedish');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
system
I was n't able to find a cheap swedish restaurant in the centre of time . Would you like me to try a different type of food ?
inform((_:search,food,'indian');(_:search,type,'Restaurant'))
user
Yes , please . Is there a restaurant with Indian food ?
offer((_:booking,type,'Booking')) inform((_:result,count,'3');(_:result,type,'Restaurant'))
system
There are 3 restaurants that match what you 're looking for , would you like me to book one for you ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
I 'll take whichever one you recommend . I just need the phone number , postcode & address please .
inform((_:result,name,'Ghandi');(_:result,type,'Restaurant')) reqmore() inform((_:result,address,'72 Regent Street City Centre');(_:result,phone,'01223353942');(_:result,type,'Restaurant'))
system
I would recommend the Ghandi .   They are located at 72 Regent Street City Centre and can be reached at 01223353942 , can I assist with anything else ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
Yes , I apologize but can you give me the arrival time for train TR7786 ?
inform((_:result,arrive_by,'17:51');(_:result,type,'Train')) reqmore()
system
Sure I can . The arrival time for that train is 17:51 . Is there anything else I can do for you ?
thank()
user
I think that 's everything I need . Thank you very much .
system
You 're very welcome !   I hope that you enjoy your time here !   Thank you for contacting the Cambridge TownInfo centre .
_:search destination london kings cross
_:search type Train
_:search destination london kings cross
_:search day monday
_:search departure cambridge
_:search type Train
_:search destination london kings cross
_:search day monday
_:search departure cambridge
_:result leave_at 23:00
_:result leave_at 5:00
_:result type Train
_:search leave_at 15:45
_:search type Train
_:search destination london kings cross
_:search day monday
_:search departure cambridge
_:search leave_at 15:45
_:search type Train
_:result id TR7786
_:result leave_at 17:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:search destination london kings cross
_:search day monday
_:search departure cambridge
_:search leave_at 15:45
_:result id TR7786
_:result leave_at 17:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result type Train
_:system inquired _:user
_:search area centre
_:search food swedish
_:search pricerange cheap
_:search type Restaurant
_:search destination london kings cross
_:search day monday
_:search departure cambridge
_:search leave_at 15:45
_:result id TR7786
_:result leave_at 17:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result type Train
_:system inquired _:user
_:search area centre
_:search pricerange cheap
_:system canthelp _:search/db0a0d9a
_:search/db0a0d9a area centre
_:search/db0a0d9a food swedish
_:search/db0a0d9a pricerange cheap
_:search/db0a0d9a type Restaurant
_:search food indian
_:search type Restaurant
_:search destination london kings cross
_:search day monday
_:search departure cambridge
_:search leave_at 15:45
_:result id TR7786
_:result leave_at 17:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:system inquired _:user
_:search area centre
_:search pricerange cheap
_:system canthelp _:search/db0a0d9a
_:search/db0a0d9a area centre
_:search/db0a0d9a food swedish
_:search/db0a0d9a pricerange cheap
_:search/db0a0d9a type Restaurant
_:search food indian
_:search type Restaurant
_:result count 3
_:result type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search destination london kings cross
_:search day monday
_:search departure cambridge
_:search leave_at 15:45
_:result id TR7786
_:result leave_at 17:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:search area centre
_:search pricerange cheap
_:system canthelp _:search/db0a0d9a
_:search/db0a0d9a area centre
_:search/db0a0d9a food swedish
_:search/db0a0d9a pricerange cheap
_:search/db0a0d9a type Restaurant
_:search food indian
_:search type Restaurant
_:result count 3
_:result postcode ?
_:result name Ghandi
_:system inquired _:user
_:result address 72 Regent Street City Centre
_:result phone 01223353942
_:result type Restaurant
_:result arrive_by ?
_:result type Train
_:search destination london kings cross
_:search day monday
_:search departure cambridge
_:search leave_at 15:45
_:result id TR7786
_:result leave_at 17:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:search area centre
_:search pricerange cheap
_:system canthelp _:search/db0a0d9a
_:search/db0a0d9a area centre
_:search/db0a0d9a food swedish
_:search/db0a0d9a pricerange cheap
_:search/db0a0d9a type Restaurant
_:search food indian
_:search type Restaurant
_:result count 3
_:result postcode ?
_:result name Ghandi
_:result address 72 Regent Street City Centre
_:result phone 01223353942
_:result arrive_by 17:51
_:result type Train
_:system inquired _:user