inform((_:search,area,'centre');(_:search,food,'british');(_:search,type,'Restaurant'))
user
I want to find a restaurant in the centre part of town and serves british food .
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,food,'British');(_:result,type,'Restaurant'))
system
There are several British restaurants .   Do you have a price range in mind ?
inform((_:search,pricerange,'dontcare');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
I have no preference . can i please have the address and phone number of one of them ?
reqmore() inform((_:result,address,'183 east road city centre');(_:result,area,'centre');(_:result,food,'british');(_:result,name,'Cotto');(_:result,phone,'01223 302010');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
Cotto is a british restaurant in the moderate price range and in the centre . Its address is 183 east road city centre and its phone number is 01223 302010 . Is there anything else I can help you with ?
thank()
user
Nope , that 'll do it , thank you for your help .
system
Have a nice day !   thank you , goodbye .
_:search area centre
_:search food british
_:search type Restaurant
_:search area centre
_:search food british
_:result amount several
_:result food British
_:result type Restaurant
_:search pricerange dontcare
_:search type Restaurant
_:result address ?
_:result phone ?
_:search area centre
_:search food british
_:result amount several
_:search pricerange dontcare
_:search type Restaurant
_:system inquired _:user
_:result address 183 east road city centre
_:result area centre
_:result food british
_:result name Cotto
_:result phone 01223 302010
_:result pricerange moderate
_:result type Restaurant