inform((_:search,area,'south');(_:search,food,'jamaican');(_:search,type,'Restaurant'))
user
I would like a restaurant in the south part of town that serves jamaican food
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,area,'West');(_:result,food,'Jamaican');(_:result,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
There are no restuarants on the West side of town the serves Jamaican food . Is there another type of food you woluld like ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
How about chinese food ?
inform((_:result,area,'south');(_:result,food,'Chinese');(_:result,name,'Peking restaurant');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Peking restaurant serves Chinese food , it is in the expensive price range , and it is in the south part of town . Would you like the address and phone number ?
request((_:result,address,?);(_:result,type,'Restaurant'))
user
Just their address , please .
reqmore() inform((_:result,address,'10 Homerton Street City Centre');(_:result,name,'Peking restaurant');(_:result,type,'Restaurant'))
system
The Peking restaurant is at 10 Homerton Street City Centre .   Can I be of further help ?
thank()
user
No thank you . Goodbye .
system
Thank you , goodbye .
_:search area south
_:search food jamaican
_:search type Restaurant
_:search area south
_:result area West
_:result food Jamaican
_:result type Restaurant
_:system canthelp _:search/b75fed27
_:search/b75fed27 type Restaurant
_:search food chinese
_:search type Restaurant
_:search area south
_:system canthelp _:search/b75fed27
_:search/b75fed27 type Restaurant
_:search food chinese
_:search type Restaurant
_:result area south
_:result food Chinese
_:result name Peking restaurant
_:result pricerange expensive
_:result type Restaurant
_:result address ?
_:search area south
_:system canthelp _:search/b75fed27
_:search/b75fed27 type Restaurant
_:search food chinese
_:search type Restaurant
_:result area south
_:result food Chinese
_:result pricerange expensive
_:system inquired _:user
_:result address 10 Homerton Street City Centre
_:result name Peking restaurant
_:result type Restaurant