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,area,'west');(_:search,food,'barbeque');(_:search,type,'Restaurant'))
user
west part of town serving barbecue food
canthelp((_:search,area,'west');(_:search,food,'barbeque');(_:search,type,'Restaurant'))
system
Sorry there is no barbeque restaurant in the west of town
reqalts() inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
how about vietnamese
inform((_:result,area,'west');(_:result,food,'british');(_:result,name,'saint johns chop house');(_:result,type,'Restaurant'))
system
saint johns chop house is a nice restaurant in the west of town serving british food
reqalts() inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
how about vietnamese food
inform((_:result,area,'west');(_:result,food,'vietnamese');(_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh is a nice restaurant in the west of town serving vietnamese food
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
what is the phone number
inform((_:result,name,'thanh binh');(_:result,phone,'01223 362456');(_:result,type,'Restaurant'))
system
The phone number of thanh binh is 01223 362456 .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search area west
_:search food barbeque
_:search type Restaurant
_:system greeted _:user
_:search area west
_:system canthelp _:search/def779cd
_:search/def779cd area west
_:search/def779cd food barbeque
_:search/def779cd type Restaurant
_:user inquired _:system
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search area west
_:system canthelp _:search/def779cd
_:search/def779cd area west
_:search/def779cd food barbeque
_:search/def779cd type Restaurant
_:result area west
_:result food british
_:result name saint johns chop house
_:result type Restaurant
_:user inquired _:system
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search area west
_:system canthelp _:search/def779cd
_:search/def779cd area west
_:search/def779cd food barbeque
_:search/def779cd type Restaurant
_:user inquired _:system
_:search food vietnamese
_:search type Restaurant
_:result area west
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search area west
_:system canthelp _:search/def779cd
_:search/def779cd area west
_:search/def779cd food barbeque
_:search/def779cd type Restaurant
_:user inquired _:system
_:search food vietnamese
_:search type Restaurant
_:result area west
_:result food vietnamese
_:result name thanh binh
_:result phone 01223 362456
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system