inform((_:search,type,'Hospital'))
user
I am   looking for the Addenbrookes Hospital
request((_:search,department,?);(_:search,type,'Hospital'))
system
Are you wanting a specific department ?
inform((_:search,department,"children 's surgical and medicine");(_:search,type,'Hospital')) request((_:result,phone,?);(_:result,type,'Hospital'))
user
Yes , please . I need the phone number for the children 's surgical and medicine department .
inform((_:result,phone,'01223217450');(_:result,type,'Hospital'))
system
The phone number you need is 01223217450 .
request((_:result,postcode,?);(_:result,type,'Hospital'))
user
Thanks . What is the postcode ?
inform((_:result,postcode,'CB20QQ');(_:result,type,'Hospital'))
system
Their postcode is CB20QQ . Can I help you with anything else ?
thank()
user
Nothing more .   Thank you .
system
You are very welcome . Please let us know if we can do anything else for you .
_:search type Hospital
_:search department children 's surgical and medicine
_:search type Hospital
_:result phone ?
_:result type Hospital
_:search department children 's surgical and medicine
_:search type Hospital
_:result phone 01223217450
_:result type Hospital
_:result postcode ?
_:search department children 's surgical and medicine
_:search type Hospital
_:result phone 01223217450
_:result postcode CB20QQ
_:result type Hospital