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,type,'Restaurant'))
user
im looking for a restaurant in the west part of town that serves halo food
canthelp((_:search,food,'world');(_:search,type,'Restaurant'))
system
I am sorry but there is no world restaurant that matches your request
reqalts() inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
how about thai food
inform((_:result,food,'north american');(_:result,name,'gourmet burger kitchen');(_:result,type,'Restaurant'))
system
gourmet burger kitchen serves north american food .
negate() reqalts() inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
no what about thai food
request((_:search,pricerange,?);(_:search,type,'Restaurant'))
system
Would you like something in the cheap , moderate , or expensive price range?
inform((_:search,pricerange,*);(_:search,type,'Restaurant'))
user
i dont care
inform((_:result,name,'gourmet burger kitchen');(_:result,type,'Restaurant'))
system
gourmet burger kitchen is a great restaurant
confirm((_:result,area,'west');(_:result,type,'Restaurant'))
user
is it in the west part of town
inform((_:result,area,'west');(_:result,food,'european');(_:result,name,'cambridge lodge restaurant');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
cambridge lodge restaurant is a nice restaurant in the west of town serving european food
inform((_:search,area,'west');(_:search,food,'thai');(_:search,type,'Restaurant'))
user
i want a restaurant in the west part of town serving thai food
inform((_:result,area,'west');(_:result,name,'cambridge lodge restaurant');(_:result,type,'Restaurant'))
system
cambridge lodge restaurant is in the west part of town .
confirm((_:result,food,'thai');(_:result,type,'Restaurant'))
user
does it serve thai food
inform((_:result,area,'west');(_:result,food,'thai');(_:result,name,'sala thong');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
sala thong is a nice restaurant in the west of town serving thai food
request((_:result,address,?);(_:result,phone,?);(_:result,pricerange,?);(_:result,type,'Restaurant'))
user
what is the address phone number and the price range
inform((_:result,address,'35 newnham road newnham');(_:result,name,'sala thong');(_:result,type,'Restaurant'))
system
Sure , sala thong is on 35 Newnham Road Newnham
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
what is the phone number
inform((_:result,name,'sala thong');(_:result,phone,'01223 323178');(_:result,type,'Restaurant'))
system
The phone number of sala thong is 01223 323178 .
request((_:result,pricerange,?);(_:result,type,'Restaurant'))
user
and what is the price range
inform((_:result,name,'sala thong');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
sala thong is in the expensive price range
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search area west
_:search type Restaurant
_:system greeted _:user
_:search area west
_:system canthelp _:search/eab9e0f3
_:search/eab9e0f3 food world
_:search/eab9e0f3 type Restaurant
_:user inquired _:system
_:search food thai
_:search type Restaurant
_:system greeted _:user
_:search area west
_:system canthelp _:search/eab9e0f3
_:search/eab9e0f3 food world
_:search/eab9e0f3 type Restaurant
_:user denied _:result/6d5032a9
_:result/6d5032a9 food north american
_:result/6d5032a9 name gourmet burger kitchen
_:result/6d5032a9 type Restaurant
_:user inquired _:system
_:search food thai
_:search type Restaurant
_:system greeted _:user
_:search area west
_:system canthelp _:search/eab9e0f3
_:search/eab9e0f3 food world
_:search/eab9e0f3 type Restaurant
_:user denied _:result/6d5032a9
_:result/6d5032a9 food north american
_:result/6d5032a9 name gourmet burger kitchen
_:result/6d5032a9 type Restaurant
_:user inquired _:system
_:search food thai
_:search pricerange *
_:search type Restaurant
_:system greeted _:user
_:search area west
_:system canthelp _:search/eab9e0f3
_:search/eab9e0f3 food world
_:search/eab9e0f3 type Restaurant
_:user denied _:result/6d5032a9
_:result/6d5032a9 food north american
_:result/6d5032a9 name gourmet burger kitchen
_:result/6d5032a9 type Restaurant
_:user inquired _:system
_:search food thai
_:search pricerange *
_:search type Restaurant
_:result name gourmet burger kitchen
_:result area west
_:result type Restaurant
_:system greeted _:user
_:system canthelp _:search/eab9e0f3
_:search/eab9e0f3 food world
_:search/eab9e0f3 type Restaurant
_:user denied _:result/6d5032a9
_:result/6d5032a9 food north american
_:result/6d5032a9 name gourmet burger kitchen
_:result/6d5032a9 type Restaurant
_:user inquired _:system
_:search pricerange *
_:result area west
_:result food european
_:result name cambridge lodge restaurant
_:result pricerange expensive
_:result type Restaurant
_:search area west
_:search food thai
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/eab9e0f3
_:search/eab9e0f3 food world
_:search/eab9e0f3 type Restaurant
_:user denied _:result/6d5032a9
_:result/6d5032a9 food north american
_:result/6d5032a9 name gourmet burger kitchen
_:result/6d5032a9 type Restaurant
_:user inquired _:system
_:search pricerange *
_:result pricerange expensive
_:search area west
_:search food thai
_:search type Restaurant
_:result area west
_:result name cambridge lodge restaurant
_:result food thai
_:result type Restaurant
_:system greeted _:user
_:system canthelp _:search/eab9e0f3
_:search/eab9e0f3 food world
_:search/eab9e0f3 type Restaurant
_:user denied _:result/6d5032a9
_:result/6d5032a9 food north american
_:result/6d5032a9 name gourmet burger kitchen
_:result/6d5032a9 type Restaurant
_:user inquired _:system
_:search pricerange *
_:search area west
_:search food thai
_:search type Restaurant
_:result area west
_:result food thai
_:result name sala thong
_:result pricerange expensive
_:result type Restaurant
_:result address ?
_:result phone ?
_:result pricerange ?
_:system greeted _:user
_:system canthelp _:search/eab9e0f3
_:search/eab9e0f3 food world
_:search/eab9e0f3 type Restaurant
_:user denied _:result/6d5032a9
_:result/6d5032a9 food north american
_:result/6d5032a9 name gourmet burger kitchen
_:result/6d5032a9 type Restaurant
_:user inquired _:system
_:search pricerange *
_:search area west
_:search food thai
_:search type Restaurant
_:result area west
_:result food thai
_:result pricerange expensive
_:result phone ?
_:result pricerange ?
_:result address 35 newnham road newnham
_:result name sala thong
_:result type Restaurant
_:system greeted _:user
_:system canthelp _:search/eab9e0f3
_:search/eab9e0f3 food world
_:search/eab9e0f3 type Restaurant
_:user denied _:result/6d5032a9
_:result/6d5032a9 food north american
_:result/6d5032a9 name gourmet burger kitchen
_:result/6d5032a9 type Restaurant
_:user inquired _:system
_:search pricerange *
_:search area west
_:search food thai
_:search type Restaurant
_:result area west
_:result food thai
_:result pricerange expensive
_:result pricerange ?
_:result address 35 newnham road newnham
_:result name sala thong
_:result phone 01223 323178
_:result type Restaurant
_:system greeted _:user
_:system canthelp _:search/eab9e0f3
_:search/eab9e0f3 food world
_:search/eab9e0f3 type Restaurant
_:user denied _:result/6d5032a9
_:result/6d5032a9 food north american
_:result/6d5032a9 name gourmet burger kitchen
_:result/6d5032a9 type Restaurant
_:user inquired _:system
_:search pricerange *
_:search area west
_:search food thai
_:search type Restaurant
_:result area west
_:result food thai
_:result address 35 newnham road newnham
_:result phone 01223 323178
_:result name sala thong
_:result pricerange expensive
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system