inform((_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I am looking for a train departing from london kings cross .
inform((_:result,count,'70');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
There are 70 trains departing , what is your destination ?
inform((_:search,arrive_by,'17:00');(_:search,day,'tuesday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I would like to arrive in Cambridge on Tuesday by 17:00 .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Of course . When would you like to leave ?
inform((_:search,arrive_by,'17:00');(_:search,destination,'Cambridge');(_:search,leave_at,'does not matter');(_:search,type,'Train'))
user
It does not matter as long as I am in Cambridge by 17:00 .
inform((_:result,arrive_by,'16:08');(_:result,id,'TR0269');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Sure , train TR0269 arrives by 16:08 . That is the last train to arrive by 17:00 . Would you like to book it ?
inform((_:search,people,'4');(_:search,type,'Train'))
user
Yes , please book the train for 4 people .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'F6JIDI3M');(_:booking,type,'Booking'))
system
That booking reference will be F6JIDI3M . Is there anything else I can help you with today ?
thank()
user
No , that 's all I needed . Thank you .
system
Okay .   Glad we could help .
_:search departure london kings cross
_:search type Train
_:search departure london kings cross
_:result count 70
_:result type Train
_:search arrive_by 17:00
_:search day tuesday
_:search destination cambridge
_:search type Train
_:search departure london kings cross
_:result count 70
_:result type Train
_:search day tuesday
_:search arrive_by 17:00
_:search destination Cambridge
_:search leave_at does not matter
_:search type Train
_:search departure london kings cross
_:result count 70
_:search day tuesday
_:search arrive_by 17:00
_:search destination Cambridge
_:search leave_at does not matter
_:result arrive_by 16:08
_:result id TR0269
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 4
_:search type Train
_:search departure london kings cross
_:result count 70
_:search day tuesday
_:search arrive_by 17:00
_:search destination Cambridge
_:search leave_at does not matter
_:result arrive_by 16:08
_:result id TR0269
_:result type Train
_:system offered _:booking
_:search people 4
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref F6JIDI3M
_:booking type Booking