inform((_:search,type,'Hospital'))
user
i want to find a hospital in town
inform((_:result,address,'Hills Rd , Cambridge');(_:result,type,'Hospital')) request((_:search,department,?);(_:search,type,'Hospital'))
system
Addenbrookes Hospital is located at Hills Rd , Cambridge .   Is there a particular department you 're looking for ?
request((_:result,phone,?);(_:result,type,'Hospital'))
user
No particular department . I just need the phone number please .
inform((_:result,phone,'01223245151');(_:result,type,'Hospital')) reqmore()
system
The phone number is 01223245151 . What else can I help you with ?
user
I need the street number , please .
reqmore()
system
There is no street number . Anything else I can do for you ?
thank()
user
No , that is all . Thank you for your time .
system
You are more than welcome !
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result type Hospital
_:search department ?
_:search type Hospital
_:result phone ?
_:result address Hills Rd , Cambridge
_:search department ?
_:search type Hospital
_:result phone 01223245151
_:result type Hospital
_:system inquired _:user
_:result address Hills Rd , Cambridge
_:search department ?
_:search type Hospital
_:result phone 01223245151
_:result type Hospital
_:system inquired _:user