inform((_:search,type,'Hospital'))
user
I want 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,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Hospital'))
user
No , I just need the phone number , address and postcode please .
inform((_:result,address,'Hills Rd , Cambridge');(_:result,phone,'01223245151');(_:result,postcode,'CB20QQ');(_:result,type,'Hospital'))
system
Addenbrookes Hospital is located at Hills Rd , Cambridge , postcode CB20QQ .   General phone number is 01223245151 . Can I help with anything else ?
thank()
user
No that is all . Thank you .
thank()
system
welcome . at your service next time
bye()
user
Great ! Have a nice day !
system
You as well . Goodbye .
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result type Hospital
_:search department ?
_:search type Hospital
_:result address ?
_:result phone ?
_:result postcode ?
_:search department ?
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result phone 01223245151
_:result postcode CB20QQ
_:result type Hospital
_:search department ?
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result phone 01223245151
_:result postcode CB20QQ
_:result type Hospital
_:user dismissed _:system