inform((_:search,type,'Train'))
user
I could use some help finding a train for my stay with you .
thank() request((_:search,arrive_by,?);(_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
That wo n't be a problem . Can you please provide me with some addition details ? For example , what day and time you 'd like to travel ?
inform((_:search,day,'sunday');(_:search,type,'Train'))
user
I would like to travel on Sunday please .
inform((_:result,arrive_by,'5:51');(_:result,day,'Sunday');(_:result,departure,'Cambridge');(_:result,destination,'London Kings Cross');(_:result,id,'TR7423');(_:result,leave_at,'5');(_:result,type,'Train')) reqmore()
system
Any more details you would like to provide ? The TR7423 leaves Cambridge on Sunday at 5 , heads to London Kings Corss and arrives at 5:51 .
inform((_:search,day,'monday');(_:search,type,'Train'))
user
Oops .   Sorry .   My travel day is Monday not Sunday .   What do you have for that day .
inform((_:result,amount,'many');(_:result,day,'Monday');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
There are many trains running on Monday , what is your arrival destination ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
My arrival destination is Cambridge .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Okay when would you like to leave by ?
inform((_:search,arrive_by,'15:45');(_:search,type,'Train'))
user
I want to arrive by 15:45
request((_:search,departure,?);(_:search,type,'Train'))
system
What is your departure site ?
inform((_:search,departure,'kings lynn');(_:search,people,'5');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Kings Lynn . I need 5 tickets and my reference number
inform((_:result,arrive_by,'14:58');(_:result,id,'TR2257');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,people,'5');(_:booking,type,'Booking'))
system
TR2257 will arrive at 14:58 . Should I go ahead and book 5 tickets for this train ?
request((_:result,ref,?);(_:result,type,'Train'))
user
Yes that would be great also I need the reference number after you book it .
canthelp((_:booking,type,'Booking');(_:search,type,'Train'))
system
I 'm sorry , my booking system seems to be down . Can you try again later ?
thank()
user
Yea that is okay THank you
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR2257');(_:booking,people,'5');(_:booking,ref,'E720WBAI');(_:booking,type,'Booking'))
system
Train TR2257 has been booked for 5 seats . Your reference number is E720WBAI . Can I assist you with anything else today ?
thank()
user
no thanks that 's all
system
Thank you for using our service today !
_:search type Train
_:search arrive_by ?
_:search leave_at ?
_:search day sunday
_:search type Train
_:search arrive_by ?
_:search leave_at ?
_:result arrive_by 5:51
_:result day Sunday
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR7423
_:result leave_at 5
_:result type Train
_:system inquired _:user
_:search day monday
_:search type Train
_:search arrive_by ?
_:search leave_at ?
_:result arrive_by 5:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR7423
_:result leave_at 5
_:system inquired _:user
_:search day monday
_:result amount many
_:result day Monday
_:result type Train
_:search destination cambridge
_:search type Train
_:result arrive_by 5:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR7423
_:result leave_at 5
_:system inquired _:user
_:search day monday
_:result amount many
_:result day Monday
_:result type Train
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 15:45
_:search type Train
_:result arrive_by 5:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result id TR7423
_:result leave_at 5
_:system inquired _:user
_:search day monday
_:result amount many
_:result day Monday
_:result type Train
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 15:45
_:search departure kings lynn
_:search people 5
_:search type Train
_:result ref ?
_:result departure Cambridge
_:result destination London Kings Cross
_:result leave_at 5
_:system inquired _:user
_:search day monday
_:result amount many
_:result day Monday
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 15:45
_:search departure kings lynn
_:search people 5
_:search type Train
_:result ref ?
_:result arrive_by 14:58
_:result id TR2257
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking people 5
_:booking type Booking
_:result departure Cambridge
_:result destination London Kings Cross
_:result leave_at 5
_:system inquired _:user
_:search day monday
_:result amount many
_:result day Monday
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 15:45
_:search departure kings lynn
_:search people 5
_:search type Train
_:result ref ?
_:result arrive_by 14:58
_:result id TR2257
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking people 5
_:booking type Booking
_:system canthelp _:booking/169fc6a4
_:booking/169fc6a4 type Booking
_:system canthelp _:search/059dc48a
_:search/059dc48a type Train
_:result departure Cambridge
_:result destination London Kings Cross
_:result leave_at 5
_:search day monday
_:result amount many
_:result day Monday
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 15:45
_:search departure kings lynn
_:search people 5
_:search type Train
_:result ref ?
_:result arrive_by 14:58
_:result id TR2257
_:result type Train
_:system offered _:booking
_:system canthelp _:booking/169fc6a4
_:booking/169fc6a4 type Booking
_:system canthelp _:search/059dc48a
_:search/059dc48a type Train
_:system inquired _:user
_:booking category Train
_:booking id TR2257
_:booking people 5
_:booking ref E720WBAI
_:booking type Booking