inform((_:search,area,'centre');(_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Are there any Chinese restaurants in the centre part of town ?
inform((_:result,area,'centre');(_:result,food,'chinese');(_:result,name,'jinling noodle bar');(_:result,type,'Restaurant'))
system
jinling noodle bar is in the centre abd serves chinese food
user
Are they expensive ?
inform((_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
They are in the moderate price range .
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Please look for something else in the expensive price range . I will need the address , post code and phone number .
select((_:result,name,'Jinling Noodle Bar');(_:result,type,'Restaurant'))
system
Does the Jinling Noodle Bar sound like a good choice ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Sure ! What 's the address , postcode , and phone number of it ?
inform((_:result,address,'11 Peas Hill City Centre');(_:result,phone,'01223566188');(_:result,postcode,'cb23pp');(_:result,type,'Restaurant'))
system
their address is 11 Peas Hill City Centre , postcode is cb23pp , and phone number is 01223566188
thank()
user
thank you for your help
system
Thank you goodbye
_:search area centre
_:search food chinese
_:search type Restaurant
_:search area centre
_:search food chinese
_:search type Restaurant
_:result area centre
_:result food chinese
_:result name jinling noodle bar
_:result type Restaurant
_:search area centre
_:search food chinese
_:result area centre
_:result food chinese
_:result name jinling noodle bar
_:result pricerange moderate
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search area centre
_:search food chinese
_:result area centre
_:result food chinese
_:result pricerange moderate
_:search pricerange expensive
_:search type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:result name Jinling Noodle Bar
_:result type Restaurant
_:search area centre
_:search food chinese
_:result area centre
_:result food chinese
_:result pricerange moderate
_:search pricerange expensive
_:search type Restaurant
_:result name Jinling Noodle Bar
_:result address 11 Peas Hill City Centre
_:result phone 01223566188
_:result postcode cb23pp
_:result type Restaurant