inform((_:search,area,'north');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Are there any expensive restaurants in the North ?
select((_:result,food,'asian oriental');(_:result,food,'chinese');(_:result,food,'european');(_:result,food,'french');(_:result,type,'Restaurant')) inform((_:result,area,'north');(_:result,count,'5');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
I have 5 expensive restaurants in the north .   Would you like french , european , chinese or asian oriental food ?
inform((_:search,food,'european');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Could I get the phone number and postcode for the european one ?
offer((_:booking,type,'Booking')) inform((_:result,name,'City Stop Restaurant');(_:result,phone,'01223363270');(_:result,postcode,'CB41UY');(_:result,type,'Restaurant'))
system
Sure , it 's City Stop Restaurant . Their postcode is CB41UY , and their phone number is 01223363270 . Did you want to make a reservation ?
inform((_:search,category,'swimming pool');(_:search,type,'Attraction')) thank()
user
No thank you . I 'm also looking for a swimming pool , can you recommend one ?
inform((_:result,address,'between victoria road and the river');(_:result,area,'north');(_:result,name,'the jesus green outdoor pool');(_:result,type,'Attraction'))
system
Sure let 's have you go to the jesus green outdoor pool , it 's in the north and they 're between victoria road and the river .
request((_:result,phone,?);(_:result,type,'Attraction'))
user
Okay , thank you ! What is their phone number ?
reqmore() inform((_:result,address,'between victoria road and the river');(_:result,phone,'01223302579');(_:result,type,'Attraction'))
system
Their phone number is 01223302579 and they are located between victoria road and the river . Is there anything else I can help you with today ?
thank()
user
No , that 'll be it , thank you !
system
Thank yopu for usding this service
_:search area north
_:search pricerange expensive
_:search type Restaurant
_:search area north
_:search pricerange expensive
_:result food asian oriental
_:result food chinese
_:result food european
_:result food french
_:result area north
_:result count 5
_:result pricerange expensive
_:result type Restaurant
_:search food european
_:search type Restaurant
_:result phone ?
_:result postcode ?
_:search area north
_:search pricerange expensive
_:result food asian oriental
_:result food chinese
_:result food european
_:result food french
_:result area north
_:result count 5
_:result pricerange expensive
_:search food european
_:system offered _:booking
_:booking type Booking
_:result name City Stop Restaurant
_:result phone 01223363270
_:result postcode CB41UY
_:result type Restaurant
_:search category swimming pool
_:search type Attraction
_:search area north
_:search pricerange expensive
_:result food asian oriental
_:result food chinese
_:result food european
_:result food french
_:result count 5
_:result pricerange expensive
_:search food european
_:system offered _:booking
_:booking type Booking
_:result phone 01223363270
_:result postcode CB41UY
_:search category swimming pool
_:search type Attraction
_:result address between victoria road and the river
_:result area north
_:result name the jesus green outdoor pool
_:result type Attraction
_:result phone ?
_:search area north
_:search pricerange expensive
_:result food asian oriental
_:result food chinese
_:result food european
_:result food french
_:result count 5
_:result pricerange expensive
_:search food european
_:system offered _:booking
_:booking type Booking
_:result postcode CB41UY
_:search category swimming pool
_:search type Attraction
_:result area north
_:result name the jesus green outdoor pool
_:system inquired _:user
_:result address between victoria road and the river
_:result phone 01223302579
_:result type Attraction