inform((_:search,arrive_by,'14:45');(_:search,day,'monday');(_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I would like to book a train for Monday departing from kings lynn and arriving at Cambridge at 14:45 .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like to leave by ?
inform((_:search,arrive_by,'14:45');(_:search,type,'Train')) request((_:result,leave_at,?);(_:result,type,'Train'))
user
Can you please provide me with the departure time of the train arriving by 14:45 or just before ?
inform((_:result,leave_at,'13:11');(_:result,type,'Train'))
system
The departure time is 13:11 .
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
What time is it scheduled to arrive ?
inform((_:result,leave_at,'13:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) reqmore()
system
The departure time is 13:11 .   May I book some tickets or provide you with further assistance today ?
thank()
user
Thanks so much for your help . That 's all today .
system
Okay , thank you so much for contacting us . Have a great trip !
_:search arrive_by 14:45
_:search day monday
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:search day monday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 14:45
_:search type Train
_:result leave_at ?
_:result type Train
_:search day monday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 14:45
_:search type Train
_:result leave_at 13:11
_:result type Train
_:result arrive_by ?
_:search day monday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 14:45
_:search type Train
_:result arrive_by ?
_:result leave_at 13:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user