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,pricerange,'cheap');(_:search,type,'Restaurant'))
user
cheap restaurant
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'eritrean');(_:search,type,'Restaurant'))
user
eritrean
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
user
unintelligible
inform((_:result,name,'royal spice');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
The price range at royal spice is cheap .
negate() inform((_:search,food,'eritrean');(_:search,type,'Restaurant'))
user
no eritrean food
inform((_:result,name,'royal spice');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
The price range at royal spice is cheap .
request((_:result,food,?);(_:result,type,'Restaurant'))
user
what type of food does it
inform((_:result,food,'indian');(_:result,name,'royal spice');(_:result,type,'Restaurant'))
system
royal spice serves indian food
negate()
user
no ah
inform((_:result,name,'royal spice');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
The price range at royal spice is cheap .
confirm((_:result,food,'eritrean');(_:result,type,'Restaurant'))
user
er do they serve eritrean food
inform((_:result,name,'royal spice');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
The price range at royal spice is cheap .
reqalts() inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
what about vietnamese food
inform((_:result,food,'vietnamese');(_:result,name,'thanh binh');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
thanh binh is a great restaurant serving vietnamese food and it is in the cheap price range
user
does do you know anyone who serves um
reqmore()
system
Can I help you with anything else?
inform((_:search,food,'eritrean');(_:search,type,'Restaurant'))
user
eritrean food
reqmore()
system
Can I help you with anything else?
user
um
reqmore()
system
Can I help you with anything else?
user
do uh
reqmore()
system
Can I help you with anything else?
inform((_:search,food,'eritrean');(_:search,type,'Restaurant'))
user
does anyone serve eritrean food
reqmore()
system
Can I help you with anything else?
inform((_:search,food,'eritrean');(_:search,type,'Restaurant'))
user
eritrean food
canthelp((_:search,food,'irish');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
system
Sorry there is no irish restaurant in the cheap price range
inform((_:search,food,'eritrean');(_:search,type,'Restaurant'))
user
eritrean
canthelp((_:search,food,'irish');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
system
Sorry there is no irish restaurant in the cheap price range
inform((_:search,food,'eritrean');(_:search,type,'Restaurant'))
user
eritrean
canthelp((_:search,food,'irish');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
system
Sorry there is no irish restaurant in the cheap price range
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
uh vietnamese
canthelp((_:search,food,'irish');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
system
Sorry there is no irish restaurant in the cheap price range
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
noise vietnamese
canthelp((_:search,food,'irish');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
system
Sorry there is no irish restaurant in the cheap price range
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
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 .
request((_:result,food,?);(_:result,type,'Restaurant'))
user
what type of food
inform((_:result,food,'vietnamese');(_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh serves vietnamese food
thanks() bye()
user
alright thank you goodbye
_:system greeted _:user
_:search pricerange cheap
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search food eritrean
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search food ?
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:search food eritrean
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:search food eritrean
_:search type Restaurant
_:result name royal spice
_:result pricerange cheap
_:result type Restaurant
_:result food ?
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:search food eritrean
_:search type Restaurant
_:result pricerange cheap
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:search food eritrean
_:search type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:result name royal spice
_:result pricerange cheap
_:result food eritrean
_:result type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:result food eritrean
_:result name royal spice
_:result pricerange cheap
_:result type Restaurant
_:user inquired _:system
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:search food vietnamese
_:search type Restaurant
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:system inquired _:user
_:search food eritrean
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:search food eritrean
_:search type Restaurant
_:system inquired _:user
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:search food eritrean
_:search type Restaurant
_:system inquired _:user
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:system inquired _:user
_:search food eritrean
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:system inquired _:user
_:search food eritrean
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:system inquired _:user
_:system canthelp _:search/b92a0390
_:search/b92a0390 food irish
_:search/b92a0390 pricerange cheap
_:search/b92a0390 type Restaurant
_:search food eritrean
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:system inquired _:user
_:system canthelp _:search/b92a0390
_:search/b92a0390 food irish
_:search/b92a0390 pricerange cheap
_:search/b92a0390 type Restaurant
_:system canthelp _:search/2b7812c3
_:search/2b7812c3 food irish
_:search/2b7812c3 pricerange cheap
_:search/2b7812c3 type Restaurant
_:search food eritrean
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:system inquired _:user
_:system canthelp _:search/b92a0390
_:search/b92a0390 food irish
_:search/b92a0390 pricerange cheap
_:search/b92a0390 type Restaurant
_:system canthelp _:search/2b7812c3
_:search/2b7812c3 food irish
_:search/2b7812c3 pricerange cheap
_:search/2b7812c3 type Restaurant
_:system canthelp _:search/bce9b05e
_:search/bce9b05e food irish
_:search/bce9b05e pricerange cheap
_:search/bce9b05e type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:system inquired _:user
_:system canthelp _:search/b92a0390
_:search/b92a0390 food irish
_:search/b92a0390 pricerange cheap
_:search/b92a0390 type Restaurant
_:system canthelp _:search/2b7812c3
_:search/2b7812c3 food irish
_:search/2b7812c3 pricerange cheap
_:search/2b7812c3 type Restaurant
_:system canthelp _:search/bce9b05e
_:search/bce9b05e food irish
_:search/bce9b05e pricerange cheap
_:search/bce9b05e type Restaurant
_:system canthelp _:search/5513e205
_:search/5513e205 food irish
_:search/5513e205 pricerange cheap
_:search/5513e205 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:system inquired _:user
_:system canthelp _:search/b92a0390
_:search/b92a0390 food irish
_:search/b92a0390 pricerange cheap
_:search/b92a0390 type Restaurant
_:system canthelp _:search/2b7812c3
_:search/2b7812c3 food irish
_:search/2b7812c3 pricerange cheap
_:search/2b7812c3 type Restaurant
_:system canthelp _:search/bce9b05e
_:search/bce9b05e food irish
_:search/bce9b05e pricerange cheap
_:search/bce9b05e type Restaurant
_:system canthelp _:search/5513e205
_:search/5513e205 food irish
_:search/5513e205 pricerange cheap
_:search/5513e205 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/ca9f421c
_:search/ca9f421c food irish
_:search/ca9f421c pricerange cheap
_:search/ca9f421c type Restaurant
_:result phone ?
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:result food vietnamese
_:result pricerange cheap
_:system inquired _:user
_:system canthelp _:search/b92a0390
_:search/b92a0390 food irish
_:search/b92a0390 pricerange cheap
_:search/b92a0390 type Restaurant
_:system canthelp _:search/2b7812c3
_:search/2b7812c3 food irish
_:search/2b7812c3 pricerange cheap
_:search/2b7812c3 type Restaurant
_:system canthelp _:search/bce9b05e
_:search/bce9b05e food irish
_:search/bce9b05e pricerange cheap
_:search/bce9b05e type Restaurant
_:system canthelp _:search/5513e205
_:search/5513e205 food irish
_:search/5513e205 pricerange cheap
_:search/5513e205 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/ca9f421c
_:search/ca9f421c food irish
_:search/ca9f421c pricerange cheap
_:search/ca9f421c type Restaurant
_:result name thanh binh
_:result phone 01223 362456
_:result type Restaurant
_:result food ?
_:system greeted _:user
_:search pricerange cheap
_:user denied _:result/dfe50a6e
_:result/dfe50a6e name royal spice
_:result/dfe50a6e pricerange cheap
_:result/dfe50a6e type Restaurant
_:user denied _:result/98337023
_:result/98337023 food indian
_:result/98337023 name royal spice
_:result/98337023 type Restaurant
_:user inquired _:system
_:result pricerange cheap
_:system inquired _:user
_:system canthelp _:search/b92a0390
_:search/b92a0390 food irish
_:search/b92a0390 pricerange cheap
_:search/b92a0390 type Restaurant
_:system canthelp _:search/2b7812c3
_:search/2b7812c3 food irish
_:search/2b7812c3 pricerange cheap
_:search/2b7812c3 type Restaurant
_:system canthelp _:search/bce9b05e
_:search/bce9b05e food irish
_:search/bce9b05e pricerange cheap
_:search/bce9b05e type Restaurant
_:system canthelp _:search/5513e205
_:search/5513e205 food irish
_:search/5513e205 pricerange cheap
_:search/5513e205 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/ca9f421c
_:search/ca9f421c food irish
_:search/ca9f421c pricerange cheap
_:search/ca9f421c type Restaurant
_:result phone 01223 362456
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system