inform((_:search,area,'south');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Are there any cheap restaurants in the south part of town ?
select((_:result,food,'Chinese');(_:result,food,'Portuguese');(_:result,type,'Restaurant')) inform((_:result,area,'South');(_:result,count,'2');(_:result,food,'cheap');(_:result,type,'Restaurant'))
system
There are two choices in the South area serving cheap food . Do you prefer Portuguese or Chinese ?
user
I do not have a preference .
reqmore() inform((_:result,food,'Chinese');(_:result,food,'Portuguese');(_:result,name,'Lucky Star');(_:result,name,'Nandos');(_:result,type,'Restaurant'))
system
Nandos is the Portuguese place , and The Lucky Star is Chinese .   Would you like more information on one or both of those ?
inform((_:search,name,'nandos');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
Please give me the address and phone number for Nandos .
reqmore() inform((_:result,address,'Cambridge Leisure Park Clifton Way');(_:result,name,'Nandos');(_:result,phone,'01223 327908');(_:result,type,'Restaurant'))
system
Nandos is located at Cambridge Leisure Park Clifton Way and their number is 01223 327908 . Is there anything else I can do for you today ?
bye()
user
No , thank you . Good bye .
system
Thank you for choosing our system . Good bye
_:search area south
_:search pricerange cheap
_:search type Restaurant
_:search area south
_:search pricerange cheap
_:search type Restaurant
_:result area South
_:result count 2
_:result food cheap
_:result type Restaurant
_:search area south
_:search pricerange cheap
_:result area South
_:result count 2
_:system inquired _:user
_:result food Chinese
_:result food Portuguese
_:result name Lucky Star
_:result name Nandos
_:result type Restaurant
_:search name nandos
_:search type Restaurant
_:result address ?
_:result phone ?
_:search area south
_:search pricerange cheap
_:result area South
_:result count 2
_:result food Chinese
_:result food Portuguese
_:search name nandos
_:search type Restaurant
_:system inquired _:user
_:result address Cambridge Leisure Park Clifton Way
_:result name Nandos
_:result phone 01223 327908
_:result type Restaurant
_:user dismissed _:system