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,'afghan');(_:search,type,'Restaurant'))
user
afghan
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'afghan');(_:search,type,'Restaurant'))
user
afghan
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'afghan');(_:search,type,'Restaurant'))
user
afghan food
canthelp((_:search,food,'afghan');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving afghan food
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
vietnamese food
canthelp((_:search,area,'centre');(_:search,food,'vietnamese');(_:search,type,'Restaurant'))
system
I'm sorry but there is no vietnamese restaurant in the centre of town
user
any of town
confirm((_:search,area,'centre');(_:search,type,'Restaurant'))
system
Did you say you are looking for a restaurant in the centre of town?
negate()
user
no
confirm((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
system
You are looking for a vietnamese restaurant right?
affirm()
user
yes
canthelp((_:search,area,'centre');(_:search,food,'vietnamese');(_:search,type,'Restaurant'))
system
I'm sorry but there is no vietnamese restaurant in the centre of town
inform((_:search,area,*);(_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
vietnamese anywhere
inform((_:result,food,'vietnamese');(_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh serves vietnamese food
confirm((_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
user
is it cheap
inform((_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh is a great restaurant
request((_:result,pricerange,?);(_:result,type,'Restaurant'))
user
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
inform((_:result,name,'thanh binh');(_:result,phone,'01223 362456');(_:result,type,'Restaurant'))
system
The phone number of thanh binh is 01223 362456 .
thanks()
user
thank you
inform((_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh is a great restaurant
thanks() bye()
user
thank you bye
_:system greeted _:user
_:search food afghan
_:search type Restaurant
_:system greeted _:user
_:search food afghan
_:search type Restaurant
_:system greeted _:user
_:search food afghan
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/08bffd60
_:search/08bffd60 food afghan
_:search/08bffd60 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/08bffd60
_:search/08bffd60 food afghan
_:search/08bffd60 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/42d67595
_:search/42d67595 area centre
_:search/42d67595 food vietnamese
_:search/42d67595 type Restaurant
_:system greeted _:user
_:system canthelp _:search/08bffd60
_:search/08bffd60 food afghan
_:search/08bffd60 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/42d67595
_:search/42d67595 area centre
_:search/42d67595 food vietnamese
_:search/42d67595 type Restaurant
_:system greeted _:user
_:system canthelp _:search/08bffd60
_:search/08bffd60 food afghan
_:search/08bffd60 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/42d67595
_:search/42d67595 area centre
_:search/42d67595 food vietnamese
_:search/42d67595 type Restaurant
_:system greeted _:user
_:system canthelp _:search/08bffd60
_:search/08bffd60 food afghan
_:search/08bffd60 type Restaurant
_:system canthelp _:search/42d67595
_:search/42d67595 area centre
_:search/42d67595 food vietnamese
_:search/42d67595 type Restaurant
_:system canthelp _:search/6e67145b
_:search/6e67145b area centre
_:search/6e67145b food vietnamese
_:search/6e67145b type Restaurant
_:search area *
_:search food vietnamese
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/08bffd60
_:search/08bffd60 food afghan
_:search/08bffd60 type Restaurant
_:system canthelp _:search/42d67595
_:search/42d67595 area centre
_:search/42d67595 food vietnamese
_:search/42d67595 type Restaurant
_:system canthelp _:search/6e67145b
_:search/6e67145b area centre
_:search/6e67145b food vietnamese
_:search/6e67145b type Restaurant
_:search area *
_:search food vietnamese
_:search type Restaurant
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:system greeted _:user
_:system canthelp _:search/08bffd60
_:search/08bffd60 food afghan
_:search/08bffd60 type Restaurant
_:system canthelp _:search/42d67595
_:search/42d67595 area centre
_:search/42d67595 food vietnamese
_:search/42d67595 type Restaurant
_:system canthelp _:search/6e67145b
_:search/6e67145b area centre
_:search/6e67145b food vietnamese
_:search/6e67145b type Restaurant
_:search area *
_:search food vietnamese
_:search type Restaurant
_:result food vietnamese
_:result pricerange cheap
_:result name thanh binh
_:result type Restaurant
_:result pricerange ?
_:system greeted _:user
_:system canthelp _:search/08bffd60
_:search/08bffd60 food afghan
_:search/08bffd60 type Restaurant
_:system canthelp _:search/42d67595
_:search/42d67595 area centre
_:search/42d67595 food vietnamese
_:search/42d67595 type Restaurant
_:system canthelp _:search/6e67145b
_:search/6e67145b area centre
_:search/6e67145b food vietnamese
_:search/6e67145b type Restaurant
_:search area *
_:search food vietnamese
_:search type Restaurant
_:result food vietnamese
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:system canthelp _:search/08bffd60
_:search/08bffd60 food afghan
_:search/08bffd60 type Restaurant
_:system canthelp _:search/42d67595
_:search/42d67595 area centre
_:search/42d67595 food vietnamese
_:search/42d67595 type Restaurant
_:system canthelp _:search/6e67145b
_:search/6e67145b area centre
_:search/6e67145b food vietnamese
_:search/6e67145b type Restaurant
_:search area *
_:search food vietnamese
_:search type Restaurant
_:result food vietnamese
_:result pricerange cheap
_:result name thanh binh
_:result phone 01223 362456
_:result type Restaurant
_:user thanked _:system
_:system greeted _:user
_:system canthelp _:search/08bffd60
_:search/08bffd60 food afghan
_:search/08bffd60 type Restaurant
_:system canthelp _:search/42d67595
_:search/42d67595 area centre
_:search/42d67595 food vietnamese
_:search/42d67595 type Restaurant
_:system canthelp _:search/6e67145b
_:search/6e67145b area centre
_:search/6e67145b food vietnamese
_:search/6e67145b type Restaurant
_:search area *
_:search food vietnamese
_:search type Restaurant
_:result food vietnamese
_:result pricerange cheap
_:result phone 01223 362456
_:result name thanh binh
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system