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?
user
restaurants
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
user
noise
confirm((_:search,area,*);(_:search,type,'Restaurant'))
system
Ok , a restaurant in any part of town is that right?
affirm()
user
yes
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'singaporean');(_:search,type,'Restaurant'))
user
singaporean
canthelp((_:search,food,'singaporean');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving singaporean food
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
vietnamese
canthelp((_:search,food,'singaporean');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving singaporean food
reqalts() inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
how about vietnamese
canthelp((_:search,food,'singaporean');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving singaporean food
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
ok i want vietnamese
confirm((_:search,area,*);(_:search,type,'Restaurant'))
system
Ok , a restaurant in any part of town is that right?
affirm()
user
yes
confirm((_:search,food,'singaporean');(_:search,type,'Restaurant'))
system
You are looking for a singaporean restaurant right?
negate()
user
no
canthelp((_:search,food,'singaporean');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving singaporean food
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
vietnamese
canthelp((_:search,food,'singaporean');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving singaporean food
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
request((_:result,pricerange,?);(_:result,type,'Restaurant'))
user
price range
canthelp((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
system
I am sorry but there is no other vietnamese restaurant that matches your request
request((_:result,pricerange,?);(_:result,type,'Restaurant'))
user
price range
inform((_:result,food,'vietnamese');(_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh serves vietnamese food
request((_:result,pricerange,?);(_:result,type,'Restaurant'))
user
what is price range
inform((_:result,name,'thanh binh');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
thanh binh is in the cheap price range
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
confirm((_:search,area,*);(_:search,type,'Restaurant'))
system
Ok , a restaurant in any part of town is that right?
affirm()
user
yes
inform((_:result,food,'vietnamese');(_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh serves vietnamese food
user
noise
inform((_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh is a great restaurant
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number please
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 goodbye
_:system greeted _:user
_:system greeted _:user
_:search area ?
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:search food singaporean
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:system canthelp _:search/64b45c11
_:search/64b45c11 food singaporean
_:search/64b45c11 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:system canthelp _:search/64b45c11
_:search/64b45c11 food singaporean
_:search/64b45c11 type Restaurant
_:system canthelp _:search/c0874fc2
_:search/c0874fc2 food singaporean
_:search/c0874fc2 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:system canthelp _:search/64b45c11
_:search/64b45c11 food singaporean
_:search/64b45c11 type Restaurant
_:system canthelp _:search/c0874fc2
_:search/c0874fc2 food singaporean
_:search/c0874fc2 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:result pricerange ?
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:system canthelp _:search/64b45c11
_:search/64b45c11 food singaporean
_:search/64b45c11 type Restaurant
_:system canthelp _:search/c0874fc2
_:search/c0874fc2 food singaporean
_:search/c0874fc2 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:result pricerange ?
_:system canthelp _:search/e0be7a69
_:search/e0be7a69 food vietnamese
_:search/e0be7a69 type Restaurant
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:system canthelp _:search/64b45c11
_:search/64b45c11 food singaporean
_:search/64b45c11 type Restaurant
_:system canthelp _:search/c0874fc2
_:search/c0874fc2 food singaporean
_:search/c0874fc2 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:result pricerange ?
_:system canthelp _:search/e0be7a69
_:search/e0be7a69 food vietnamese
_:search/e0be7a69 type Restaurant
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:system canthelp _:search/64b45c11
_:search/64b45c11 food singaporean
_:search/64b45c11 type Restaurant
_:system canthelp _:search/c0874fc2
_:search/c0874fc2 food singaporean
_:search/c0874fc2 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/e0be7a69
_:search/e0be7a69 food vietnamese
_:search/e0be7a69 type Restaurant
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:system canthelp _:search/64b45c11
_:search/64b45c11 food singaporean
_:search/64b45c11 type Restaurant
_:system canthelp _:search/c0874fc2
_:search/c0874fc2 food singaporean
_:search/c0874fc2 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/e0be7a69
_:search/e0be7a69 food vietnamese
_:search/e0be7a69 type Restaurant
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:system canthelp _:search/64b45c11
_:search/64b45c11 food singaporean
_:search/64b45c11 type Restaurant
_:system canthelp _:search/c0874fc2
_:search/c0874fc2 food singaporean
_:search/c0874fc2 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/e0be7a69
_:search/e0be7a69 food vietnamese
_:search/e0be7a69 type Restaurant
_:result pricerange cheap
_:result phone ?
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:system canthelp _:search/64b45c11
_:search/64b45c11 food singaporean
_:search/64b45c11 type Restaurant
_:system canthelp _:search/c0874fc2
_:search/c0874fc2 food singaporean
_:search/c0874fc2 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/e0be7a69
_:search/e0be7a69 food vietnamese
_:search/e0be7a69 type Restaurant
_:result pricerange cheap
_:result phone ?
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:system greeted _:user
_:search area ?
_:system canthelp _:search/573317a2
_:search/573317a2 food singaporean
_:search/573317a2 type Restaurant
_:system canthelp _:search/5257436b
_:search/5257436b food singaporean
_:search/5257436b type Restaurant
_:user inquired _:system
_:system canthelp _:search/1550d4a8
_:search/1550d4a8 food singaporean
_:search/1550d4a8 type Restaurant
_:system canthelp _:search/64b45c11
_:search/64b45c11 food singaporean
_:search/64b45c11 type Restaurant
_:system canthelp _:search/c0874fc2
_:search/c0874fc2 food singaporean
_:search/c0874fc2 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/e0be7a69
_:search/e0be7a69 food vietnamese
_:search/e0be7a69 type Restaurant
_:result pricerange cheap
_:result food vietnamese
_:result name thanh binh
_:result phone 01223 362456
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system