inform((_:search,food,'irish');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
i would like an expensive restaurant that serves irish food
canthelp((_:search,type,'Restaurant'))
system
there are no matches for that search
inform((_:search,food,'modern european');(_:search,type,'Restaurant'))
user
How about modern european food ?
inform((_:result,area,'centre');(_:result,name,'darrys cookhouse and wine shop');(_:result,type,'Restaurant'))
system
There 's darrys cookhouse and wine shop , located in the centre of town . Would you like their information ?
request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
Yes please , I would like the address and the phone number .
inform((_:result,address,'40270 King Street City Centre');(_:result,name,'Darrys Cookhouse and Wine Shop');(_:result,phone,'01223 505015');(_:result,type,'Restaurant'))
system
Darrys Cookhouse and Wine Shop is located at 40270 King Street City Centre . Their phone number is 01223 505015 .
thank()
user
Thank you .   Goodbye !
thank() reqmore()
system
you are welcome is there anything else i can help you with ?
thank()
user
No , thank you . Goodbye .
system
Have a nice day !
_:search food irish
_:search pricerange expensive
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/1b4a92d5
_:search/1b4a92d5 type Restaurant
_:search food modern european
_:search type Restaurant
_:search pricerange expensive
_:system canthelp _:search/1b4a92d5
_:search/1b4a92d5 type Restaurant
_:search food modern european
_:search type Restaurant
_:result area centre
_:result name darrys cookhouse and wine shop
_:result type Restaurant
_:result address ?
_:result phone ?
_:search pricerange expensive
_:system canthelp _:search/1b4a92d5
_:search/1b4a92d5 type Restaurant
_:search food modern european
_:search type Restaurant
_:result area centre
_:result address 40270 King Street City Centre
_:result name Darrys Cookhouse and Wine Shop
_:result phone 01223 505015
_:result type Restaurant
_:search pricerange expensive
_:system canthelp _:search/1b4a92d5
_:search/1b4a92d5 type Restaurant
_:search food modern european
_:search type Restaurant
_:result area centre
_:result address 40270 King Street City Centre
_:result name Darrys Cookhouse and Wine Shop
_:result phone 01223 505015
_:result type Restaurant
_:system inquired _:user