inform((_:search,arrive_by,'17:45');(_:search,day,'saturday');(_:search,type,'Train'))
user
I 'm heading out on Saturday and need a train that arrives by 17:45
request((_:search,destination,?);(_:search,type,'Train'))
system
sure , what is your destination ?
inform((_:search,departure,'ely');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm leaving for Cambridge from Ely .
inform((_:result,arrive_by,'15:52');(_:result,id,'TR8176');(_:result,leave_at,'15:25');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR8176 leaves at 15:25 and will arrive at your destination at 15:52 .   Would you like me to reserve you a seat on that train ?
inform((_:search,category,'entertainment');(_:search,type,'Attraction'))
user
Yes , that sounds good . I am also interested in finding an entertainment centre at my destination .
inform((_:result,area,'east');(_:result,area,'south');(_:result,area,'west');(_:result,category,'entertainment');(_:result,count,'5');(_:result,type,'Attraction'))
system
There are 5 entertainment attractions in town , but they are only found in the east , south , and west .
inform((_:search,area,'centre');(_:search,category,'college');(_:search,type,'Attraction'))
user
I 'm disappointed but I would love to see a college , too . Is there one in the centre ?
inform((_:result,entrance_fee,'free');(_:result,name,"Christ 's college");(_:result,type,'Attraction'))
system
Christ 's college is in that area and has free admission .
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Cool . Could you tell me the postcode and their address ?
inform((_:result,address,"saint andrew 's street");(_:result,postcode,'cb23bu');(_:result,type,'Attraction'))
system
Post code is cb23bu , and their address is saint andrew 's street .
request((_:result,entrance_fee,?);(_:result,type,'Attraction'))
user
Is there any entrance fee ?
inform((_:result,entrance_fee,'no entrance fee');(_:result,type,'Attraction'))
system
There is no entrance fee for the attraction .
thank()
user
Great .   Thanks for all your help .
thank() reqmore()
system
You 're welcome ! Is there anything else I can help you with ?
bye()
user
That is all for now . I 'll let you know if I need more help in the future .
system
Thanks for using our services .
_:search arrive_by 17:45
_:search day saturday
_:search type Train
_:search arrive_by 17:45
_:search day saturday
_:search departure ely
_:search destination cambridge
_:search type Train
_:search arrive_by 17:45
_:search day saturday
_:search departure ely
_:search destination cambridge
_:result arrive_by 15:52
_:result id TR8176
_:result leave_at 15:25
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search category entertainment
_:search type Attraction
_:search arrive_by 17:45
_:search day saturday
_:search departure ely
_:search destination cambridge
_:result arrive_by 15:52
_:result id TR8176
_:result leave_at 15:25
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result area east
_:result area south
_:result area west
_:result category entertainment
_:result count 5
_:result type Attraction
_:search area centre
_:search category college
_:search type Attraction
_:search arrive_by 17:45
_:search day saturday
_:search departure ely
_:search destination cambridge
_:result arrive_by 15:52
_:result id TR8176
_:result leave_at 15:25
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result area east
_:result area south
_:result area west
_:result category entertainment
_:result count 5
_:search area centre
_:search category college
_:search type Attraction
_:result entrance_fee free
_:result name Christ 's college
_:result type Attraction
_:result address ?
_:result postcode ?
_:search arrive_by 17:45
_:search day saturday
_:search departure ely
_:search destination cambridge
_:result arrive_by 15:52
_:result id TR8176
_:result leave_at 15:25
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result area east
_:result area south
_:result area west
_:result category entertainment
_:result count 5
_:search area centre
_:search category college
_:search type Attraction
_:result entrance_fee free
_:result name Christ 's college
_:result address saint andrew 's street
_:result postcode cb23bu
_:result type Attraction
_:result entrance_fee ?
_:search arrive_by 17:45
_:search day saturday
_:search departure ely
_:search destination cambridge
_:result arrive_by 15:52
_:result id TR8176
_:result leave_at 15:25
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result area east
_:result area south
_:result area west
_:result category entertainment
_:result count 5
_:search area centre
_:search category college
_:search type Attraction
_:result name Christ 's college
_:result address saint andrew 's street
_:result postcode cb23bu
_:result entrance_fee no entrance fee
_:result type Attraction
_:search arrive_by 17:45
_:search day saturday
_:search departure ely
_:search destination cambridge
_:result arrive_by 15:52
_:result id TR8176
_:result leave_at 15:25
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result area east
_:result area south
_:result area west
_:result category entertainment
_:result count 5
_:search area centre
_:search category college
_:search type Attraction
_:result name Christ 's college
_:result address saint andrew 's street
_:result postcode cb23bu
_:result entrance_fee no entrance fee
_:result type Attraction
_:system inquired _:user
_:user dismissed _:system