hello()
system
Hello , welcome to the Cambridge restaurant system? You can ask for restaurants by area , price range or food type . How may I help you?
inform((_:search,food,'tuscan');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
and expensive restaurant that serves tuscan food
canthelp((_:search,food,'tuscan');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
system
Sorry there is no tuscan restaurant in the expensive price range
inform((_:search,food,'french');(_:search,type,'Restaurant'))
user
french food
inform((_:result,food,'french');(_:result,name,'cote');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
cote is a great restaurant serving french food and it is in the expensive price range
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
may i have the phone number
inform((_:result,name,'cote');(_:result,phone,'01223 311053');(_:result,type,'Restaurant'))
system
The phone number of cote is 01223 311053 .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search food tuscan
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:system canthelp _:search/ecd802d0
_:search/ecd802d0 food tuscan
_:search/ecd802d0 pricerange expensive
_:search/ecd802d0 type Restaurant
_:search food french
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:system canthelp _:search/ecd802d0
_:search/ecd802d0 food tuscan
_:search/ecd802d0 pricerange expensive
_:search/ecd802d0 type Restaurant
_:search food french
_:search type Restaurant
_:result food french
_:result name cote
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search pricerange expensive
_:system canthelp _:search/ecd802d0
_:search/ecd802d0 food tuscan
_:search/ecd802d0 pricerange expensive
_:search/ecd802d0 type Restaurant
_:search food french
_:search type Restaurant
_:result food french
_:result pricerange expensive
_:result name cote
_:result phone 01223 311053
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system