inform((_:search,area,'south');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I would like an expensive restaurant in the south part of town
inform((_:result,area,'south');(_:result,food,'Mexican');(_:result,name,'Chiquito restaurant bar');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Chiquito restaurant bar is a Mexican restaurant located in the south part of town and the price range is expensive .    Would you like their address ?
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Sounds great . What is their phone number ?
reqmore() inform((_:result,phone,'01223 400170');(_:result,type,'Restaurant'))
system
Their number is 01223 400170 . Is there anything else I can do for you ?
thank()
user
Thank you goodbye .
bye() thank()
system
Thank you for using our system . Good bye
bye()
user
Bye bye .
system
You hang up first , sir !
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:result area south
_:result food Mexican
_:result name Chiquito restaurant bar
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:result area south
_:result food Mexican
_:result name Chiquito restaurant bar
_:result pricerange expensive
_:system inquired _:user
_:result phone 01223 400170
_:result type Restaurant
_:search area south
_:search pricerange expensive
_:search type Restaurant
_:result area south
_:result food Mexican
_:result name Chiquito restaurant bar
_:result pricerange expensive
_:system inquired _:user
_:result phone 01223 400170
_:result type Restaurant
_:system dismissed _:user
_:user dismissed _:system