inform((_:search,category,'college');(_:search,type,'Attraction'))
user
Can you find a college for me to visit ?
request((_:search,area,?);(_:search,type,'Attraction')) inform((_:result,category,'colleges');(_:result,count,'18');(_:result,type,'Attraction'))
system
There are 18 colleges in Cambridge . Do you have an area in mind ?
user
No , where would you recommend ?
inform((_:result,area,'centre');(_:result,name,"Christ 's college");(_:result,type,'Attraction'))
system
Easiest would be to find the closest one . You can always visit Christ 's college in the centre
request((_:result,phone,?);(_:result,type,'Attraction'))
user
May I have their phone number please ?
inform((_:result,area,'centre');(_:result,name,"Christ 's College");(_:result,phone,'01223334900');(_:result,type,'Attraction'))
system
Christ 's College is located in the centre of town and their phone number is 01223334900
inform((_:search,area,'south');(_:search,food,'european');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
Thank you may I also have a name of a restaurant that is moderately priced and serves European food .   Located in the South ?
inform((_:result,address,'152 - 154 Hills Road');(_:result,name,'Restaurant Alimentum');(_:result,type,'Restaurant'))
system
Restaurant Alimentum at 152 - 154 Hills Road is my all time favorite .
inform((_:search,day,'saturday');(_:search,duration,'19:00');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Fantastic .   Can you book a table for 7 on Saturday at 19:00 ?
inform((_:booking,day,'Saturday');(_:booking,duration,'19:00');(_:booking,name,'restaurant alimentum');(_:booking,people,'7');(_:booking,type,'Booking');(_:result,address,'152 - 154 Hills Road');(_:result,phone,'01223413000');(_:result,type,'Restaurant'))
system
I have you booked for 7 at restaurant alimentum on Saturday at 19:00 . Their address is 152 - 154 Hills Road and their phone number is 01223413000 .
bye()
user
Thank you . Thank is all . Good bye .
system
Have a nice day !
_:search category college
_:search type Attraction
_:search category college
_:search area ?
_:search type Attraction
_:result category colleges
_:result count 18
_:result type Attraction
_:search category college
_:search area ?
_:search type Attraction
_:result category colleges
_:result count 18
_:result area centre
_:result name Christ 's college
_:result type Attraction
_:result phone ?
_:search category college
_:result category colleges
_:result count 18
_:result area centre
_:result name Christ 's College
_:result phone 01223334900
_:result type Attraction
_:search area south
_:search food european
_:search pricerange moderately
_:search type Restaurant
_:search category college
_:result category colleges
_:result count 18
_:result area centre
_:result phone 01223334900
_:search area south
_:search food european
_:search pricerange moderately
_:result address 152 - 154 Hills Road
_:result name Restaurant Alimentum
_:result type Restaurant
_:search day saturday
_:search duration 19:00
_:search people 7
_:search type Restaurant
_:search category college
_:result category colleges
_:result count 18
_:result area centre
_:search area south
_:search food european
_:search pricerange moderately
_:result name Restaurant Alimentum
_:search day saturday
_:search duration 19:00
_:search people 7
_:search type Restaurant
_:booking day Saturday
_:booking duration 19:00
_:booking name restaurant alimentum
_:booking people 7
_:booking type Booking
_:result address 152 - 154 Hills Road
_:result phone 01223413000
_:result type Restaurant
_:user dismissed _:system