inform((_:search,day,'monday');(_:search,leave_at,'16:45');(_:search,type,'Train'))
user
I am looking for a train . The train should leave on monday and should leave after 16:45
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where are you going and where are you headed ?
inform((_:search,day,'monday');(_:search,departure,'stevenage');(_:search,destination,'cambridge');(_:search,leave_at,'16:45');(_:search,type,'Train'))
user
The train should leave on monday and should leave after 16:45 , departing from stevenage and should go to cambridge .
inform((_:result,amount,'a train');(_:result,leave_at,'17:54');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train that departs at 17:54 and meets your criteria . Would you like me to book it for you ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
Can you book passage for 7 people , please ?
inform((_:booking,category,'Train');(_:booking,ref,'3FDGDHDS');(_:booking,ticket,'89.6 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 89.6 GBP payable at the station . 
 Reference number is : 3FDGDHDS .
thank()
user
Thank you for your help .
thank()
system
You are more than welcome !
bye()
user
Have a wonderful day !
reqmore()
system
Thank you for using our services . Do you need any further assistance ?
bye()
user
No that was all . Goodbye .
system
Thanks for using the Cambridge TownInfo centre . Goodbye .
_:search day monday
_:search leave_at 16:45
_:search type Train
_:search day monday
_:search departure stevenage
_:search destination cambridge
_:search leave_at 16:45
_:search type Train
_:search day monday
_:search departure stevenage
_:search destination cambridge
_:search leave_at 16:45
_:result amount a train
_:result leave_at 17:54
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:search day monday
_:search departure stevenage
_:search destination cambridge
_:search leave_at 16:45
_:result amount a train
_:result leave_at 17:54
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:booking category Train
_:booking ref 3FDGDHDS
_:booking ticket 89.6 GBP
_:booking type Booking
_:search day monday
_:search departure stevenage
_:search destination cambridge
_:search leave_at 16:45
_:result amount a train
_:result leave_at 17:54
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:booking category Train
_:booking ref 3FDGDHDS
_:booking ticket 89.6 GBP
_:booking type Booking
_:user dismissed _:system
_:search day monday
_:search departure stevenage
_:search destination cambridge
_:search leave_at 16:45
_:result amount a train
_:result leave_at 17:54
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:booking category Train
_:booking ref 3FDGDHDS
_:booking ticket 89.6 GBP
_:booking type Booking
_:system inquired _:user
_:user dismissed _:system