inform((_:search,area,'dontcare');(_:search,food,'portuguese');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,type,'Restaurant'))
user
I need some portuguese food ! I need a restaurant in any area . Please give me a phone number .
inform((_:result,address,'Cambridge Leisure Park Clifton Way');(_:result,area,'south');(_:result,name,'Nandos');(_:result,phone,'01223 327908');(_:result,type,'Restaurant'))
system
Nandos is located in the south area . Address is Cambridge Leisure Park Clifton Way and phone number is 01223 327908 .
user
Is there anything else ?
inform((_:result,area,'centre');(_:result,name,'Nandos city centre');(_:result,phone,'01223 327908');(_:result,type,'Restaurant'))
system
Nandos city centre is in the centre part of town .   Their phone number is 01223 327908
thank()
user
Thank you . Goodbye .
system
Thank you , goodbye .
_:search area dontcare
_:search food portuguese
_:search type Restaurant
_:result phone ?
_:result type Restaurant
_:search area dontcare
_:search food portuguese
_:search type Restaurant
_:result address Cambridge Leisure Park Clifton Way
_:result area south
_:result name Nandos
_:result phone 01223 327908
_:result type Restaurant
_:search area dontcare
_:search food portuguese
_:search type Restaurant
_:result address Cambridge Leisure Park Clifton Way
_:result area centre
_:result name Nandos city centre
_:result phone 01223 327908
_:result type Restaurant