inform((_:search,department,'emergency department');(_:search,type,'Hospital'))
user
I need to find a hospital with an emergency department .
inform((_:result,address,'Hills Rd , Cambridge');(_:result,type,'Hospital'))
system
I 've got Addenbrookes Hospital at Hills Rd , Cambridge . Would you like the number ?
request((_:result,postcode,?);(_:result,type,'Hospital'))
user
Yes , please . May I also have the postcode ?
inform((_:result,postcode,'CB20QQ');(_:result,type,'Hospital'))
system
The post code is CB20QQ , anything else you need ?
thank()
user
No , that 's all . Thanks for your help !
inform((_:result,department,'emergency department');(_:result,phone,'01223217118');(_:result,type,'Hospital')) bye()
system
The phone number for the emergency department is 01223217118 if you needed that too . Have a good day .
request((_:result,address,?);(_:result,type,'Hospital'))
user
Can I have their address ?
inform((_:result,address,'Hills Rd , Cambridge');(_:result,type,'Hospital'))
system
Addenbrookes Hospital is located at Hills Rd , Cambridge .   Do you need any more information ?
request((_:result,postcode,?);(_:result,type,'Hospital'))
user
Yes could I have their postcode as well ?
inform((_:result,postcode,'CB20QQ');(_:result,type,'Hospital'))
system
Certainly the postcode is CB20QQ . What else can I do for you today ?
thank()
user
I think that covers everything . Thanks so much for your help !
system
No problem .   Bye .
_:search department emergency department
_:search type Hospital
_:search department emergency department
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result type Hospital
_:result postcode ?
_:search department emergency department
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result postcode CB20QQ
_:result type Hospital
_:search department emergency department
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result postcode CB20QQ
_:result department emergency department
_:result phone 01223217118
_:result type Hospital
_:system dismissed _:user
_:result address ?
_:search department emergency department
_:search type Hospital
_:result postcode CB20QQ
_:result department emergency department
_:result phone 01223217118
_:system dismissed _:user
_:result address Hills Rd , Cambridge
_:result type Hospital
_:result postcode ?
_:search department emergency department
_:search type Hospital
_:result department emergency department
_:result phone 01223217118
_:system dismissed _:user
_:result address Hills Rd , Cambridge
_:result postcode CB20QQ
_:result type Hospital