inform((_:search,area,'centre');(_:search,category,'college');(_:search,type,'Attraction'))
user
I 'm looking for a place to in the centre , perhaps a college .
select((_:result,entrance_fee,'without 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
There are 13 colleges in the centre of town . Would you prefer a college without an entrance fee ?
request((_:result,address,?);(_:result,entrance_fee,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
No preference . Can you make a recommendation and give me the address , phone number , and entrance fee ?
reqmore() inform((_:result,address,'st andrews st');(_:result,entrance_fee,'free entrance');(_:result,name,"christ 's college");(_:result,phone,'01223334900');(_:result,type,'Attraction'))
system
christ 's college is great . the address is st andrews st , free entrance & their number is 01223334900 , anything else ?
inform((_:search,day,'saturday');(_:search,leave_at,'14:30');(_:search,type,'Train'))
user
I need a train on Saturday after 14:30 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where are you leaving from and traveling to ?
inform((_:search,departure,'norwich');(_:search,destination,'cambridge');(_:search,leave_at,'14:30');(_:search,type,'Train'))
user
I need to travel to Norwich from Cambridge after 14:30 .
inform((_:result,id,'TR1156');(_:result,leave_at,'15:16');(_:result,type,'Train'))
system
The TR1156 leaves at 15:16 . Will that work for you ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
Yes can I have an arrival time please ?
inform((_:result,arrive_by,'16:35');(_:result,type,'Train'))
system
The arrival time is 16:35 .
thank()
user
Okay thank you for your help .
system
Thank you for using Cambridge TownInfo Centre .
_:search area centre
_:search category college
_:search type Attraction
_:search area centre
_:search category college
_:result entrance_fee without an entrance fee
_:result area centre
_:result category colleges
_:result count 13
_:result type Attraction
_:search entrance_fee ?
_:search type Attraction
_:result address ?
_:result entrance_fee ?
_:result phone ?
_:search area centre
_:search category college
_:result area centre
_:result category colleges
_:result count 13
_:search entrance_fee ?
_:system inquired _:user
_:result address st andrews st
_:result entrance_fee free entrance
_:result name christ 's college
_:result phone 01223334900
_:result type Attraction
_:search day saturday
_:search leave_at 14:30
_:search type Train
_:search area centre
_:search category college
_:result area centre
_:result category colleges
_:result count 13
_:search entrance_fee ?
_:system inquired _:user
_:result address st andrews st
_:result entrance_fee free entrance
_:result name christ 's college
_:result phone 01223334900
_:result type Attraction
_:search day saturday
_:search departure norwich
_:search destination cambridge
_:search leave_at 14:30
_:search type Train
_:search area centre
_:search category college
_:result area centre
_:result category colleges
_:result count 13
_:search entrance_fee ?
_:system inquired _:user
_:result address st andrews st
_:result entrance_fee free entrance
_:result name christ 's college
_:result phone 01223334900
_:search day saturday
_:search departure norwich
_:search destination cambridge
_:search leave_at 14:30
_:search type Train
_:result id TR1156
_:result leave_at 15:16
_:result type Train
_:result arrive_by ?
_:search area centre
_:search category college
_:result area centre
_:result category colleges
_:result count 13
_:search entrance_fee ?
_:system inquired _:user
_:result address st andrews st
_:result entrance_fee free entrance
_:result name christ 's college
_:result phone 01223334900
_:search day saturday
_:search departure norwich
_:search destination cambridge
_:search leave_at 14:30
_:search type Train
_:result id TR1156
_:result leave_at 15:16
_:result arrive_by 16:35
_:result type Train