inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
Hello .   Can you please recommend a Korean restaurant for me ?
inform((_:result,area,'centre');(_:result,food,'Korean');(_:result,name,'Little Seoul');(_:result,pricerange,'epensive');(_:result,type,'Restaurant'))
system
Little Seoul is a Korean restaurant in the epensive price range .   It is located in the centre area .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
What is their phone number
inform((_:result,phone,'01223 308681');(_:result,type,'Restaurant'))
system
the phone number is 01223 308681
request((_:result,address,?);(_:result,type,'Restaurant'))
user
What is the address ?
reqmore() inform((_:result,address,'108 Regent Street City Centre');(_:result,name,'Little Seoul');(_:result,type,'Restaurant'))
system
Little Seoul is located at 108 Regent Street City Centre . Is there anything else I can do for you today ?
thank()
user
Thank you , goodbye .
system
Goodbye !
_:search food korean
_:search type Restaurant
_:search food korean
_:search type Restaurant
_:result area centre
_:result food Korean
_:result name Little Seoul
_:result pricerange epensive
_:result type Restaurant
_:result phone ?
_:search food korean
_:search type Restaurant
_:result area centre
_:result food Korean
_:result name Little Seoul
_:result pricerange epensive
_:result phone 01223 308681
_:result type Restaurant
_:result address ?
_:search food korean
_:search type Restaurant
_:result area centre
_:result food Korean
_:result pricerange epensive
_:result phone 01223 308681
_:system inquired _:user
_:result address 108 Regent Street City Centre
_:result name Little Seoul
_:result type Restaurant