inform((_:search,department,'gynecology');(_:search,type,'Hospital'))
user
I 'm looking for a hospital with a gynecology department .
offer((_:booking,type,'Booking'))
system
Addenbrookes has a gynecology department ! Would you like to call them or book an appointment ?
request((_:result,postcode,?);(_:result,type,'Hospital'))
user
Is the hospital located in town , and what is their postcode ?
inform((_:result,address,'Hills Rd , Cambridge');(_:result,postcode,'CB20QQ');(_:result,type,'Hospital'))
system
Addenbrookes Hospital is located at Hills Rd , Cambridge , postcode CB20QQ . Would you like the phone number ?
thank()
user
No , that 's OK , I have everything I need now . Thanks very much for your help !
system
Thank you for using our service , and have a great day !
_:search department gynecology
_:search type Hospital
_:search department gynecology
_:search type Hospital
_:system offered _:booking
_:booking type Booking
_:result postcode ?
_:result type Hospital
_:search department gynecology
_:search type Hospital
_:system offered _:booking
_:booking type Booking
_:result address Hills Rd , Cambridge
_:result postcode CB20QQ
_:result type Hospital