inform((_:search,area,'centre');(_:search,category,'colleges');(_:search,type,'Attraction'))
user
Hey , are there any interesting colleges in the city centre ?
reqmore() inform((_:result,area,'centre');(_:result,category,'colleges');(_:result,count,'13');(_:result,type,'Attraction'))
system
There are 13 colleges in the city centre . Do you need more information ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Could you give me the postcode and phone number of two of them that are popular tourist destinations ?
inform((_:result,name,'Hughes Hall');(_:result,name,"Saint Catharine 's College");(_:result,phone,'01223334898');(_:result,phone,'01223338300');(_:result,postcode,'cb12ew');(_:result,postcode,'cb21rl');(_:result,type,'Attraction')) reqmore()
system
Hughes Hall -- postcode cb12ew . Their phone number is 01223334898 . Saint Catharine 's College -- postcode cb21rl . Their phone number is 01223338300 . Is there anything else I can help with ?
inform((_:search,area,'same area');(_:search,food,'british');(_:search,type,'Restaurant'))
user
Yes , are there any British places to eat at in the same area ?
inform((_:result,count,'7');(_:result,name,'restaurant one seven');(_:result,type,'Restaurant'))
system
Yes , there are 7 of them . How about restaurant one seven ?
inform((_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
That sounds good , is it in the moderate price range ?
offer((_:booking,type,'Booking')) inform((_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
Yes it is in the moderate price range .   Would you like to book a table now ?
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
no , just give me the phone number
inform((_:result,name,'The cotto');(_:result,phone,'01223302010');(_:result,type,'Restaurant'))
system
The cotto phone number is 01223302010 .
thank()
user
That was all I needed . Thank you .
bye() thank()
system
most welcome and have a great day
bye()
user
i really have to go . goodbye .
system
goodbye and thanks
_:search area centre
_:search category colleges
_:search type Attraction
_:search area centre
_:search category colleges
_:search type Attraction
_:system inquired _:user
_:result area centre
_:result category colleges
_:result count 13
_:result type Attraction
_:result phone ?
_:result postcode ?
_:search category colleges
_:result area centre
_:result category colleges
_:result count 13
_:result name Hughes Hall
_:result name Saint Catharine 's College
_:result phone 01223334898
_:result phone 01223338300
_:result postcode cb12ew
_:result postcode cb21rl
_:result type Attraction
_:system inquired _:user
_:search area same area
_:search food british
_:search type Restaurant
_:search category colleges
_:result area centre
_:result category colleges
_:result phone 01223334898
_:result phone 01223338300
_:result postcode cb12ew
_:result postcode cb21rl
_:system inquired _:user
_:search area same area
_:search food british
_:result count 7
_:result name restaurant one seven
_:result type Restaurant
_:search pricerange moderate
_:search type Restaurant
_:search category colleges
_:result area centre
_:result category colleges
_:result phone 01223334898
_:result phone 01223338300
_:result postcode cb12ew
_:result postcode cb21rl
_:system inquired _:user
_:search area same area
_:search food british
_:result count 7
_:result name restaurant one seven
_:search pricerange moderate
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result pricerange moderate
_:result type Restaurant
_:result phone ?
_:search category colleges
_:result area centre
_:result category colleges
_:result postcode cb12ew
_:result postcode cb21rl
_:system inquired _:user
_:search area same area
_:search food british
_:result count 7
_:search pricerange moderate
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result pricerange moderate
_:result name The cotto
_:result phone 01223302010
_:result type Restaurant
_:search category colleges
_:result area centre
_:result category colleges
_:result postcode cb12ew
_:result postcode cb21rl
_:system inquired _:user
_:search area same area
_:search food british
_:result count 7
_:search pricerange moderate
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result pricerange moderate
_:result name The cotto
_:result phone 01223302010
_:result type Restaurant
_:system dismissed _:user
_:user dismissed _:system