inform((_:search,destination,'leicester');(_:search,leave_at,'14:45');(_:search,type,'Train'))
user
Hi ! I need a train to Leicester . I want to leave after 14:45 .
request((_:search,day,?);(_:search,type,'Train'))
system
No problem . What day will that be for ?
inform((_:search,day,'thursday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
For Thursday please and I want to go to Cambridge .
inform((_:result,departure,'cambridge');(_:result,destination,'leicester');(_:result,id,'TR939');(_:result,leave_at,'15:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR939 leaves cambridge and goes to leicester at 15:21 would that work for you ?
inform((_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Actually I need a train leaving leicester going to Cambridge . Not the reverse .
inform((_:result,arrive_by,'16:54');(_:result,departure,'Leicester');(_:result,destination,'Cambridge');(_:result,id,'TR1575');(_:result,leave_at,'15:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I 'm sorry .   Yes , train TR1575 will arrive in Cambridge by 16:54 . It leaves Leicester at 15:09 .   Can I book it for you ?
inform((_:search,people,'5');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , please . I need tickets for 5 people and a reference number , if possible .
inform((_:booking,category,'Train');(_:booking,people,'5');(_:booking,ref,'2YCGD64V');(_:booking,type,'Booking'))
system
You got it , 5 tickets were booked , reference number is 2YCGD64V .
thank()
user
Thank you for your help .
system
No problem .   Glad to be of assistance .
_:search destination leicester
_:search leave_at 14:45
_:search type Train
_:search leave_at 14:45
_:search day thursday
_:search destination cambridge
_:search type Train
_:search leave_at 14:45
_:search day thursday
_:result departure cambridge
_:result destination leicester
_:result id TR939
_:result leave_at 15:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure leicester
_:search destination cambridge
_:search type Train
_:search leave_at 14:45
_:search day thursday
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure leicester
_:search destination cambridge
_:result arrive_by 16:54
_:result departure Leicester
_:result destination Cambridge
_:result id TR1575
_:result leave_at 15:09
_:result type Train
_:search people 5
_:search type Train
_:result ref ?
_:search leave_at 14:45
_:search day thursday
_:system offered _:booking
_:search departure leicester
_:search destination cambridge
_:result arrive_by 16:54
_:result departure Leicester
_:result destination Cambridge
_:result id TR1575
_:result leave_at 15:09
_:result type Train
_:search people 5
_:search type Train
_:result ref ?
_:booking category Train
_:booking people 5
_:booking ref 2YCGD64V
_:booking type Booking