inform((_:search,day,'thursday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Are there any trains leaving from Cambridge on Thursday ?
request((_:search,destination,?);(_:search,type,'Train'))
system
Yes there are . What is your destination ?
inform((_:search,destination,'broxbourne');(_:search,type,'Train'))
user
I 'm heading to Broxbourne .
inform((_:result,amount,'trains leaving hourly');(_:result,departure,'Cambridge');(_:result,destination,'Broxbourne');(_:result,leave_at,'5:01');(_:result,ticket,'17.90 pounds');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
We have trains leaving hourly from Cambridge to Broxbourne , starting at 5:01 for 17.90 pounds . What time would you like to leave ?
inform((_:search,arrive_by,'15:00');(_:search,type,'Train'))
user
I am looking for one that will arrive by 15:00
inform((_:result,arrive_by,'10:01');(_:result,id,'TR2125');(_:result,leave_at,'09:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR2125 leaves at 09:01 and arrives at 10:01 . Would you like me to book that for you ?
request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , I would also like the reference number for the booking please .
request((_:search,people,?);(_:search,type,'Train'))
system
Okay , how many tickets would you like ?
inform((_:search,people,'6');(_:search,type,'Train'))
user
I need that for 6 people .
inform((_:booking,category,'Train');(_:booking,day,'Thursday');(_:booking,id,'TR125');(_:booking,leave_at,'9:01');(_:booking,people,'6');(_:booking,ref,'PPP9YI7K');(_:booking,ticket,'107.4 GBP');(_:booking,type,'Booking')) reqmore()
system
You have 6 tickets on TR125 leaving Thursday at 9:01 .   Reference number is PPP9YI7K .   107.4 GBP will be payable at the station .   Can I help you further ?
thank()
user
No , I think I 'm all set . Thank you very much for your help !
system
Have a great day !
_:search day thursday
_:search departure cambridge
_:search type Train
_:search day thursday
_:search departure cambridge
_:search destination broxbourne
_:search type Train
_:search day thursday
_:search departure cambridge
_:search destination broxbourne
_:result amount trains leaving hourly
_:result departure Cambridge
_:result destination Broxbourne
_:result leave_at 5:01
_:result ticket 17.90 pounds
_:result type Train
_:search leave_at ?
_:search arrive_by 15:00
_:search type Train
_:search day thursday
_:search departure cambridge
_:search destination broxbourne
_:result amount trains leaving hourly
_:result departure Cambridge
_:result destination Broxbourne
_:result ticket 17.90 pounds
_:search leave_at ?
_:search arrive_by 15:00
_:search type Train
_:result arrive_by 10:01
_:result id TR2125
_:result leave_at 09:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:search day thursday
_:search departure cambridge
_:search destination broxbourne
_:result amount trains leaving hourly
_:result departure Cambridge
_:result destination Broxbourne
_:result ticket 17.90 pounds
_:search leave_at ?
_:search arrive_by 15:00
_:result arrive_by 10:01
_:result id TR2125
_:result leave_at 09:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:search people 6
_:search type Train
_:search day thursday
_:search departure cambridge
_:search destination broxbourne
_:result amount trains leaving hourly
_:result departure Cambridge
_:result destination Broxbourne
_:result ticket 17.90 pounds
_:search leave_at ?
_:search arrive_by 15:00
_:result arrive_by 10:01
_:result id TR2125
_:result leave_at 09:01
_:result type Train
_:system offered _:booking
_:result ref ?
_:search people 6
_:search type Train
_:booking category Train
_:booking day Thursday
_:booking id TR125
_:booking leave_at 9:01
_:booking people 6
_:booking ref PPP9YI7K
_:booking ticket 107.4 GBP
_:booking type Booking
_:system inquired _:user