inform((_:search,area,'south');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Is there an expensive restaurant any where in the south part of town ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,area,'south');(_:result,food,'Mexican');(_:result,food,'chinese');(_:result,food,'indian');(_:result,food,'italian');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are Mexican , italian , chinese and indian restaurants on the south part of town in the expensive price range . Do you have a particular type ?
inform((_:search,food,'italian');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
Italian sounds good .   Can you give me an address and phone number ?
reqmore() inform((_:result,name,'Frankie and Bennys');(_:result,phone,'01223 412430');(_:result,type,'Restaurant'))
system
The phone number for Frankie and Bennys is 01223 412430 . Can I help you with anything else ?
bye()
user
That will do it . Goodbye .
system
You 're welcome . Thank you and goodbye .
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:result area south
_:result food Mexican
_:result food chinese
_:result food indian
_:result food italian
_:result pricerange expensive
_:result type Restaurant
_:search food italian
_:search type Restaurant
_:result address ?
_:result phone ?
_:search area south
_:search pricerange expensive
_:result area south
_:result food Mexican
_:result food chinese
_:result food indian
_:result food italian
_:result pricerange expensive
_:search food italian
_:search type Restaurant
_:result address ?
_:system inquired _:user
_:result name Frankie and Bennys
_:result phone 01223 412430
_:result type Restaurant
_:user dismissed _:system