inform((_:search,area,'north');(_:search,food,'korean');(_:search,type,'Restaurant'))
user
I would like a restaurant in the north part of town that serves korean food
canthelp((_:search,type,'Restaurant')) reqmore() inform((_:result,area,'north');(_:result,food,'Korean');(_:result,type,'Restaurant'))
system
I 'm sorry , there are no Korean restaurants in the north part of town . Can I help you find anything else ?
inform((_:search,area,'dontcare');(_:search,type,'Restaurant'))
user
How about any area ?
inform((_:result,area,'centre');(_:result,food,'korean');(_:result,name,'little seoul');(_:result,type,'Restaurant'))
system
little seoul is in the centre and serves korean food
request((_:result,address,?);(_:result,pricerange,?);(_:result,type,'Restaurant'))
user
What is the address and price range ?
inform((_:result,address,'108 Regent Street City Centre');(_:result,name,'Little Seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Little Seoul is at 108 Regent Street City Centre and is an expensive restaurant .   Do you want the phone number ?
thank()
user
No thank you , goodbye .
system
Thank you for using our system . Good bye
_:search area north
_:search food korean
_:search type Restaurant
_:search food korean
_:system canthelp _:search/253466f1
_:search/253466f1 type Restaurant
_:system inquired _:user
_:result area north
_:result food Korean
_:result type Restaurant
_:search area dontcare
_:search type Restaurant
_:search food korean
_:system canthelp _:search/253466f1
_:search/253466f1 type Restaurant
_:system inquired _:user
_:search area dontcare
_:search type Restaurant
_:result area centre
_:result food korean
_:result name little seoul
_:result type Restaurant
_:result address ?
_:result pricerange ?
_:search food korean
_:system canthelp _:search/253466f1
_:search/253466f1 type Restaurant
_:system inquired _:user
_:search area dontcare
_:search type Restaurant
_:result area centre
_:result food korean
_:result address 108 Regent Street City Centre
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant