inform((_:search,area,'centre');(_:search,food,'halal');(_:search,type,'Restaurant'))
user
Is there a restaurant in the centre of town serving halal food ?
canthelp((_:search,type,'Restaurant')) inform((_:result,area,'center');(_:result,food,'Halal');(_:result,type,'Restaurant'))
system
No , there are no restaurants in the center of town serving Halal food .
inform((_:search,area,'centre');(_:search,food,'spanish');(_:search,type,'Restaurant'))
user
Is there any restaurant in the centre serving spanish food ?
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'2');(_:result,food,'Spanish');(_:result,type,'Restaurant'))
system
There are two Spanish restaurants in the city centre . What price range are you looking for ?
inform((_:search,pricerange,'dontcare');(_:search,type,'Restaurant'))
user
I do n't care .
inform((_:result,area,'centre');(_:result,name,'La Raza');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
La Raza is located int he centre of town and is in the cheap price range .
inform((_:search,name,'la raza');(_:search,type,'Restaurant')) request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
La Raza sounds lovely . May I have the number and postcode please ?
reqmore() inform((_:result,phone,'01223 464550');(_:result,postcode,'3 L.L.');(_:result,postcode,'C.B 2');(_:result,type,'Restaurant'))
system
Of course ! Their number is 01223 464550 and their postcode is C.B 2 , 3 L.L. Is there anything else I can do for you ?
thank()
user
No , thank you , I have all I need .   Goodbye !
bye()
system
Good bye . It was a pleasure to assist you .
bye()
user
Again , goodbye !
system
Goodbye .
_:search area centre
_:search food halal
_:search type Restaurant
_:system canthelp _:search/e80862bc
_:search/e80862bc type Restaurant
_:result area center
_:result food Halal
_:result type Restaurant
_:search area centre
_:search food spanish
_:search type Restaurant
_:system canthelp _:search/e80862bc
_:search/e80862bc type Restaurant
_:search area centre
_:search food spanish
_:result area centre
_:result count 2
_:result food Spanish
_:result type Restaurant
_:search pricerange dontcare
_:search type Restaurant
_:system canthelp _:search/e80862bc
_:search/e80862bc type Restaurant
_:search area centre
_:search food spanish
_:result count 2
_:result food Spanish
_:search pricerange dontcare
_:result area centre
_:result name La Raza
_:result pricerange cheap
_:result type Restaurant
_:search name la raza
_:search type Restaurant
_:result postcode ?
_:system canthelp _:search/e80862bc
_:search/e80862bc type Restaurant
_:search area centre
_:search food spanish
_:result count 2
_:result food Spanish
_:search pricerange dontcare
_:result area centre
_:result name La Raza
_:result pricerange cheap
_:search name la raza
_:search type Restaurant
_:system inquired _:user
_:result phone 01223 464550
_:result postcode 3 L.L.
_:result postcode C.B 2
_:result type Restaurant
_:system canthelp _:search/e80862bc
_:search/e80862bc type Restaurant
_:search area centre
_:search food spanish
_:result count 2
_:result food Spanish
_:search pricerange dontcare
_:result area centre
_:result name La Raza
_:result pricerange cheap
_:search name la raza
_:search type Restaurant
_:system inquired _:user
_:result phone 01223 464550
_:result postcode 3 L.L.
_:result postcode C.B 2
_:result type Restaurant
_:system dismissed _:user
_:user dismissed _:system