inform((_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need to book a train from Leicester to Cambridge .   Can you help me with this ?
inform((_:result,count,'133');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are 133 trains making that trip , do you have a day and time you would like to travel ?
inform((_:search,day,'sunday');(_:search,leave_at,'15:30');(_:search,type,'Train'))
user
I would like to leave Sunday after 15:30 .   Are there still any available >
inform((_:result,departure,'Leicester');(_:result,id,'TR1784');(_:result,leave_at,'16:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR1784 departs Leicester at 16:09 , would that work for you ?
inform((_:search,people,'1');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes . Please make a booking for 1 and be sure to give me a reference number .
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR7472');(_:booking,ref,'CUPCJMGO');(_:booking,ticket,'30.24 GBP');(_:booking,type,'Booking'))
system
You are all set for train TR7472 . It will cost 30.24 GBP , payable at the station .   The reference number is CUPCJMGO .   Can I help you further ?
thank()
user
Great . That is all I need . Thank you for your help .
bye()
system
You 're welcome , enjoy your trip .
thank()
user
Thank you so much !
system
You 're very welcome . Thank you so much for using our service .
_:search departure leicester
_:search destination cambridge
_:search type Train
_:search departure leicester
_:search destination cambridge
_:result count 133
_:result type Train
_:search day sunday
_:search leave_at 15:30
_:search type Train
_:search departure leicester
_:search destination cambridge
_:result count 133
_:search day sunday
_:search leave_at 15:30
_:result departure Leicester
_:result id TR1784
_:result leave_at 16:09
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 1
_:search type Train
_:result ref ?
_:search departure leicester
_:search destination cambridge
_:result count 133
_:search day sunday
_:search leave_at 15:30
_:result departure Leicester
_:result id TR1784
_:result leave_at 16:09
_:result type Train
_:system offered _:booking
_:search people 1
_:search type Train
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking id TR7472
_:booking ref CUPCJMGO
_:booking ticket 30.24 GBP
_:booking type Booking
_:search departure leicester
_:search destination cambridge
_:result count 133
_:search day sunday
_:search leave_at 15:30
_:result departure Leicester
_:result id TR1784
_:result leave_at 16:09
_:result type Train
_:system offered _:booking
_:search people 1
_:search type Train
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking id TR7472
_:booking ref CUPCJMGO
_:booking ticket 30.24 GBP
_:booking type Booking
_:system dismissed _:user