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,'kosher');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
expensive restaurant serving kosher food
canthelp((_:search,food,'kosher');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving kosher food
inform((_:search,food,'modern european');(_:search,type,'Restaurant'))
user
modern european food
inform((_:result,food,'modern european');(_:result,name,'darrys cookhouse and wine shop');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
darrys cookhouse and wine shop serves modern european food in the expensive price range
request((_:result,address,?);(_:result,type,'Restaurant'))
user
whats the address
inform((_:result,address,'40270 king street city centre');(_:result,name,'darrys cookhouse and wine shop');(_:result,type,'Restaurant'))
system
Sure , darrys cookhouse and wine shop is on 40270 King Street City Centre
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
phone number
inform((_:result,name,'darrys cookhouse and wine shop');(_:result,phone,'01223 505015');(_:result,type,'Restaurant'))
system
The phone number of darrys cookhouse and wine shop is 01223 505015 .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search food kosher
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:system canthelp _:search/31ff4a00
_:search/31ff4a00 food kosher
_:search/31ff4a00 type Restaurant
_:search food modern european
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:system canthelp _:search/31ff4a00
_:search/31ff4a00 food kosher
_:search/31ff4a00 type Restaurant
_:search food modern european
_:search type Restaurant
_:result food modern european
_:result name darrys cookhouse and wine shop
_:result pricerange expensive
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search pricerange expensive
_:system canthelp _:search/31ff4a00
_:search/31ff4a00 food kosher
_:search/31ff4a00 type Restaurant
_:search food modern european
_:search type Restaurant
_:result food modern european
_:result pricerange expensive
_:result address 40270 king street city centre
_:result name darrys cookhouse and wine shop
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search pricerange expensive
_:system canthelp _:search/31ff4a00
_:search/31ff4a00 food kosher
_:search/31ff4a00 type Restaurant
_:search food modern european
_:search type Restaurant
_:result food modern european
_:result pricerange expensive
_:result address 40270 king street city centre
_:result name darrys cookhouse and wine shop
_:result phone 01223 505015
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system