inform((_:search,name,'holy trinity church');(_:search,type,'Attraction'))
user
Do you know where I can find the Holy Trinity Church ?
inform((_:result,address,'Market Street');(_:result,area,'centre');(_:result,entrance_fee,'free to enter');(_:result,name,'Holy Trinity Church');(_:result,postcode,'cb23nz');(_:result,type,'Attraction'))
system
Absolutely . Holy Trinity Church is on Market Street in the centre of town . Their postcode is cb23nz and is free to enter . Would you need their phone number ?
request((_:result,category,?);(_:result,type,'Attraction'))
user
Great what type of attraction are they ?
inform((_:result,category,'architecture');(_:result,type,'Attraction'))
system
It is an architecture attraction .
thank()
user
That 's all the information I need . Thanks for your help !
system
Thank you . Goodbye .
_:search name holy trinity church
_:search type Attraction
_:search name holy trinity church
_:search type Attraction
_:result address Market Street
_:result area centre
_:result entrance_fee free to enter
_:result name Holy Trinity Church
_:result postcode cb23nz
_:result type Attraction
_:result category ?
_:search name holy trinity church
_:search type Attraction
_:result address Market Street
_:result area centre
_:result entrance_fee free to enter
_:result name Holy Trinity Church
_:result postcode cb23nz
_:result category architecture
_:result type Attraction