inform((_:search,food,'swiss');(_:search,type,'Restaurant'))
user
I would like a restaurant that serves swiss food
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant')) inform((_:result,food,'Swiss');(_:result,type,'Restaurant'))
system
I 'm sorry , we do not have any Swiss restaurants available .   Do you want to try a different type of food ?
inform((_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
I would like to try vietnamese food
inform((_:result,food,'vietnamese');(_:result,name,'Thanh Binh');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
Thanh Binh is a good vietnamese restaurant in the cheap price range
request((_:result,address,?);(_:result,type,'Restaurant'))
user
What is the address ?
inform((_:result,address,'17 Magdalene Street City Centre');(_:result,type,'Restaurant'))
system
17 Magdalene Street City Centre
bye()
user
OK thank you . Good bye .
system
Thank you for using our system . Good bye
_:search food swiss
_:search type Restaurant
_:system canthelp _:search/57d3b3e7
_:search/57d3b3e7 type Restaurant
_:result food Swiss
_:result type Restaurant
_:search food vietnamese
_:search type Restaurant
_:system canthelp _:search/57d3b3e7
_:search/57d3b3e7 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result type Restaurant
_:result address ?
_:system canthelp _:search/57d3b3e7
_:search/57d3b3e7 type Restaurant
_:search food vietnamese
_:search type Restaurant
_:result food vietnamese
_:result name Thanh Binh
_:result pricerange cheap
_:result address 17 Magdalene Street City Centre
_:result type Restaurant
_:user dismissed _:system