inform((_:search,area,'south');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Could you please help me find an expensive restaurant in the south part of town ?
inform((_:result,amount,'Both');(_:result,area,'south');(_:result,name,'peking restaurant');(_:result,name,'restaurant alimentum');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Both the restaurant alimentum and the peking restaurant are expensive restaraunts in the south part of town .   Would you like their phone numbers ?
request((_:result,food,?);(_:result,type,'Restaurant'))
user
Yes . What kind of food do they serve ?
inform((_:result,food,'chinese');(_:result,food,'modern european');(_:result,name,'Restaurant alimentum');(_:result,name,'peking restaurant');(_:result,type,'Restaurant'))
system
Restaurant alimentum serves modern european food , and peking restaurant serves chinese .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Could you please give me the phone number of whichever one you like better ?
reqmore() inform((_:result,name,"Peking Restaurant 's");(_:result,phone,'01223 354755');(_:result,type,'Restaurant'))
system
Peking Restaurant 's phone number is 01223 354755 . Is there anything else I can help you with ?
thank()
user
Thank you . Goodbye .
system
Thank you for using the Cambridge restaurant system . Goodbye .
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:result amount Both
_:result area south
_:result name peking restaurant
_:result name restaurant alimentum
_:result pricerange expensive
_:result type Restaurant
_:result food ?
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:result amount Both
_:result area south
_:result pricerange expensive
_:result food chinese
_:result food modern european
_:result name Restaurant alimentum
_:result name peking restaurant
_:result type Restaurant
_:result phone ?
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:result amount Both
_:result area south
_:result pricerange expensive
_:result food chinese
_:result food modern european
_:system inquired _:user
_:result name Peking Restaurant 's
_:result phone 01223 354755
_:result type Restaurant