inform((_:search,food,'swedish');(_:search,pricerange,'dontcare');(_:search,type,'Restaurant'))
user
Hi .   This might be a long shot , but can you help me find a restaurant that serves Swedish food ?   I do n't care about price .
canthelp((_:search,type,'Restaurant')) inform((_:result,food,'Swedish');(_:result,type,'Restaurant'))
system
There are no restaurants serving Swedish food .
inform((_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
How about asian oriental type of food ?
inform((_:result,area,'centre');(_:result,food,'Asian Oriental');(_:result,name,'Dojo Noodle Bar');(_:result,type,'Restaurant'))
system
Dojo Noodle Bar serves Asian Oriental food in the centre of town . Would you like their number ?
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
No thank you .   I just need the address and postcode , please .
reqmore() inform((_:result,address,'40210 Millers Yard City Centre');(_:result,name,'Dojo Noodle Bar');(_:result,postcode,'1 R.Q.');(_:result,postcode,'C.B 2');(_:result,type,'Restaurant'))
system
Dojo Noodle Bar is located at 40210 Millers Yard City Centre and their postcode is C.B 2 , 1 R.Q. Is there anything else I can assist you with ?
thank()
user
No , thank you , goodbye .
system
Thank you for using the Cambridge restaurant system .   Good bye .
_:search food swedish
_:search pricerange dontcare
_:search type Restaurant
_:search pricerange dontcare
_:system canthelp _:search/6fcb0ff2
_:search/6fcb0ff2 type Restaurant
_:result food Swedish
_:result type Restaurant
_:search food asian oriental
_:search type Restaurant
_:search pricerange dontcare
_:system canthelp _:search/6fcb0ff2
_:search/6fcb0ff2 type Restaurant
_:search food asian oriental
_:search type Restaurant
_:result area centre
_:result food Asian Oriental
_:result name Dojo Noodle Bar
_:result type Restaurant
_:result address ?
_:result postcode ?
_:search pricerange dontcare
_:system canthelp _:search/6fcb0ff2
_:search/6fcb0ff2 type Restaurant
_:search food asian oriental
_:search type Restaurant
_:result area centre
_:result food Asian Oriental
_:system inquired _:user
_:result address 40210 Millers Yard City Centre
_:result name Dojo Noodle Bar
_:result postcode 1 R.Q.
_:result postcode C.B 2
_:result type Restaurant