inform((_:search,food,'australian');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Is there any expensive restaurants in town serving Australian food ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant')) inform((_:result,food,'Australian');(_:result,type,'Restaurant'))
system
I 'm sorry , there are no Australian restaurants .   Would you like another type of food ?
inform((_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
How about asian oriental food ?
inform((_:result,food,'asian oriental');(_:result,name,'Kymmoy');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Kymmoy is an expensive asian oriental restraunt in town .
inform((_:search,type,'Restaurant')) request((_:result,area,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
What is the phone number and area ?
reqmore() inform((_:result,area,'centre');(_:result,name,'Kymmoy');(_:result,phone,'01223 311911');(_:result,type,'Restaurant'))
system
Kymmoy is in the centre of town and the phone number is 01223 311911 . May I help you with anything else ?
thank()
user
Thank you , I have all I need .   Goodbye !
system
You 're welcome . Thanks for your call ! Goodbye .
_:search food australian
_:search pricerange expensive
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/b8c4ea7a
_:search/b8c4ea7a type Restaurant
_:result food Australian
_:result type Restaurant
_:search food asian oriental
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/b8c4ea7a
_:search/b8c4ea7a type Restaurant
_:search food asian oriental
_:result food asian oriental
_:result name Kymmoy
_:result pricerange expensive
_:result type Restaurant
_:search type Restaurant
_:result area ?
_:result phone ?
_:search pricerange expensive
_:system canthelp _:search/b8c4ea7a
_:search/b8c4ea7a type Restaurant
_:search food asian oriental
_:result food asian oriental
_:result pricerange expensive
_:search type Restaurant
_:system inquired _:user
_:result area centre
_:result name Kymmoy
_:result phone 01223 311911
_:result type Restaurant