inform((_:search,destination,'london kings crossing');(_:search,leave_at,'8:45');(_:search,type,'Train'))
user
I need to book a train for 8:45 to go to london kings crossing .
request((_:search,day,?);(_:search,type,'Train'))
system
What day are you planning to travel ?
inform((_:search,day,'friday');(_:search,type,'Train'))
user
I would like to travel on Friday .
request((_:search,leave_at,?);(_:search,type,'Train')) inform((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I 'm sorry I do nt ' have any trains for that day . Would you like to leave at a different time ?
inform((_:search,day,'friday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I will be leaving from Cambridge on Friday .
inform((_:result,leave_at,'09:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The earliest train I have is at 09:00 .   Is that ok ?
request((_:result,arrive_by,?);(_:result,duration,?);(_:result,id,?);(_:result,type,'Train'))
user
That 's fine . Can you give me the arrival time , travel time , and train ID please ?
inform((_:result,arrive_by,'9:51');(_:result,duration,'51 minutes');(_:result,id,'TR2000');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR2000 takes 51 minutes to arrive at by 9:51 . Would you like me to reserve this for you ?
thank()
user
Nope , that 's all I needed . Thanks !
system
Thank you for using the Cambridge TownInfo Centre , and have a great day !
_:search destination london kings crossing
_:search leave_at 8:45
_:search type Train
_:search destination london kings crossing
_:search leave_at 8:45
_:search day friday
_:search type Train
_:search destination london kings crossing
_:search leave_at ?
_:booking category Train
_:booking type Booking
_:search day friday
_:search departure cambridge
_:search type Train
_:search destination london kings crossing
_:search leave_at ?
_:booking category Train
_:booking type Booking
_:search day friday
_:search departure cambridge
_:search type Train
_:result leave_at 09:00
_:result type Train
_:system offered _:booking
_:result arrive_by ?
_:result duration ?
_:result id ?
_:search destination london kings crossing
_:search leave_at ?
_:booking category Train
_:booking type Booking
_:search day friday
_:search departure cambridge
_:search type Train
_:result leave_at 09:00
_:system offered _:booking
_:result arrive_by 9:51
_:result duration 51 minutes
_:result id TR2000
_:result type Train