inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
is there a restaurant in the Centre ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,area,'centre');(_:result,type,'Restaurant'))
system
There are several restaurants located in the centre , which kind of food do you prefer ?
inform((_:search,food,'korean');(_:search,type,'Restaurant'))
user
I would like one serving korean food , possible .
reqmore() inform((_:result,area,'centre');(_:result,food,'Korean');(_:result,name,'Little Seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Little Seoul serves Korean food in the city 's centre .   It is expensive but very classy .   Would you like to know more about it ?
request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
Can I get the address and phone number ?
inform((_:result,address,'108 Regent Street City Centre');(_:result,name,"Little Seoul 's");(_:result,phone,'01223 308681');(_:result,type,'Restaurant'))
system
Little Seoul 's address is 108 Regent Street City Centre . Their phone number is 01223 308681 .
thank()
user
Thank you , goodbye .
system
Goodbye and have a nice day .
_:search area centre
_:search type Restaurant
_:search area centre
_:result amount several
_:result area centre
_:result type Restaurant
_:search food korean
_:search type Restaurant
_:search area centre
_:result amount several
_:search food korean
_:search type Restaurant
_:system inquired _:user
_:result area centre
_:result food Korean
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant
_:result address ?
_:result phone ?
_:search area centre
_:result amount several
_:search food korean
_:search type Restaurant
_:system inquired _:user
_:result area centre
_:result food Korean
_:result pricerange expensive
_:result address 108 Regent Street City Centre
_:result name Little Seoul 's
_:result phone 01223 308681
_:result type Restaurant