inform((_:search,food,'belgian');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I am looking for a restaurant in the expensive price range that serves Belgian food .
request((_:search,food,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
I have nothing available meeting your request , would you like to try a different price range or another type of cuisine ?
inform((_:search,food,'european');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Yes , is there any expensive European eateries ?
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,count,'4');(_:result,food,'european');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Yes , there are 4 expensive restaurants serving european food . Which area would you like ?
request((_:result,address,?);(_:result,type,'Restaurant'))
user
What is the address of the restaurant ?
inform((_:result,address,"St. Michael 's Church Trinity Street City Centre");(_:result,name,'Michaelhouse Cafe');(_:result,type,'Restaurant'))
system
Michaelhouse Cafe is at St. Michael 's Church Trinity Street City Centre . How does that sound ?
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
What is its phone number ?
inform((_:result,phone,'01223 309147');(_:result,type,'Restaurant'))
system
The phone number is 01223 309147 .
request((_:result,area,?);(_:result,type,'Restaurant'))
user
Okay , thanks . And what area is it in please ?
inform((_:result,area,'centre');(_:result,type,'Restaurant'))
system
It is in the centre part of town .
thank()
user
That 's good , thanks .
reqmore()
system
Would you like anything else ?
thank()
user
That 's all . Thank you , goodbye !
system
your welcome . thanks for calling
_:search food belgian
_:search pricerange expensive
_:search type Restaurant
_:system canthelp _:search/8a2e1308
_:search/8a2e1308 type Restaurant
_:search food european
_:search pricerange expensive
_:search type Restaurant
_:system canthelp _:search/8a2e1308
_:search/8a2e1308 type Restaurant
_:search food european
_:search pricerange expensive
_:search area ?
_:search type Restaurant
_:result count 4
_:result food european
_:result pricerange expensive
_:result type Restaurant
_:result address ?
_:system canthelp _:search/8a2e1308
_:search/8a2e1308 type Restaurant
_:search food european
_:search pricerange expensive
_:search area ?
_:search type Restaurant
_:result count 4
_:result food european
_:result pricerange expensive
_:result address St. Michael 's Church Trinity Street City Centre
_:result name Michaelhouse Cafe
_:result type Restaurant
_:result phone ?
_:system canthelp _:search/8a2e1308
_:search/8a2e1308 type Restaurant
_:search food european
_:search pricerange expensive
_:search area ?
_:search type Restaurant
_:result count 4
_:result food european
_:result pricerange expensive
_:result address St. Michael 's Church Trinity Street City Centre
_:result name Michaelhouse Cafe
_:result phone 01223 309147
_:result type Restaurant
_:result area ?
_:system canthelp _:search/8a2e1308
_:search/8a2e1308 type Restaurant
_:search food european
_:search pricerange expensive
_:search area ?
_:search type Restaurant
_:result count 4
_:result food european
_:result pricerange expensive
_:result address St. Michael 's Church Trinity Street City Centre
_:result name Michaelhouse Cafe
_:result phone 01223 309147
_:result area centre
_:result type Restaurant
_:system canthelp _:search/8a2e1308
_:search/8a2e1308 type Restaurant
_:search food european
_:search pricerange expensive
_:search area ?
_:search type Restaurant
_:result count 4
_:result food european
_:result pricerange expensive
_:result address St. Michael 's Church Trinity Street City Centre
_:result name Michaelhouse Cafe
_:result phone 01223 309147
_:result area centre
_:result type Restaurant
_:system inquired _:user