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,'vietnamese');(_:search,type,'Restaurant'))
user
vietnamese food
inform((_:result,food,'vietnamese');(_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh serves vietnamese food .
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
center
confirm((_:search,type,'Restaurant'))
system
You are looking for a restaurant is that right?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
center
canthelp((_:search,area,'centre');(_:search,food,'vietnamese');(_:search,type,'Restaurant'))
system
Sorry there is no vietnamese restaurant in the centre of town
inform((_:search,food,'turkish');(_:search,type,'Restaurant'))
user
turkish food
inform((_:result,area,'centre');(_:result,food,'turkish');(_:result,name,'efes restaurant');(_:result,type,'Restaurant'))
system
efes restaurant is a nice restaurant in the centre of town serving turkish food
request((_:result,address,?);(_:result,type,'Restaurant'))
user
address
inform((_:result,address,'king street city centre');(_:result,name,'efes restaurant');(_:result,type,'Restaurant'))
system
Sure , efes restaurant is on King Street City Centre
request((_:result,pricerange,?);(_:result,type,'Restaurant'))
user
price range
inform((_:result,name,'efes restaurant');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
efes restaurant is in the moderate price range
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search food vietnamese
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:search food vietnamese
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:search area centre
_:system canthelp _:search/116a1e51
_:search/116a1e51 area centre
_:search/116a1e51 food vietnamese
_:search/116a1e51 type Restaurant
_:search food turkish
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:system canthelp _:search/116a1e51
_:search/116a1e51 area centre
_:search/116a1e51 food vietnamese
_:search/116a1e51 type Restaurant
_:search food turkish
_:search type Restaurant
_:result area centre
_:result food turkish
_:result name efes restaurant
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search area centre
_:system canthelp _:search/116a1e51
_:search/116a1e51 area centre
_:search/116a1e51 food vietnamese
_:search/116a1e51 type Restaurant
_:search food turkish
_:search type Restaurant
_:result area centre
_:result food turkish
_:result address king street city centre
_:result name efes restaurant
_:result type Restaurant
_:result pricerange ?
_:system greeted _:user
_:search area centre
_:system canthelp _:search/116a1e51
_:search/116a1e51 area centre
_:search/116a1e51 food vietnamese
_:search/116a1e51 type Restaurant
_:search food turkish
_:search type Restaurant
_:result area centre
_:result food turkish
_:result address king street city centre
_:result name efes restaurant
_:result pricerange moderate
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system