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,'jamaican');(_:search,type,'Restaurant'))
user
i want a restaurant in the west part of town that serves jamaican
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'jamaican');(_:search,type,'Restaurant'))
user
jamaican
canthelp((_:search,food,'jamaican');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving jamaican food
reqalts() inform((_:search,area,'west');(_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
how about a restaurant in the west part of town that serves vietnamese
canthelp((_:search,food,'jamaican');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving jamaican food
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
what about a restaurant that serves vietnamese
canthelp((_:search,food,'jamaican');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving jamaican food
user
type food
confirm((_:search,food,'thai');(_:search,type,'Restaurant'))
system
You are looking for a thai restaurant right?
negate()
user
no
inform((_:result,area,'west');(_:result,food,'thai');(_:result,name,'sala thong');(_:result,type,'Restaurant'))
system
sala thong is a nice place in the west of town serving tasty thai food
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
vietnamese
canthelp((_:search,area,'west');(_:search,food,'thai');(_:search,type,'Restaurant'))
system
I am sorry but there is no other thai restaurant in the west of town
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
i want a vietnamese restaurant
confirm((_:search,area,'west');(_:search,type,'Restaurant'))
system
Did you say you are looking for a restaurant in the west of town?
affirm()
user
yeah
confirm((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
system
You are looking for a vietnamese restaurant right?
user
that serves viet
inform((_:result,area,'west');(_:result,food,'vietnamese');(_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh is a nice place in the west of town serving tasty vietnamese food
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh is a great restaurant
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 jamaican
_:search type Restaurant
_:system greeted _:user
_:search area west
_:search food jamaican
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/00aa1f48
_:search/00aa1f48 food jamaican
_:search/00aa1f48 type Restaurant
_:user inquired _:system
_:search area west
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/00aa1f48
_:search/00aa1f48 food jamaican
_:search/00aa1f48 type Restaurant
_:user inquired _:system
_:search area west
_:system canthelp _:search/dfa9a851
_:search/dfa9a851 food jamaican
_:search/dfa9a851 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/00aa1f48
_:search/00aa1f48 food jamaican
_:search/00aa1f48 type Restaurant
_:user inquired _:system
_:search area west
_:system canthelp _:search/dfa9a851
_:search/dfa9a851 food jamaican
_:search/dfa9a851 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/bc067a40
_:search/bc067a40 food jamaican
_:search/bc067a40 type Restaurant
_:system greeted _:user
_:system canthelp _:search/00aa1f48
_:search/00aa1f48 food jamaican
_:search/00aa1f48 type Restaurant
_:user inquired _:system
_:search area west
_:system canthelp _:search/dfa9a851
_:search/dfa9a851 food jamaican
_:search/dfa9a851 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/bc067a40
_:search/bc067a40 food jamaican
_:search/bc067a40 type Restaurant
_:system greeted _:user
_:system canthelp _:search/00aa1f48
_:search/00aa1f48 food jamaican
_:search/00aa1f48 type Restaurant
_:user inquired _:system
_:search area west
_:system canthelp _:search/dfa9a851
_:search/dfa9a851 food jamaican
_:search/dfa9a851 type Restaurant
_:system canthelp _:search/bc067a40
_:search/bc067a40 food jamaican
_:search/bc067a40 type Restaurant
_:result area west
_:result food thai
_:result name sala thong
_:result type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/00aa1f48
_:search/00aa1f48 food jamaican
_:search/00aa1f48 type Restaurant
_:user inquired _:system
_:search area west
_:system canthelp _:search/dfa9a851
_:search/dfa9a851 food jamaican
_:search/dfa9a851 type Restaurant
_:system canthelp _:search/bc067a40
_:search/bc067a40 food jamaican
_:search/bc067a40 type Restaurant
_:result area west
_:result food thai
_:result name sala thong
_:result type Restaurant
_:system canthelp _:search/d850a06b
_:search/d850a06b area west
_:search/d850a06b food thai
_:search/d850a06b type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/00aa1f48
_:search/00aa1f48 food jamaican
_:search/00aa1f48 type Restaurant
_:user inquired _:system
_:search area west
_:system canthelp _:search/dfa9a851
_:search/dfa9a851 food jamaican
_:search/dfa9a851 type Restaurant
_:system canthelp _:search/bc067a40
_:search/bc067a40 food jamaican
_:search/bc067a40 type Restaurant
_:result area west
_:result food thai
_:result name sala thong
_:result type Restaurant
_:system canthelp _:search/d850a06b
_:search/d850a06b area west
_:search/d850a06b food thai
_:search/d850a06b type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/00aa1f48
_:search/00aa1f48 food jamaican
_:search/00aa1f48 type Restaurant
_:user inquired _:system
_:search area west
_:system canthelp _:search/dfa9a851
_:search/dfa9a851 food jamaican
_:search/dfa9a851 type Restaurant
_:system canthelp _:search/bc067a40
_:search/bc067a40 food jamaican
_:search/bc067a40 type Restaurant
_:result area west
_:result food thai
_:result name sala thong
_:result type Restaurant
_:system canthelp _:search/d850a06b
_:search/d850a06b area west
_:search/d850a06b food thai
_:search/d850a06b type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/00aa1f48
_:search/00aa1f48 food jamaican
_:search/00aa1f48 type Restaurant
_:user inquired _:system
_:search area west
_:system canthelp _:search/dfa9a851
_:search/dfa9a851 food jamaican
_:search/dfa9a851 type Restaurant
_:system canthelp _:search/bc067a40
_:search/bc067a40 food jamaican
_:search/bc067a40 type Restaurant
_:system canthelp _:search/d850a06b
_:search/d850a06b area west
_:search/d850a06b food thai
_:search/d850a06b type Restaurant
_:search food vietnamese
_:search type Restaurant
_:result area west
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:system canthelp _:search/00aa1f48
_:search/00aa1f48 food jamaican
_:search/00aa1f48 type Restaurant
_:user inquired _:system
_:search area west
_:system canthelp _:search/dfa9a851
_:search/dfa9a851 food jamaican
_:search/dfa9a851 type Restaurant
_:system canthelp _:search/bc067a40
_:search/bc067a40 food jamaican
_:search/bc067a40 type Restaurant
_:system canthelp _:search/d850a06b
_:search/d850a06b area west
_:search/d850a06b food thai
_:search/d850a06b type Restaurant
_:search food vietnamese
_:search type Restaurant
_:result area west
_:result food vietnamese
_:result phone ?
_:result name thanh binh
_:result type Restaurant
_:system greeted _:user
_:system canthelp _:search/00aa1f48
_:search/00aa1f48 food jamaican
_:search/00aa1f48 type Restaurant
_:user inquired _:system
_:search area west
_:system canthelp _:search/dfa9a851
_:search/dfa9a851 food jamaican
_:search/dfa9a851 type Restaurant
_:system canthelp _:search/bc067a40
_:search/bc067a40 food jamaican
_:search/bc067a40 type Restaurant
_:system canthelp _:search/d850a06b
_:search/d850a06b area west
_:search/d850a06b food thai
_:search/d850a06b type Restaurant
_: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