inform((_:search,type,'Hospital'))
user
Where is Addenbrookes Hospital located ?
request((_:search,department,?);(_:search,type,'Hospital'))
system
Which department did you need ?
user
Just the general information .
inform((_:result,address,'Hills Rd , Cambridge');(_:result,type,'Hospital')) request((_:search,department,?);(_:search,type,'Hospital'))
system
Addenbrookes Hospital is on Hills Rd , Cambridge .   Do you need the telephone number for a department or other service ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Hospital'))
user
I 'd like the phone number and postcode , please .
inform((_:result,phone,'01223245151');(_:result,postcode,'CB20QQ');(_:result,type,'Hospital'))
system
THe main number of the hospital is 01223245151 and the postcode is CB20QQ . May i help with something else ?
thank()
user
No thanks , you were very helpful , have a nice day .
system
Your welcome , have a great day . Goodbye .
_:search type Hospital
_:search department ?
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result type Hospital
_:search department ?
_:search type Hospital
_:result phone ?
_:result postcode ?
_:result address Hills Rd , Cambridge
_:search department ?
_:search type Hospital
_:result phone 01223245151
_:result postcode CB20QQ
_:result type Hospital