inform((_:search,type,'Hospital'))
user
I need to find a hospital in town please .
inform((_:result,phone,'01223245151');(_:result,type,'Hospital'))
system
Certainly , Addenbrookes Hospital 's telephone number is 01223245151 . Is there anything I can do to help ?
request((_:result,address,?);(_:result,type,'Hospital'))
user
What is the address ?
inform((_:result,address,'Hills Rd , Cambridge');(_:result,postcode,'CB20QQ');(_:result,type,'Hospital'))
system
Addenbrookes Hospital is located at Hills Rd , Cambridge , Postcode : CB20QQ .   Do you need any other information ?
request((_:result,phone,?);(_:result,type,'Hospital'))
user
Please give me the phone number .
inform((_:result,phone,'01223245151');(_:result,type,'Hospital')) reqmore()
system
The phone number is 01223245151 . Is there anything else I can do for you ?
thank()
user
No , that 's all I need .   Thanks so much .
system
You 're very welcome . Goodbye .
_:search type Hospital
_:search type Hospital
_: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
_:result phone ?
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result postcode CB20QQ
_:result phone 01223245151
_:result type Hospital
_:system inquired _:user