inform((_:search,food,'mediterranean');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
expensive mediterranean restaurant please
inform((_:result,area,'centre');(_:result,food,'mediterranean');(_:result,name,'La mimosa');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
La mimosa is an expensive mediterranean restaurant in the centre part of town .   Would you like their location ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
What is the phone number and postcode ?
inform((_:result,name,'La Mimosa');(_:result,phone,'01223 362525');(_:result,postcode,'CB58AQ');(_:result,type,'Restaurant'))
system
The phone number for La Mimosa is 01223 362525 , and the postcode is CB58AQ .
bye()
user
Thank you good bye .
bye()
system
thank you for using our system . good bye
thank()
user
Thank you , goodbye .
system
Thank you for using our system and have a great day !
_:search food mediterranean
_:search pricerange expensive
_:search type Restaurant
_:search food mediterranean
_:search pricerange expensive
_:search type Restaurant
_:result area centre
_:result food mediterranean
_:result name La mimosa
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:search food mediterranean
_:search pricerange expensive
_:search type Restaurant
_:result area centre
_:result food mediterranean
_:result pricerange expensive
_:result name La Mimosa
_:result phone 01223 362525
_:result postcode CB58AQ
_:result type Restaurant
_:user dismissed _:system
_:search food mediterranean
_:search pricerange expensive
_:search type Restaurant
_:result area centre
_:result food mediterranean
_:result pricerange expensive
_:result name La Mimosa
_:result phone 01223 362525
_:result postcode CB58AQ
_:result type Restaurant
_:user dismissed _:system
_:system dismissed _:user