inform((_:search,type,'Hospital'))
user
Hello , I 'm looking for a hospital in town .
inform((_:result,address,'Hills Rd , Cambridge');(_:result,type,'Hospital')) request((_:search,department,?);(_:search,type,'Hospital'))
system
Addenbrookes Hospital is on Hills Rd , Cambridge . Is there a particular department you need ?
request((_:result,address,?);(_:result,type,'Hospital'))
user
No , I just needed the address . Good bye .
system
Thank you for calling the TownInfo centre .   Goodbye .
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result type Hospital
_:search department ?
_:search type Hospital
_:result address ?