inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
I am looking for a theatre to visit . Would you have any suggestions ?
request((_:search,area,?);(_:search,type,'Attraction')) inform((_:result,area,'centre');(_:result,area,'south');(_:result,category,'theatres');(_:result,count,'5');(_:result,type,'Attraction'))
system
There are 5 theatres in town , 4 in the centre and 1 in the south , do you have a preference for area ?
inform((_:search,area,'south');(_:search,type,'Attraction')) request((_:result,entrance_fee,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
The one on the south side , please . Could you tell me it 's postcode and if it has an entry fee ?
inform((_:result,area,'south');(_:result,entrance_fee,'not listed');(_:result,name,'The junction');(_:result,postcode,'cb17gx');(_:result,type,'Attraction'))
system
The junction is in the south area . The postcode is cb17gx . The entrance fee is not listed . Would you like the phone number ?
thank() request((_:result,phone,?);(_:result,type,'Attraction'))
user
Unlisted !   What a pain .   Okay , I suppose give me the phone number , thanks .
reqmore() inform((_:result,phone,'01223511511');(_:result,type,'Attraction'))
system
Sure thing . The phone number is 01223511511 . How else may I help you ?
thank()
user
That 's all the information I need . Thank you !
system
You 're welcome , have a great day .
_:search category theatre
_:search type Attraction
_:search category theatre
_:result area centre
_:result area south
_:result category theatres
_:result count 5
_:result type Attraction
_:search area south
_:search type Attraction
_:result entrance_fee ?
_:result postcode ?
_:search category theatre
_:result category theatres
_:result count 5
_:search area south
_:search type Attraction
_:result area south
_:result entrance_fee not listed
_:result name The junction
_:result postcode cb17gx
_:result type Attraction
_:result phone ?
_:search category theatre
_:result category theatres
_:result count 5
_:search area south
_:search type Attraction
_:result area south
_:result entrance_fee not listed
_:result name The junction
_:result postcode cb17gx
_:system inquired _:user
_:result phone 01223511511
_:result type Attraction