inform((_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I am looking for a cheap restaurant .
inform((_:result,amount,'several');(_:result,area,'centre');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
There are several cheap restaurants located in the centre part of town .
inform((_:search,food,'spanish');(_:search,type,'Restaurant'))
user
Do any serve spanish food ?
inform((_:result,food,'Spanish');(_:result,name,'La Raza');(_:result,type,'Restaurant'))
system
Yes , La Raza serves Spanish food .   Would you like their phone number ?
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
No , I would like the address and the post code please .
inform((_:result,address,'4 - 6 Rose Crescent');(_:result,name,'La Raza');(_:result,postcode,'3 L.L');(_:result,postcode,'C.B 2');(_:result,type,'Restaurant'))
system
La Raza is located at 4 - 6 Rose Crescent , their postcode is C.B 2 , 3 L.L
thank()
user
Thank you , goodbye .
system
Thank you for using this system
_:search pricerange cheap
_:search type Restaurant
_:search pricerange cheap
_:result amount several
_:result area centre
_:result pricerange cheap
_:result type Restaurant
_:search food spanish
_:search type Restaurant
_:search pricerange cheap
_:result amount several
_:result area centre
_:result pricerange cheap
_:search food spanish
_:search type Restaurant
_:result food Spanish
_:result name La Raza
_:result type Restaurant
_:result address ?
_:result postcode ?
_:search pricerange cheap
_:result amount several
_:result area centre
_:result pricerange cheap
_:search food spanish
_:search type Restaurant
_:result food Spanish
_:result address 4 - 6 Rose Crescent
_:result name La Raza
_:result postcode 3 L.L
_:result postcode C.B 2
_:result type Restaurant