inform((_:search,day,'sunday');(_:search,type,'Train'))
user
Is there a train schedule for sunday ?
inform((_:result,amount,'many');(_:result,day,'Sundays');(_:result,type,'Train')) request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
There are many trains on Sundays . Do you have a departure point or destination in mind ?
inform((_:search,departure,'Cambride');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
Yes , departing from Cambride going to London Kings cross .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like to leave ?
inform((_:search,arrive_by,'14:00');(_:search,destination,'London Kings Cross');(_:search,leave_at,'dontcare');(_:search,type,'Train'))
user
I do n't have a preference for leave time . I need to arrive in London Kings Cross by 14:00 .
inform((_:result,arrive_by,'05:51');(_:result,day,'sunday');(_:result,departure,'cambridge');(_:result,destination,'london kings cross');(_:result,duration,'51 minutes');(_:result,id,'TR7423');(_:result,leave_at,'05:00');(_:result,ticket,'18.88 pounds');(_:result,type,'Train'))
system
there is the information TR7423 	 cambridge 	 london kings cross 	 sunday 	 05:00 	 05:51 	 18.88 pounds 	 51 minutes
thank()
user
Well , that is pretty early , but I think it will work . Thank you so much !
inform((_:booking,category,'Train');(_:booking,ref,'VJGOO2N8');(_:booking,ticket,'18.88 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 18.88 GBP payable at the station . 
 Reference number is : VJGOO2N8 .
thank()
user
Great , thanks for your help .
reqmore()
system
Do you need any further assistance ?
thank()
user
No that was all . Thanks
system
Thanks for allowing me to help you . Have a great day .
_:search day sunday
_:search type Train
_:search day sunday
_:result amount many
_:result day Sundays
_:result type Train
_:search departure Cambride
_:search destination london kings cross
_:search type Train
_:search day sunday
_:result amount many
_:result day Sundays
_:result type Train
_:search departure Cambride
_:search arrive_by 14:00
_:search destination London Kings Cross
_:search leave_at dontcare
_:search type Train
_:search day sunday
_:result amount many
_:search departure Cambride
_:search arrive_by 14:00
_:search destination London Kings Cross
_:search leave_at dontcare
_:search type Train
_:result arrive_by 05:51
_:result day sunday
_:result departure cambridge
_:result destination london kings cross
_:result duration 51 minutes
_:result id TR7423
_:result leave_at 05:00
_:result ticket 18.88 pounds
_:result type Train
_:search day sunday
_:result amount many
_:search departure Cambride
_:search arrive_by 14:00
_:search destination London Kings Cross
_:search leave_at dontcare
_:search type Train
_:result arrive_by 05:51
_:result day sunday
_:result departure cambridge
_:result destination london kings cross
_:result duration 51 minutes
_:result id TR7423
_:result leave_at 05:00
_:result ticket 18.88 pounds
_:result type Train
_:booking category Train
_:booking ref VJGOO2N8
_:booking ticket 18.88 GBP
_:booking type Booking
_:search day sunday
_:result amount many
_:search departure Cambride
_:search arrive_by 14:00
_:search destination London Kings Cross
_:search leave_at dontcare
_:search type Train
_:result arrive_by 05:51
_:result day sunday
_:result departure cambridge
_:result destination london kings cross
_:result duration 51 minutes
_:result id TR7423
_:result leave_at 05:00
_:result ticket 18.88 pounds
_:result type Train
_:booking category Train
_:booking ref VJGOO2N8
_:booking ticket 18.88 GBP
_:booking type Booking
_:system inquired _:user