inform((_:search,arrive_by,'18:00');(_:search,destination,'stevenage');(_:search,type,'Train'))
user
am   looking for a train . The train should arrive by 18:00 and should go to stevenage .
request((_:search,departure,?);(_:search,type,'Train'))
system
Can you provide me with your departure site ?
inform((_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I am departing from cambridge on Tuesday .
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are many options available . Is there a certain time you would like to leave ?
inform((_:search,arrive_by,'18:00');(_:search,type,'Train'))
user
What one gets me there before , but closest to 18:00 ?
inform((_:result,arrive_by,'16:10');(_:result,id,'TR5343');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR5343 arrives at 16:10 . It is the closest to your required arrival time . Would you like to reserve any tickets today ?
thank()
user
No , I have decided not to book today , thank you , goodbye .
system
You 're welcome . Have a good day .
_:search arrive_by 18:00
_:search destination stevenage
_:search type Train
_:search arrive_by 18:00
_:search destination stevenage
_:search day tuesday
_:search departure cambridge
_:search type Train
_:search destination stevenage
_:search day tuesday
_:search departure cambridge
_:result amount many
_:result type Train
_:search leave_at ?
_:search arrive_by 18:00
_:search type Train
_:search destination stevenage
_:search day tuesday
_:search departure cambridge
_:result amount many
_:search leave_at ?
_:search arrive_by 18:00
_:search type Train
_:result arrive_by 16:10
_:result id TR5343
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking