inform((_:search,day,'monday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I want to get train tickets for Monday please , leaving from Cambridge , if you would .
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train')) inform((_:result,day,'monday');(_:result,type,'Train'))
system
What time do you want to leave at on monday and where are you going to ?
inform((_:search,arrive_by,'16:45');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
Hello I need to arrive at london kings cross no later than 16:45 .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
I have several trains that will get you there on time . What time would you like to leave ?
inform((_:search,leave_at,"do n't have a preference");(_:search,type,'Train'))
user
I do n't have a preference on leave time .
inform((_:result,arrive_by,'05:51');(_:result,day,'monday');(_:result,departure,'cambridge');(_:result,destination,'london kings cross');(_:result,duration,'51 minutes');(_:result,id,'TR7075');(_:result,leave_at,'05:00');(_:result,ticket,'23.60 pounds');(_:result,type,'Train'))
system
TR7075 	 cambridge 	 london kings cross 	 monday 	 05:00 	 05:51 	 23.60 pounds 	 51 minutes
thank() request((_:result,ref,?);(_:result,type,'Train'))
user
thank you . can i get the reference number please
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets would you like ?
request((_:result,duration,?);(_:result,id,?);(_:result,leave_at,?);(_:result,type,'Train'))
user
I do n't need to book any tickets . I 'll need the departure time , travel time and train i d if you could specify them instead of just sending numbers .
inform((_:result,duration,'51 minutes');(_:result,id,'TR7075');(_:result,leave_at,'05:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR7075 train leaves at 05:00 and takes 51 minutes to travel .   Does that help ?
thank()
user
Okay , I believe that 's all I need . Thanks for your help .
reqmore()
system
Is there anything else I can help you with today ?
thank()
user
No , thanks . Nothing else .
system
You 're welcome . Thank you for using the TownInfo centre . Goodbye .
_:search day monday
_:search departure cambridge
_:search type Train
_:search day monday
_:search departure ?
_:search leave_at ?
_:result day monday
_:result type Train
_:search arrive_by 16:45
_:search destination london kings cross
_:search type Train
_:search day monday
_:search departure ?
_:result day monday
_:search arrive_by 16:45
_:search destination london kings cross
_:result amount several
_:result type Train
_:search leave_at do n't have a preference
_:search type Train
_:search day monday
_:search departure ?
_:search arrive_by 16:45
_:search destination london kings cross
_:result amount several
_:search leave_at do n't have a preference
_:search type Train
_:result arrive_by 05:51
_:result day monday
_:result departure cambridge
_:result destination london kings cross
_:result duration 51 minutes
_:result id TR7075
_:result leave_at 05:00
_:result ticket 23.60 pounds
_:result type Train
_:result ref ?
_:search day monday
_:search departure ?
_:search arrive_by 16:45
_:search destination london kings cross
_:result amount several
_:search leave_at do n't have a preference
_:result arrive_by 05:51
_:result day monday
_:result departure cambridge
_:result destination london kings cross
_:result duration 51 minutes
_:result id TR7075
_:result leave_at 05:00
_:result ticket 23.60 pounds
_:result type Train
_:result ref ?
_:search people ?
_:search type Train
_:result duration ?
_:result id ?
_:result leave_at ?
_:search day monday
_:search departure ?
_:search arrive_by 16:45
_:search destination london kings cross
_:result amount several
_:search leave_at do n't have a preference
_:result arrive_by 05:51
_:result day monday
_:result departure cambridge
_:result destination london kings cross
_:result ticket 23.60 pounds
_:result ref ?
_:search people ?
_:search type Train
_:result duration 51 minutes
_:result id TR7075
_:result leave_at 05:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day monday
_:search departure ?
_:search arrive_by 16:45
_:search destination london kings cross
_:result amount several
_:search leave_at do n't have a preference
_:result arrive_by 05:51
_:result day monday
_:result departure cambridge
_:result destination london kings cross
_:result ticket 23.60 pounds
_:result ref ?
_:search people ?
_:search type Train
_:result duration 51 minutes
_:result id TR7075
_:result leave_at 05:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user