inform((_:search,type,'Hospital'))
user
I have a stomach ache , is there a hospital or pharmacy nearby ?
inform((_:result,address,'Hills Rd , Cambridge');(_:result,phone,'01223245151');(_:result,postcode,'CB20QQ');(_:result,type,'Hospital'))
system
Addenbrookes Hospital 

 Telephone 	 : 	 01223245151 
 Address 	 : 	 Hills Rd , Cambridge 
 Postcode 	 : 	 CB20QQ Do you need a taxi to get there ?
inform((_:search,area,'centre');(_:search,food,'british');(_:search,type,'Restaurant')) request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
No , thank you . Can you also find me a restaurant that serves British food in the centre ? Postcode , please .
inform((_:result,name,'Cotto');(_:result,postcode,'CB11BG');(_:result,type,'Restaurant')) reqmore()
system
Cotto would fit your needs perfectly . Their postcode is CB11BG . Can I help you with anything else ?
inform((_:search,category,'theatres');(_:search,name,'Cotto');(_:search,type,'Attraction');(_:search,type,'Restaurant'))
user
Are there any theatres near the Cotto ?
inform((_:result,address,'park street');(_:result,name,'Adc theatre');(_:result,type,'Attraction'))
system
Adc theatre is nearby . it is in 	 park street
request((_:result,address,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
Could I have the address and phone number to the theater ?
reqmore() inform((_:result,address,'Park Street');(_:result,phone,'01223300085');(_:result,type,'Attraction'))
system
Of course ! The address is Park Street . The phone number is 01223300085 . Can I help you with anything else ?
user
No that will be all .
system
Thank you !   Have a great day !
_:search type Hospital
_:result address Hills Rd , Cambridge
_:result phone 01223245151
_:result postcode CB20QQ
_:result type Hospital
_:search area centre
_:search food british
_:search type Restaurant
_:result postcode ?
_:result type Restaurant
_:result address Hills Rd , Cambridge
_:result phone 01223245151
_:search area centre
_:search food british
_:result name Cotto
_:result postcode CB11BG
_:result type Restaurant
_:system inquired _:user
_:search category theatres
_:search name Cotto
_:search type Attraction
_:search type Restaurant
_:result phone 01223245151
_:search area centre
_:search food british
_:result postcode CB11BG
_:system inquired _:user
_:search category theatres
_:search name Cotto
_:search type Attraction
_:search type Restaurant
_:result address park street
_:result name Adc theatre
_:result type Attraction
_:result address ?
_:result phone ?
_:search area centre
_:search food british
_:result postcode CB11BG
_:search category theatres
_:search name Cotto
_:search type Attraction
_:search type Restaurant
_:result name Adc theatre
_:system inquired _:user
_:result address Park Street
_:result phone 01223300085
_:result type Attraction