inform((_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I need a train out of London Kings Cross .
request((_:search,day,?);(_:search,destination,?);(_:search,type,'Train'))
system
Traveling on what day and to where ?
inform((_:search,day,'thursday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
The train should go to Cambridge on Thursday .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Okay , and do you have a preferred time to leave or arrive ?
inform((_:search,leave_at,'13:00');(_:search,people,'5');(_:search,type,'Train'))
user
I would like to leave after 13:00 for 5 people please .
inform((_:result,arrive_by,'14:08');(_:result,departure,'london kings cross');(_:result,destination,'cambridge');(_:result,id,'TR2512');(_:result,leave_at,'13:17');(_:result,ticket,'23.60 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR2512 leaves london kings cross at 13:17 and arrives cambridge at 14:08 . It 's price is 23.60 pounds per person . Shall I book it ?
inform((_:search,people,'5');(_:search,type,'Train'))
user
Yes please . I would like 5 tickets please .
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR2512');(_:booking,people,'5');(_:booking,ref,'LBJRMI8Y');(_:booking,ticket,'118 GBP');(_:booking,type,'Booking'))
system
OK , you have 5 tickets reserved on TR2512 . Total fee is 118 GBP . Your reference # is LBJRMI8Y . Can I help with anything else today ?
thank()
user
Great that was all I needed thank you for your help !
system
You 're welcome . Have a lovely trip ! Goodbye !
_:search departure london kings cross
_:search type Train
_:search departure london kings cross
_:search day thursday
_:search destination cambridge
_:search type Train
_:search departure london kings cross
_:search day thursday
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 13:00
_:search people 5
_:search type Train
_:search departure london kings cross
_:search day thursday
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 13:00
_:result arrive_by 14:08
_:result departure london kings cross
_:result destination cambridge
_:result id TR2512
_:result leave_at 13:17
_:result ticket 23.60 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 5
_:search type Train
_:search departure london kings cross
_:search day thursday
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 13:00
_:result arrive_by 14:08
_:result departure london kings cross
_:result destination cambridge
_:result id TR2512
_:result leave_at 13:17
_:result ticket 23.60 pounds
_:result type Train
_:system offered _:booking
_:search people 5
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking id TR2512
_:booking people 5
_:booking ref LBJRMI8Y
_:booking ticket 118 GBP
_:booking type Booking