inform((_:search,category,'college');(_:search,type,'Attraction'))
user
I 'm headed off to college soon and want to check out one of the campuses while I 'm in the area . Can you help me find one ?
request((_:search,area,?);(_:search,type,'Attraction'))
system
Definitely ! What area of town are you planning to visit ?
request((_:result,entrance_fee,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Area does n't matter . I 'll just need an entrance fee , phone number and postcode for any of them .
request((_:search,area,?);(_:search,type,'Attraction')) inform((_:result,category,'colleges');(_:result,count,'18');(_:result,type,'Attraction'))
system
Well there are 18 different colleges that match your request . Unfortunately I need more information from you to do my job . Can you help by narrowing down the area ?
user
Which one would you recommend ?
inform((_:result,area,'centre');(_:result,entrance_fee,'1 pound');(_:result,name,'Trinity College');(_:result,phone,'01223338400');(_:result,postcode,'cb21tq');(_:result,type,'Attraction'))
system
I would recommend Trinity College . They 're located in the centre of town at postcode cb21tq . You can reach them by phone at 01223338400 and they list a 1 pound entrance fee .
inform((_:search,food,'british');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I also would like to find a restaurant serving British food that is expensive .
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,area,'same area');(_:result,food,'British');(_:result,type,'Restaurant'))
system
Would you like me to find a British restaurant in the same area as Trinity College ?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
Yes , that sounds good !
offer((_:booking,type,'Booking')) inform((_:result,name,'Fitzbillies Restaurant');(_:result,type,'Restaurant'))
system
I recommend Fitzbillies Restaurant , would you like me to book it for you ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
That 's alright , I just want to know the phone number and postcode please
reqmore() inform((_:result,name,'Fitzbillies Restaurant');(_:result,phone,'01223352500');(_:result,postcode,'cb21rg');(_:result,type,'Restaurant'))
system
Fitzbillies Restaurant has a phone number of 01223352500 and a postcode of cb21rg . Is there anything else I can assist you with ?
inform((_:search,departure,'the attraction');(_:search,destination,'the restaurant');(_:search,leave_at,'11:30');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
Please arrange for a taxi to pick me up from the attraction at 11:30 and take me to the restaurant . Give me contact number and car type .
inform((_:result,car,'grey toyota');(_:result,phone,'07178077198');(_:result,type,'Taxi')) reqmore()
system
A grey toyota is booked for you . You can call 07178077198 to contact them . Will that be all for you ?
bye()
user
That is all I need , thank you good bye !
system
You 're welcome , have a safe trip .
_:search category college
_:search type Attraction
_:search category college
_:search area ?
_:search type Attraction
_:result entrance_fee ?
_:result phone ?
_:result postcode ?
_:result type Attraction
_:search category college
_:result entrance_fee ?
_:result phone ?
_:result postcode ?
_:search area ?
_:search type Attraction
_:result category colleges
_:result count 18
_:result type Attraction
_:search category college
_:search area ?
_:result category colleges
_:result count 18
_:result area centre
_:result entrance_fee 1 pound
_:result name Trinity College
_:result phone 01223338400
_:result postcode cb21tq
_:result type Attraction
_:search food british
_:search pricerange expensive
_:search type Restaurant
_:search category college
_:result category colleges
_:result count 18
_:result entrance_fee 1 pound
_:result name Trinity College
_:result phone 01223338400
_:result postcode cb21tq
_:search food british
_:search pricerange expensive
_:result area same area
_:result food British
_:result type Restaurant
_:search area centre
_:search type Restaurant
_:search category college
_:result category colleges
_:result count 18
_:result entrance_fee 1 pound
_:result phone 01223338400
_:result postcode cb21tq
_:search food british
_:search pricerange expensive
_:result area same area
_:result food British
_:search area centre
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result name Fitzbillies Restaurant
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:search category college
_:result category colleges
_:result count 18
_:result entrance_fee 1 pound
_:search food british
_:search pricerange expensive
_:result area same area
_:result food British
_:search area centre
_:system offered _:booking
_:booking type Booking
_:system inquired _:user
_:result name Fitzbillies Restaurant
_:result phone 01223352500
_:result postcode cb21rg
_:result type Restaurant
_:search departure the attraction
_:search destination the restaurant
_:search leave_at 11:30
_:search type Taxi
_:result car ?
_:result type Taxi
_:search category college
_:result category colleges
_:result count 18
_:result entrance_fee 1 pound
_:search food british
_:search pricerange expensive
_:result area same area
_:result food British
_:search area centre
_:system offered _:booking
_:booking type Booking
_:result name Fitzbillies Restaurant
_:result postcode cb21rg
_:search departure the attraction
_:search destination the restaurant
_:search leave_at 11:30
_:search type Taxi
_:result car grey toyota
_:result phone 07178077198
_:result type Taxi
_:system inquired _:user
_:user dismissed _:system