inform((_:search,area,'west');(_:search,category,'colleges');(_:search,type,'Attraction'))
user
Can you tell me what colleges are open to tourists on the west side of town ?
inform((_:result,name,'clare');(_:result,name,'clare hall');(_:result,name,'magdalene');(_:result,name,'there is churchill');(_:result,type,'Attraction'))
system
Sure , there is churchill , clare , clare hall , magdalene , and queens ' college .
request((_:result,phone,?);(_:result,type,'Attraction'))
user
Ok , can I get a phone number for the Magdalene ?
inform((_:result,phone,'01223332138');(_:result,type,'Attraction'))
system
phone number is 01223332138
inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
I 'm also looking for a Thai restaurant .
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Restaurant'))
system
What area are you looking for and what price range ?
inform((_:search,area,'same area');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
The restaurant should be in the same area as the attraction and in the the expensive price range
inform((_:result,name,'Sala Thong');(_:result,type,'Restaurant'))
system
Sala Thong fits the bill . Would you like their information ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Yes please .   I 'd like the address with postcode , and a phone number .
inform((_:result,address,'35 Newnham Road Newnham');(_:result,phone,'01223323178');(_:result,postcode,'cb39ey');(_:result,type,'Restaurant'))
system
Sure the address is 35 Newnham Road Newnham , phone number 01223323178 and post code cb39ey .
bye()
user
Okay , that 's all that I need . Goodbye .
system
Have a great day ! Goodbye
_:search area west
_:search category colleges
_:search type Attraction
_:search area west
_:search category colleges
_:search type Attraction
_:result name clare
_:result name clare hall
_:result name magdalene
_:result name there is churchill
_:result type Attraction
_:result phone ?
_:search area west
_:search category colleges
_:result name clare
_:result name clare hall
_:result name magdalene
_:result name there is churchill
_:result phone 01223332138
_:result type Attraction
_:search food thai
_:search type Restaurant
_:search category colleges
_:result name clare
_:result name clare hall
_:result name magdalene
_:result name there is churchill
_:result phone 01223332138
_:result type Attraction
_:search food thai
_:search area same area
_:search pricerange expensive
_:search type Restaurant
_:search category colleges
_:result phone 01223332138
_:search food thai
_:search area same area
_:search pricerange expensive
_:search type Restaurant
_:result name Sala Thong
_:result type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search category colleges
_:search food thai
_:search area same area
_:search pricerange expensive
_:search type Restaurant
_:result name Sala Thong
_:result address 35 Newnham Road Newnham
_:result phone 01223323178
_:result postcode cb39ey
_:result type Restaurant
_:user dismissed _:system