inform((_:search,day,'thursday');(_:search,leave_at,'15:00');(_:search,type,'Train'))
user
Do you have any trains leaving after 15:00 on Thursday ?
request((_:search,destination,?);(_:search,type,'Train')) inform((_:result,amount,'many');(_:result,type,'Train'))
system
Yes , there are many .   What is your destination ?
inform((_:search,departure,'cambridge');(_:search,destination,'norwich');(_:search,type,'Train'))
user
My destination is Norwich departing from Cambridge .
inform((_:result,id,'TR8604');(_:result,leave_at,'15:36');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR8604 leaves at 15:36 , would this one work for you ?
inform((_:search,people,'7');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , that would be find . I 'll need to book tickets for 7 people . Can I have the reference number please ?
inform((_:booking,category,'Train');(_:booking,ref,'KSHHCWCE');(_:booking,ticket,'123.2 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 123.2 GBP payable at the station . 
 Reference number is : KSHHCWCE .
thank()
user
Thank you ! Can you help me find somewhere to eat now ?
request((_:search,food,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) thank()
system
Sure , I can help you with that . Do you have a preference in food type or price range ?
inform((_:search,food,'corsican');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Yes , do you have a place that serves corsican food ? I also need it to be on the cheap side .
request((_:search,name,?);(_:search,type,'Restaurant')) canthelp((_:search,food,'Corsica');(_:search,pricerange,'cheap');(_:search,type,'Restaurant')) reqmore()
system
No , unfortunately , I do not have any cheap Corsica restaurants . Would you like to look for another restaurant ?
inform((_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
Bummer ! I guess I 'll try some asian oriental food then
select((_:result,area,'centre');(_:result,name,'Dojo Noodle Bar');(_:result,name,'and J Restaurant');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,type,'Restaurant'))
system
I have two that fit your criteria !   Dojo Noodle Bar , and J Restaurant are both in the city centre area .   Do you have a preference ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
can you suggest one and I need the address , postcode and their phone number too please
inform((_:result,address,'40210 Millers Yard City Centre');(_:result,name,'Dojo Noodle Bar');(_:result,phone,'01223363471');(_:result,postcode,'cb21rq');(_:result,type,'Restaurant'))
system
I 'd recommend the Dojo Noodle Bar . The address is 40210 Millers Yard City Centre . The postcode is cb21rq . The phone number is 01223363471 .
thank()
user
Wonderful ! I think that 's all I need for now , thank you so much for your help !
system
You 're welcome , have a great day !
_:search day thursday
_:search leave_at 15:00
_:search type Train
_:search day thursday
_:search leave_at 15:00
_:result amount many
_:result type Train
_:search departure cambridge
_:search destination norwich
_:search type Train
_:search day thursday
_:search leave_at 15:00
_:result amount many
_:search departure cambridge
_:search destination norwich
_:result id TR8604
_:result leave_at 15:36
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:result ref ?
_:search day thursday
_:search leave_at 15:00
_:result amount many
_:search departure cambridge
_:search destination norwich
_:result id TR8604
_:result leave_at 15:36
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:result ref ?
_:booking category Train
_:booking ref KSHHCWCE
_:booking ticket 123.2 GBP
_:booking type Booking
_:search day thursday
_:search leave_at 15:00
_:result amount many
_:search departure cambridge
_:search destination norwich
_:result id TR8604
_:result leave_at 15:36
_:result type Train
_:system offered _:booking
_:search people 7
_:result ref ?
_:booking category Train
_:booking ref KSHHCWCE
_:booking ticket 123.2 GBP
_:booking type Booking
_:search food corsican
_:search pricerange cheap
_:search type Restaurant
_:search day thursday
_:search leave_at 15:00
_:result amount many
_:search departure cambridge
_:search destination norwich
_:result id TR8604
_:result leave_at 15:36
_:result type Train
_:system offered _:booking
_:search people 7
_:result ref ?
_:booking category Train
_:booking ref KSHHCWCE
_:booking ticket 123.2 GBP
_:booking type Booking
_:search pricerange cheap
_:search name ?
_:system canthelp _:search/2b51e00c
_:search/2b51e00c food Corsica
_:search/2b51e00c pricerange cheap
_:search/2b51e00c type Restaurant
_:system inquired _:user
_:search food asian oriental
_:search type Restaurant
_:search day thursday
_:search leave_at 15:00
_:result amount many
_:search departure cambridge
_:search destination norwich
_:result id TR8604
_:result leave_at 15:36
_:system offered _:booking
_:search people 7
_:result ref ?
_:booking category Train
_:booking ref KSHHCWCE
_:booking ticket 123.2 GBP
_:booking type Booking
_:search pricerange cheap
_:search name ?
_:system canthelp _:search/2b51e00c
_:search/2b51e00c food Corsica
_:search/2b51e00c pricerange cheap
_:search/2b51e00c type Restaurant
_:system inquired _:user
_:search food asian oriental
_:search type Restaurant
_:result area centre
_:result name Dojo Noodle Bar
_:result name and J Restaurant
_:result count 2
_:result type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search day thursday
_:search leave_at 15:00
_:result amount many
_:search departure cambridge
_:search destination norwich
_:result id TR8604
_:result leave_at 15:36
_:system offered _:booking
_:search people 7
_:result ref ?
_:booking category Train
_:booking ref KSHHCWCE
_:booking ticket 123.2 GBP
_:booking type Booking
_:search pricerange cheap
_:search name ?
_:system canthelp _:search/2b51e00c
_:search/2b51e00c food Corsica
_:search/2b51e00c pricerange cheap
_:search/2b51e00c type Restaurant
_:system inquired _:user
_:search food asian oriental
_:search type Restaurant
_:result area centre
_:result count 2
_:result address 40210 Millers Yard City Centre
_:result name Dojo Noodle Bar
_:result phone 01223363471
_:result postcode cb21rq
_:result type Restaurant