inform((_:search,type,'Hospital'))
user
Please , I need to find a hospital in town , will you please help me ?
inform((_:result,address,'Hills Rd , Cambridge');(_:result,type,'Hospital'))
system
Addenbrookes Hospital is a great choice , their address is Hills Rd , Cambridge
request((_:result,phone,?);(_:result,type,'Hospital'))
user
What is the phone number ?
inform((_:result,phone,'01223245151');(_:result,type,'Hospital'))
system
The phone number to Addenbrookes Hospital is 01223245151 .   Is there anything else I may assist you with today ?
request((_:result,address,?);(_:result,type,'Hospital'))
user
What is their address ?
inform((_:result,address,'Hills Rd , Cambridge');(_:result,postcode,'CB20QQ');(_:result,type,'Hospital'))
system
Their address is Hills Rd , Cambridge 
 Postcode 	 : CB20QQ .   Is there anything else I can do for you ?
thank()
user
No that it is it . Thank you .
system
You 're welcome .   Thank you for using the Cambridge TownInfo centre .
_:search type Hospital
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result type Hospital
_:result phone ?
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result phone 01223245151
_:result type Hospital
_:result address ?
_:search type Hospital
_:result phone 01223245151
_:result address Hills Rd , Cambridge
_:result postcode CB20QQ
_:result type Hospital