inform((_:search,area,'centre');(_:search,food,'japanese');(_:search,type,'Restaurant'))
user
I want to find a restaurant in the centre and serving japanese food .
inform((_:result,area,'center');(_:result,food,'Japanese');(_:result,pricerange,'pretty expensive');(_:result,type,'Restaurant'))
system
There 's a very nice Japanese restaurant in the center of town , it 's pretty expensive .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
That 's OK because it 's for a special occasion . Can you give me the phone number ?
reqmore() inform((_:result,phone,'01223462354');(_:result,type,'Restaurant'))
system
Yes ,   It 's 01223462354 .   What else can I help you with ?
thank()
user
No thank you , goodbye
system
You 're welcome .   Good bye .
_:search area centre
_:search food japanese
_:search type Restaurant
_:search area centre
_:search food japanese
_:search type Restaurant
_:result area center
_:result food Japanese
_:result pricerange pretty expensive
_:result type Restaurant
_:result phone ?
_:search area centre
_:search food japanese
_:search type Restaurant
_:result area center
_:result food Japanese
_:result pricerange pretty expensive
_:system inquired _:user
_:result phone 01223462354
_:result type Restaurant