inform((_:search,area,'centre');(_:search,food,'european');(_:search,type,'Restaurant'))
user
I 'm looking to have some European food tonight for dinner .   Something very traditional in the centre of town should be good .   Can I get a list of options ?
inform((_:result,count,'8');(_:result,name,'Eraina');(_:result,name,'Michaelhouse cafe');(_:result,name,'darrys cookhouse and wine shop');(_:result,name,'de luca cucina and bar');(_:result,name,'galleria');(_:result,name,'hotel du vin and bistro');(_:result,name,'riverside brasserie');(_:result,name,'the river bar steakhouse and grill');(_:result,type,'Restaurant'))
system
There are 8 restaurants . Eraina , Michaelhouse cafe , hotel du vin and bistro , galleria , de luca cucina and bar , riverside brasserie , darrys cookhouse and wine shop , the river bar steakhouse and grill
inform((_:search,name,'eraina');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Please provide postcode and address for Eraina .
reqmore() inform((_:result,address,'Free School Lane City Centre');(_:result,postcode,'cb23rh');(_:result,type,'Restaurant'))
system
The postcode is cb23rh and address is Free School Lane City Centre . Is there anything else I can help with ?
bye()
user
No , that 's it . Goodbye !
system
I 'm glad I could help .   Have a nice day .   Good bye .
_:search area centre
_:search food european
_:search type Restaurant
_:search area centre
_:search food european
_:result count 8
_:result name Eraina
_:result name Michaelhouse cafe
_:result name darrys cookhouse and wine shop
_:result name de luca cucina and bar
_:result name galleria
_:result name hotel du vin and bistro
_:result name riverside brasserie
_:result name the river bar steakhouse and grill
_:result type Restaurant
_:search name eraina
_:search type Restaurant
_:result address ?
_:result postcode ?
_:search area centre
_:search food european
_:result count 8
_:result name Eraina
_:result name Michaelhouse cafe
_:result name darrys cookhouse and wine shop
_:result name de luca cucina and bar
_:result name galleria
_:result name hotel du vin and bistro
_:result name riverside brasserie
_:result name the river bar steakhouse and grill
_:search name eraina
_:search type Restaurant
_:system inquired _:user
_:result address Free School Lane City Centre
_:result postcode cb23rh
_:result type Restaurant
_:user dismissed _:system