inform((_:search,arrive_by,'19:45');(_:search,departure,'cambridge');(_:search,leave_at,'19:45');(_:search,type,'Train'))
user
I need to book a train leaving Cambridge that arrives by 19:45 .
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
We have many options that meet your criteria . Is there a certain day you are traveling ?
inform((_:search,arrive_by,'19:45');(_:search,day,'saturday');(_:search,destination,'ely');(_:search,type,'Train'))
user
I would be traveling on Saturday going to Ely . I would need to get there by 19:45 though .
offer((_:booking,arrive_by,'14:07');(_:booking,category,'Train');(_:booking,id,'TR9809');(_:booking,type,'Booking')) request((_:search,people,?);(_:search,type,'Train'))
system
Ok , I can book tickets on the TR9809 arriving by 14:07 .   How many seats will you need ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
I would need just one , please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'AFTHGYEI');(_:booking,type,'Booking'))
system
The train has been booked . Your reference number is : AFTHGYEI . Is there anything else I can help you with ?
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
I 'm also looking for places to go in the centre of town .
inform((_:result,address,'market street in the centre');(_:result,name,'holy trinity church');(_:result,phone,'01223355397');(_:result,type,'Attraction'))
system
How about holy trinity church , they are located on market street in the centre . Phone number is 01223355397 .
request((_:result,entrance_fee,?);(_:result,type,'Attraction'))
user
what s the entrance fee ?
reqmore() inform((_:result,entrance_fee,'free');(_:result,type,'Attraction'))
system
They have free admission . Is there anything else I can help you with ?
thank()
user
No , that 's all today , thank you !
system
You 're Welcome ! Have a great time !
_:search arrive_by 19:45
_:search departure cambridge
_:search leave_at 19:45
_:search type Train
_:search departure cambridge
_:search leave_at 19:45
_:result amount many
_:result type Train
_:search arrive_by 19:45
_:search day saturday
_:search destination ely
_:search type Train
_:search departure cambridge
_:search leave_at 19:45
_:result amount many
_:result type Train
_:search arrive_by 19:45
_:search day saturday
_:search destination ely
_:system offered _:booking
_:booking arrive_by 14:07
_:booking category Train
_:booking id TR9809
_:booking type Booking
_:search people one
_:search type Train
_:search departure cambridge
_:search leave_at 19:45
_:result amount many
_:result type Train
_:search arrive_by 19:45
_:search day saturday
_:search destination ely
_:system offered _:booking
_:booking arrive_by 14:07
_:booking id TR9809
_:search people one
_:system inquired _:user
_:booking category Train
_:booking ref AFTHGYEI
_:booking type Booking
_:search area centre
_:search type Attraction
_:search departure cambridge
_:search leave_at 19:45
_:result amount many
_:search arrive_by 19:45
_:search day saturday
_:search destination ely
_:system offered _:booking
_:booking arrive_by 14:07
_:booking id TR9809
_:search people one
_:system inquired _:user
_:booking category Train
_:booking ref AFTHGYEI
_:booking type Booking
_:search area centre
_:search type Attraction
_:result address market street in the centre
_:result name holy trinity church
_:result phone 01223355397
_:result type Attraction
_:result entrance_fee ?
_:search departure cambridge
_:search leave_at 19:45
_:result amount many
_:search arrive_by 19:45
_:search day saturday
_:search destination ely
_:system offered _:booking
_:booking arrive_by 14:07
_:booking id TR9809
_:search people one
_:booking category Train
_:booking ref AFTHGYEI
_:booking type Booking
_:search area centre
_:search type Attraction
_:result address market street in the centre
_:result name holy trinity church
_:result phone 01223355397
_:system inquired _:user
_:result entrance_fee free
_:result type Attraction