inform((_:search,day,'wednesday');(_:search,leave_at,'16:00');(_:search,type,'Train'))
user
I need a train on Wednesday that leaves after 16:00 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where will you be leaving from and traveling to ?
inform((_:search,departure,'cambridge');(_:search,destination,'ely');(_:search,type,'Train'))
user
I would like to go to Ely , from Cambridge .
inform((_:result,id,'TR8610');(_:result,leave_at,'17:35');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I found TR8610 leaving at 17:35 would that work for you ?
inform((_:search,people,'one');(_:search,type,'Train')) request((_:result,duration,?);(_:result,id,?);(_:result,type,'Train'))
user
Yes . One ticket . I need the travel time and train ID .
reqmore() inform((_:booking,arrive_by,'18:07');(_:booking,category,'Train');(_:booking,day,'Wednesday');(_:booking,departure,'Cambridge');(_:booking,destination,'Ely');(_:booking,duration,'17 minutes');(_:booking,id,'TR1549');(_:booking,leave_at,'17:50');(_:booking,ref,'RHE56NAC');(_:booking,type,'Booking'))
system
Okay , I have you booked on TR1549 from Cambridge to Ely leaving Wednesday at 17:50 , arriving 17 minutes later at 18:07 . The reference number is RHE56NAC . Anything else today ?
thank()
user
I believe I am good for the moment thank you for your help .
system
You 're welcome !   Have a safe trip !   Goodbye .
_:search day wednesday
_:search leave_at 16:00
_:search type Train
_:search day wednesday
_:search leave_at 16:00
_:search departure cambridge
_:search destination ely
_:search type Train
_:search day wednesday
_:search leave_at 16:00
_:search departure cambridge
_:search destination ely
_:result id TR8610
_:result leave_at 17:35
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people one
_:search type Train
_:result duration ?
_:result id ?
_:search day wednesday
_:search leave_at 16:00
_:search departure cambridge
_:search destination ely
_:result id TR8610
_:result leave_at 17:35
_:result type Train
_:system offered _:booking
_:search people one
_:search type Train
_:result duration ?
_:result id ?
_:system inquired _:user
_:booking arrive_by 18:07
_:booking category Train
_:booking day Wednesday
_:booking departure Cambridge
_:booking destination Ely
_:booking duration 17 minutes
_:booking id TR1549
_:booking leave_at 17:50
_:booking ref RHE56NAC
_:booking type Booking