inform((_:search,day,'wednesday');(_:search,type,'Train'))
user
I need to see some train times for Wednesday .
inform((_:result,count,'404');(_:result,day,'Wednesday');(_:result,type,'Train')) request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
There are 404 trains running on Wednesday , what point of departure and point of arrival are you interested in ?
inform((_:search,arrive_by,'16:30');(_:search,departure,'ely');(_:search,type,'Train'))
user
I need to depart from ely and arrive by 16:30 .
inform((_:result,leave_at,'5:35');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
I can help you with that . How early do you want to leave because we have trains running as early as 5:35
inform((_:search,arrive_by,'16:30');(_:search,type,'Train'))
user
i want to arrive by 16:30 if possible .
inform((_:result,arrive_by,'15:52');(_:result,day,'Wednesday');(_:result,departure,'Ely');(_:result,id,'TR2211');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR2211 will   leave Ely Wednesday arriving at 15:52 .   Would you like to book that one ?
thank()
user
Yes book that for me thank you
offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I will book that for you now .
thank() request((_:result,ref,?);(_:result,type,'Train'))
user
Thank   you and I need a reference number
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets will you need ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Just one ticket and thank you
inform((_:booking,category,'Train');(_:booking,ref,'EHRSRM7K');(_:booking,ticket,'4.4 GBP');(_:booking,type,'Booking'))
system
Okay . I have booked one ticket for you . The reference number is EHRSRM7K and it will cost 4.4 GBP .
thank()
user
No , that is all . Thank you so much . Goodbye
system
Thank you for using our system !
_:search day wednesday
_:search type Train
_:search day wednesday
_:result count 404
_:result day Wednesday
_:result type Train
_:search destination ?
_:search arrive_by 16:30
_:search departure ely
_:search type Train
_:search day wednesday
_:result count 404
_:result day Wednesday
_:search destination ?
_:search departure ely
_:result leave_at 5:35
_:result type Train
_:search leave_at ?
_:search arrive_by 16:30
_:search type Train
_:search day wednesday
_:result count 404
_:search destination ?
_:search departure ely
_:result leave_at 5:35
_:search leave_at ?
_:search arrive_by 16:30
_:search type Train
_:result arrive_by 15:52
_:result day Wednesday
_:result departure Ely
_:result id TR2211
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day wednesday
_:result count 404
_:search destination ?
_:search departure ely
_:result leave_at 5:35
_:search leave_at ?
_:search arrive_by 16:30
_:search type Train
_:result arrive_by 15:52
_:result day Wednesday
_:result departure Ely
_:result id TR2211
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:search day wednesday
_:result count 404
_:search destination ?
_:search departure ely
_:result leave_at 5:35
_:search leave_at ?
_:search arrive_by 16:30
_:result arrive_by 15:52
_:result day Wednesday
_:result departure Ely
_:result id TR2211
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:search people one
_:search type Train
_:search day wednesday
_:result count 404
_:search destination ?
_:search departure ely
_:result leave_at 5:35
_:search leave_at ?
_:search arrive_by 16:30
_:result arrive_by 15:52
_:result day Wednesday
_:result departure Ely
_:result id TR2211
_:result type Train
_:system offered _:booking
_:result ref ?
_:search people one
_:search type Train
_:booking category Train
_:booking ref EHRSRM7K
_:booking ticket 4.4 GBP
_:booking type Booking