inform((_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Looking for atrain leaving on Tuesday to Cambridge .
inform((_:result,count,'202');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
I found 202 trains matching your request . Where is your destination ?
inform((_:search,destination,'peterborough');(_:search,type,'Train'))
user
That 's a lot . I am going to Peterborough .
request((_:search,arrive_by,?);(_:search,type,'Train')) inform((_:result,destination,'Peterborough');(_:result,type,'Train'))
system
Are you wanting to arrive in Peterborough by a certain time ?
inform((_:search,destination,'peterborough');(_:search,leave_at,'15:30');(_:search,type,'Train'))
user
The train should leave after 15:30 and should go to peterborough .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
There are several trains that fit your requirements . Is there a specific time you 'd like to arrive ?
user
No , I can arrive at anytime .
inform((_:booking,category,'Train');(_:booking,id,'TR9561');(_:booking,ref,'YYF3B1A5');(_:booking,ticket,'16.50 pounds');(_:booking,type,'Booking'))
system
Train ID 	 TR9561 
 Price 	 16.50 pounds Reference number is : YYF3B1A5 .
thank()
user
Ok great , thanks for the help .
reqmore()
system
You are quite welcome . Do you need any further assistance ?
bye()
user
No , that is all . Good bye .
system
Thank you so much for calling . Goodbye now !
_:search day tuesday
_:search departure cambridge
_:search type Train
_:search day tuesday
_:search departure cambridge
_:result count 202
_:result type Train
_:search destination peterborough
_:search type Train
_:search day tuesday
_:search departure cambridge
_:result count 202
_:search arrive_by ?
_:result destination Peterborough
_:result type Train
_:search destination peterborough
_:search leave_at 15:30
_:search type Train
_:search day tuesday
_:search departure cambridge
_:result count 202
_:result destination Peterborough
_:search destination peterborough
_:search leave_at 15:30
_:result amount several
_:result type Train
_:search arrive_by ?
_:search type Train
_:search day tuesday
_:search departure cambridge
_:result count 202
_:result destination Peterborough
_:search destination peterborough
_:search leave_at 15:30
_:result amount several
_:result type Train
_:search arrive_by ?
_:search type Train
_:booking category Train
_:booking id TR9561
_:booking ref YYF3B1A5
_:booking ticket 16.50 pounds
_:booking type Booking
_:search day tuesday
_:search departure cambridge
_:result count 202
_:result destination Peterborough
_:search destination peterborough
_:search leave_at 15:30
_:result amount several
_:result type Train
_:search arrive_by ?
_:search type Train
_:booking category Train
_:booking id TR9561
_:booking ref YYF3B1A5
_:booking ticket 16.50 pounds
_:booking type Booking
_:system inquired _:user
_:user dismissed _:system