inform((_:search,day,'friday');(_:search,destination,'norwich');(_:search,type,'Train'))
user
I 'm are looking for a train . The train should leave on friday and should go to norwich
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,departure,?);(_:search,type,'Train'))
system
There are many trains available .   Where will you be departing from ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I will   be leaving from Cambridge .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
At what time would you like to leave or arrive ?
inform((_:search,arrive_by,'11:15');(_:search,type,'Train'))
user
I need to arrive by 11:15 .
inform((_:booking,category,'Train');(_:booking,ref,'XABOWRR6');(_:booking,ticket,'17.6 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 17.6 GBP payable at the station . 
 Reference number is : XABOWRR6 .
request((_:result,duration,?);(_:result,type,'Train'))
user
Ok , thank you . Can you also give me the travel time ?
inform((_:result,duration,'79 minute');(_:result,type,'Train')) reqmore()
system
You are looking at a 79 minute journey , any further questions today ?
request((_:result,id,?);(_:result,type,'Train'))
user
What is the train ID for the one you booked ?
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR8056');(_:booking,type,'Booking'))
system
The train ID is TR8056 . Can I help with anything else ?
thank()
user
No , that 's all I need . Thank you .
system
Okay , you 're welcome ! I hope you enjoy your trip !
_:search day friday
_:search destination norwich
_:search type Train
_:search day friday
_:search destination norwich
_:result amount many
_:result type Train
_:search departure cambridge
_:search type Train
_:search day friday
_:search destination norwich
_:result amount many
_:result type Train
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 11:15
_:search type Train
_:search day friday
_:search destination norwich
_:result amount many
_:result type Train
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 11:15
_:search type Train
_:booking category Train
_:booking ref XABOWRR6
_:booking ticket 17.6 GBP
_:booking type Booking
_:result duration ?
_:search day friday
_:search destination norwich
_:result amount many
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 11:15
_:search type Train
_:booking category Train
_:booking ref XABOWRR6
_:booking ticket 17.6 GBP
_:booking type Booking
_:result duration 79 minute
_:result type Train
_:system inquired _:user
_:result id ?
_:search day friday
_:search destination norwich
_:result amount many
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 11:15
_:search type Train
_:booking ref XABOWRR6
_:booking ticket 17.6 GBP
_:result duration 79 minute
_:result type Train
_:result id ?
_:system inquired _:user
_:booking category Train
_:booking id TR8056
_:booking type Booking