inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need a train to Cambridge .
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Ok , when and where are you leaving from ?
inform((_:search,arrive_by,'14:00');(_:search,day,'saturday');(_:search,departure,'bishops stortford');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'll be leaving from bishops stortford on saturday , and I need to get to cambridge at or a little before 14:00 .
inform((_:result,arrive_by,'12:07');(_:result,destination,'Cambridge');(_:result,type,'Train')) request((_:search,people,?);(_:search,type,'Train'))
system
I can get you a train arriving at Cambridge at 12:07 , how many tickets will you be needing ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Just one , please .
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR4594');(_:booking,ticket,'8.08 pounds');(_:booking,type,'Booking'))
system
I booked Train ID TR4594 . 
 Your price is 	 8.08 pounds .   Is there anything else I can do for you ?
request((_:result,ref,?);(_:result,type,'Train'))
user
Yes I need the reference number for the booking please .
inform((_:result,ref,'MKL2A4KD');(_:result,type,'Train')) reqmore()
system
Yes that is MKL2A4KD . Is there anything else I can help you with today ?
thank()
user
No , that 's all . Thank you very much for your help .
system
You are welcome . Have a nice day .
_:search destination cambridge
_:search type Train
_:search leave_at ?
_:search arrive_by 14:00
_:search day saturday
_:search departure bishops stortford
_:search destination cambridge
_:search type Train
_:search leave_at ?
_:search arrive_by 14:00
_:search day saturday
_:search departure bishops stortford
_:search destination cambridge
_:result arrive_by 12:07
_:result destination Cambridge
_:result type Train
_:search people one
_:search type Train
_:search leave_at ?
_:search arrive_by 14:00
_:search day saturday
_:search departure bishops stortford
_:search destination cambridge
_:result arrive_by 12:07
_:result destination Cambridge
_:result type Train
_:search people one
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking id TR4594
_:booking ticket 8.08 pounds
_:booking type Booking
_:result ref ?
_:search leave_at ?
_:search arrive_by 14:00
_:search day saturday
_:search departure bishops stortford
_:search destination cambridge
_:result arrive_by 12:07
_:result destination Cambridge
_:search people one
_:search type Train
_:booking category Train
_:booking id TR4594
_:booking ticket 8.08 pounds
_:booking type Booking
_:result ref MKL2A4KD
_:result type Train
_:system inquired _:user