inform((_:search,area,'center');(_:search,category,'entertainment');(_:search,type,'Attraction'))
user
Can you tell me what sorts of entertainment are offered in the city center ?
canthelp((_:search,area,'centre');(_:search,category,'entertainment');(_:search,type,'Attraction')) reqmore()
system
I 'm afraid we do n't have any entertainment attractions in the city centre . Can I help you find anything else ?
inform((_:search,category,'museum');(_:search,type,'Attraction'))
user
What about a museum ?
inform((_:result,category,'museums');(_:result,count,'11');(_:result,type,'Attraction'))
system
Yes , there are 11 museums available in that area . Would you like me to list several of them out so you can choose ?
inform((_:search,category,'colleges');(_:search,type,'Attraction'))
user
Never mind . How about colleges ?
select((_:result,entrance_fee,'free');(_:result,entrance_fee,'has an entrance fee');(_:result,type,'Attraction')) inform((_:result,area,'centre');(_:result,category,'colleges');(_:result,count,'13');(_:result,type,'Attraction')) request((_:search,entrance_fee,?);(_:search,type,'Attraction'))
system
I show 13 colleges in the centre area . Would you like one that is free or has an entrance fee ?
request((_:result,entrance_fee,?);(_:result,type,'Attraction'))
user
what are the ones with an entrance fee ?
inform((_:result,entrance_fee,'have an entrance fee');(_:result,name,'Corpus Christi');(_:result,name,"Saint John 's College");(_:result,name,'Trinity College');(_:result,type,'Attraction'))
system
Corpus Christi , Saint John 's College , and Trinity College have an entrance fee .
inform((_:search,name,'trinity college');(_:search,type,'Attraction')) request((_:result,entrance_fee,?);(_:result,type,'Attraction'))
user
How much is it to get into Trinity College ?
inform((_:result,entrance_fee,'1 pound');(_:result,type,'Attraction'))
system
The entrance fee is 1 pound .
inform((_:search,area,'that area');(_:search,day,'thursday');(_:search,duration,'12:00');(_:search,people,'6');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'm also looking for an expensive restaurant in that area .   I would like to book for 6 people , at 12:00 on Thursday . Can you help me ?
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What sort of food would you like it to be ?
inform((_:search,day,'thursday');(_:search,duration,'12:00');(_:search,food,'dontcare');(_:search,people,'6');(_:search,type,'Restaurant'))
user
You choose . Book me a table for 6 people at 12:00 on Thursday .
inform((_:booking,day,'Thursday');(_:booking,duration,'12:00');(_:booking,name,'cambridge chop house');(_:booking,people,'6');(_:booking,type,'Booking')) reqmore()
system
Sounds good . I have booked a table for 6 at the cambridge chop house on Thursday at 12:00 . Can I help with anything else ?
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
I need the reference number for the reservation .
inform((_:result,ref,'7SFRSRQC');(_:result,type,'Restaurant')) reqmore()
system
The reference number is 7SFRSRQC . Is there anything else ?
thank()
user
No , that 's all for now .   Thank you so much for helping me plan this !
system
You 're welcome , let me know if I can assist with anything else .
_:search area center
_:search category entertainment
_:search type Attraction
_:search area center
_:system canthelp _:search/3e75abc3
_:search/3e75abc3 area centre
_:search/3e75abc3 category entertainment
_:search/3e75abc3 type Attraction
_:system inquired _:user
_:search category museum
_:search type Attraction
_:search area center
_:system canthelp _:search/3e75abc3
_:search/3e75abc3 area centre
_:search/3e75abc3 category entertainment
_:search/3e75abc3 type Attraction
_:system inquired _:user
_:result category museums
_:result count 11
_:result type Attraction
_:search category colleges
_:search type Attraction
_:search area center
_:system canthelp _:search/3e75abc3
_:search/3e75abc3 area centre
_:search/3e75abc3 category entertainment
_:search/3e75abc3 type Attraction
_:system inquired _:user
_:search category colleges
_:result entrance_fee free
_:result entrance_fee has an entrance fee
_:result area centre
_:result category colleges
_:result count 13
_:result type Attraction
_:search entrance_fee ?
_:search type Attraction
_:result entrance_fee ?
_:search area center
_:system canthelp _:search/3e75abc3
_:search/3e75abc3 area centre
_:search/3e75abc3 category entertainment
_:search/3e75abc3 type Attraction
_:system inquired _:user
_:search category colleges
_:result area centre
_:result category colleges
_:result count 13
_:search entrance_fee ?
_:result entrance_fee have an entrance fee
_:result name Corpus Christi
_:result name Saint John 's College
_:result name Trinity College
_:result type Attraction
_:search name trinity college
_:search type Attraction
_:result entrance_fee ?
_:system canthelp _:search/3e75abc3
_:search/3e75abc3 area centre
_:search/3e75abc3 category entertainment
_:search/3e75abc3 type Attraction
_:system inquired _:user
_:search category colleges
_:result area centre
_:result category colleges
_:result count 13
_:search entrance_fee ?
_:result name Corpus Christi
_:result name Saint John 's College
_:result name Trinity College
_:search name trinity college
_:result entrance_fee 1 pound
_:result type Attraction
_:search area that area
_:search day thursday
_:search duration 12:00
_:search people 6
_:search pricerange expensive
_:search type Restaurant
_:system canthelp _:search/3e75abc3
_:search/3e75abc3 area centre
_:search/3e75abc3 category entertainment
_:search/3e75abc3 type Attraction
_:system inquired _:user
_:search category colleges
_:result area centre
_:result category colleges
_:result count 13
_:search entrance_fee ?
_:result name Corpus Christi
_:result name Saint John 's College
_:result name Trinity College
_:search name trinity college
_:result entrance_fee 1 pound
_:result type Attraction
_:search area that area
_:search pricerange expensive
_:search day thursday
_:search duration 12:00
_:search food dontcare
_:search people 6
_:search type Restaurant
_:system canthelp _:search/3e75abc3
_:search/3e75abc3 area centre
_:search/3e75abc3 category entertainment
_:search/3e75abc3 type Attraction
_:search category colleges
_:result area centre
_:result category colleges
_:result count 13
_:search entrance_fee ?
_:result name Corpus Christi
_:result name Saint John 's College
_:result name Trinity College
_:search name trinity college
_:result entrance_fee 1 pound
_:result type Attraction
_:search area that area
_:search pricerange expensive
_:search day thursday
_:search duration 12:00
_:search food dontcare
_:search people 6
_:search type Restaurant
_:booking day Thursday
_:booking duration 12:00
_:booking name cambridge chop house
_:booking people 6
_:booking type Booking
_:system inquired _:user
_:result ref ?
_:result type Restaurant
_:system canthelp _:search/3e75abc3
_:search/3e75abc3 area centre
_:search/3e75abc3 category entertainment
_:search/3e75abc3 type Attraction
_:search category colleges
_:result area centre
_:result category colleges
_:result count 13
_:search entrance_fee ?
_:result name Corpus Christi
_:result name Saint John 's College
_:result name Trinity College
_:search name trinity college
_:result entrance_fee 1 pound
_:search area that area
_:search pricerange expensive
_:search day thursday
_:search duration 12:00
_:search food dontcare
_:search people 6
_:search type Restaurant
_:booking day Thursday
_:booking duration 12:00
_:booking name cambridge chop house
_:booking people 6
_:booking type Booking
_:result ref 7SFRSRQC
_:result type Restaurant
_:system inquired _:user