inform((_:search,food,'swiss');(_:search,type,'Restaurant'))
user
Hello .   I 'm trying to find a restaurant that serves Swiss food .   Can you recommend anything to me ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
Unfortunately there are no restaurants that serve Swiss food in this area . Would you consider trying a different cuisine ?
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
Oh okay . What are my choices for British food then ?
inform((_:result,address,'183 East Road City Centre');(_:result,amount,'several');(_:result,food,'British');(_:result,name,'Cotto');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
There are several restaurants that serve British food in this area . Cotto has great food in a moderate price range . It is located at 183 East Road City Centre .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
What is the phone number ?
inform((_:result,phone,'01223 302010');(_:result,type,'Restaurant'))
system
Their phone number is 01223 302010 .
thank()
user
Thank you , goodbye .
system
Thank you . Good bye
_:search food swiss
_:search type Restaurant
_:system canthelp _:search/5726bbb4
_:search/5726bbb4 type Restaurant
_:search food british
_:search type Restaurant
_:system canthelp _:search/5726bbb4
_:search/5726bbb4 type Restaurant
_:search food british
_:search type Restaurant
_:result address 183 East Road City Centre
_:result amount several
_:result food British
_:result name Cotto
_:result pricerange moderate
_:result type Restaurant
_:result phone ?
_:system canthelp _:search/5726bbb4
_:search/5726bbb4 type Restaurant
_:search food british
_:search type Restaurant
_:result address 183 East Road City Centre
_:result amount several
_:result food British
_:result name Cotto
_:result pricerange moderate
_:result phone 01223 302010
_:result type Restaurant