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
im looking for something cheap
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,'west');(_:search,type,'Restaurant'))
user
the west side
inform((_:result,area,'west');(_:result,name,'thanh binh');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
thanh binh is a nice restaurant in the west of town in the cheap price range
request((_:result,food,?);(_:result,type,'Restaurant'))
user
what type of food is it
inform((_:result,food,'vietnamese');(_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh serves vietnamese food
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
could i have its number
inform((_:result,area,'west');(_:result,name,'thanh binh');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
thanh binh is a nice restaurant in the west of town in the cheap price range
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
could have its 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 pricerange cheap
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search area west
_:search type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search area west
_:search type Restaurant
_:result area west
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:result food ?
_:system greeted _:user
_:search pricerange cheap
_:search area west
_:search type Restaurant
_:result area west
_:result pricerange cheap
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search pricerange cheap
_:search area west
_:search type Restaurant
_:result food vietnamese
_:result phone ?
_:result area west
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:system greeted _:user
_:search pricerange cheap
_:search area west
_:search type Restaurant
_:result food vietnamese
_:result area west
_:result pricerange cheap
_:result name thanh binh
_:result phone 01223 362456
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system