inform((_:search,food,'swiss');(_:search,type,'Restaurant'))
user
Where can I get Swiss food in town ?
canthelp((_:search,type,'Restaurant')) inform((_:result,food,'Swiss');(_:result,type,'Restaurant'))
system
There are no venues serving Swiss food .
inform((_:search,food,'indian');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
How about Indian food ? Can I have the address and phone number ?
reqmore() inform((_:result,address,'71 castle street city centre');(_:result,food,'indian');(_:result,name,'cocum');(_:result,phone,'01223 366668');(_:result,type,'Restaurant'))
system
cocum serves indian food . its address is 71 castle street city centre and the phone number is 01223 366668 , is there anything else I can help you with ?
thank()
user
No .   Thank you , goodbye .
system
Thank you , goodbye .
_:search food swiss
_:search type Restaurant
_:system canthelp _:search/07020c67
_:search/07020c67 type Restaurant
_:result food Swiss
_:result type Restaurant
_:search food indian
_:search type Restaurant
_:result address ?
_:result phone ?
_:system canthelp _:search/07020c67
_:search/07020c67 type Restaurant
_:search food indian
_:search type Restaurant
_:system inquired _:user
_:result address 71 castle street city centre
_:result food indian
_:result name cocum
_:result phone 01223 366668
_:result type Restaurant