inform((_:search,day,'saturday');(_:search,destination,'ely');(_:search,type,'Train'))
user
I am looking for a train that leaves Saturday going to ely , do you have a train with those details ?
inform((_:result,count,'10');(_:result,day,'Saturday');(_:result,departure,'Cambridge');(_:result,destination,'Ely');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,people,?);(_:search,type,'Train'))
system
There are 10 trains on Saturday that go to Ely from Cambridge . What time do you need to leave or arrive , and how many tickets do you need ?
inform((_:search,arrive_by,'13:00');(_:search,type,'Train'))
user
I need to arrive by 13:00 .
inform((_:result,arrive_by,'12:07');(_:result,count,'1');(_:result,id,'TR0718');(_:result,type,'Train'))
system
There is one train that arrives at 12:07 . That trainID isTR0718 .
inform((_:search,people,'4');(_:search,type,'Train'))
user
I need a booking for 4 people .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'IR7HSMG4');(_:booking,ticket,'14.08 GBP');(_:booking,type,'Booking'))
system
I 've done that . The price will be 14.08 GBP payable at the station . Your reference number is IR7HSMG4 . Any else I can do for you ?
user
No , that will be all
system
Thank you , you have been very helpful .
_:search day saturday
_:search destination ely
_:search type Train
_:search day saturday
_:search destination ely
_:result count 10
_:result day Saturday
_:result departure Cambridge
_:result destination Ely
_:result type Train
_:search leave_at ?
_:search people ?
_:search arrive_by 13:00
_:search type Train
_:search day saturday
_:search destination ely
_:result day Saturday
_:result departure Cambridge
_:result destination Ely
_:search leave_at ?
_:search arrive_by 13:00
_:result arrive_by 12:07
_:result count 1
_:result id TR0718
_:result type Train
_:search people 4
_:search type Train
_:search day saturday
_:search destination ely
_:result day Saturday
_:result departure Cambridge
_:result destination Ely
_:search leave_at ?
_:search arrive_by 13:00
_:result arrive_by 12:07
_:result count 1
_:result id TR0718
_:result type Train
_:search people 4
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref IR7HSMG4
_:booking ticket 14.08 GBP
_:booking type Booking