inform((_:search,food,'cantonese');(_:search,type,'Restaurant'))
user
Can I get a cantonese restaurant ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant')) inform((_:result,food,'cantonese');(_:result,type,'Restaurant')) reqmore()
system
I 'm sorry there are no cantonese restaurants . Would you like something else ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
How about Chinese ?
select((_:result,pricerange,'cheap');(_:result,pricerange,'expensive');(_:result,pricerange,'moderate');(_:result,type,'Restaurant')) inform((_:result,amount,'several');(_:result,food,'chinese');(_:result,type,'Restaurant'))
system
There are several chinese restaurants in town .   Would you prefer something in the cheap , moderate or expensive price range ?
inform((_:search,food,'chinese');(_:search,pricerange,'moderately');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,type,'Restaurant'))
user
I would like the phone number for a moderately priced chinese restaurant .
select((_:result,name,'shanghai family restaurant');(_:result,type,'Restaurant')) inform((_:result,phone,'01223 301761');(_:result,type,'Restaurant'))
system
How about shanghai family restaurant ?   Its number is 01223 301761 .
thank()
user
Thank you goodbye .
system
You 're very welcome . Have a good evening .
_:search food cantonese
_:search type Restaurant
_:system canthelp _:search/91516bff
_:search/91516bff type Restaurant
_:result food cantonese
_:result type Restaurant
_:system inquired _:user
_:search food chinese
_:search type Restaurant
_:system canthelp _:search/91516bff
_:search/91516bff type Restaurant
_:system inquired _:user
_:result pricerange cheap
_:result pricerange expensive
_:result pricerange moderate
_:result amount several
_:result food chinese
_:result type Restaurant
_:search food chinese
_:search pricerange moderately
_:search type Restaurant
_:result phone ?
_:system canthelp _:search/91516bff
_:search/91516bff type Restaurant
_:system inquired _:user
_:result pricerange cheap
_:result pricerange expensive
_:result pricerange moderate
_:result amount several
_:result food chinese
_:search food chinese
_:search pricerange moderately
_:search type Restaurant
_:result name shanghai family restaurant
_:result phone 01223 301761
_:result type Restaurant