inform((_:search,arrive_by,'9:30');(_:search,day,'wednesday');(_:search,leave_at,'none');(_:search,type,'Train'))
user
I 'm looking for a train that leaves Wednesday and arrives by 9:30 .
request((_:search,departure,?);(_:search,type,'Train'))
system
Where is your departure from ?
inform((_:search,departure,'kings lynn');(_:search,type,'Train'))
user
Oh , sorry coming in from Kings Lynn
inform((_:result,arrive_by,'8:58');(_:result,departure,'Kings Lynn');(_:result,destination,'Cambridge');(_:result,id,'TR4638');(_:result,leave_at,'8:11');(_:result,type,'Train'))
system
I have train TR4638 from Kings Lynn to Cambridge departing at 8:11 and arriving at 8:58 . Would that work for you ?
inform((_:search,people,'six');(_:search,type,'Train'))
user
May I make a booking for six people ?
inform((_:booking,category,'Train');(_:booking,ref,'WGS360AQ');(_:booking,ticket,'58.8 GBP');(_:booking,type,'Booking'))
system
I have successfully booked your tickets . 58.8 GBP is payable at the station . The reference number is WGS360AQ
thank()
user
Great . Thank you .
system
Have a great day !
_:search arrive_by 9:30
_:search day wednesday
_:search leave_at none
_:search type Train
_:search arrive_by 9:30
_:search day wednesday
_:search leave_at none
_:search departure kings lynn
_:search type Train
_:search arrive_by 9:30
_:search day wednesday
_:search leave_at none
_:search departure kings lynn
_:result arrive_by 8:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR4638
_:result leave_at 8:11
_:result type Train
_:search people six
_:search type Train
_:search arrive_by 9:30
_:search day wednesday
_:search leave_at none
_:search departure kings lynn
_:result arrive_by 8:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR4638
_:result leave_at 8:11
_:result type Train
_:search people six
_:search type Train
_:booking category Train
_:booking ref WGS360AQ
_:booking ticket 58.8 GBP
_:booking type Booking