inform((_:search,arrive_by,'20:30');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need help finding a train . It needs to be going to Cambridge and should arrive by 20:30 .
inform((_:result,count,'1');(_:result,departure,'London kings cross');(_:result,ref,'VURC2CKA');(_:result,type,'Train'))
system
There is one leaving from London kings cross the refernce number is VURC2CKA
inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
I need to leave on Tuesday .   Does that one leave on Tuesday ?
inform((_:result,arrive_by,'20:23');(_:result,day,'tuesday');(_:result,departure,'birmingham new street');(_:result,destination,'cambridge');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train that leaves from birmingham new street on tuesday that arrives at cambridge at 20:23 . Shall I book this for you ?
inform((_:search,departure,'leicester');(_:search,type,'Train'))
user
No , I need to leave from Leicester .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Very well . What time would you like to leave ?
inform((_:search,leave_at,'dontcare');(_:search,type,'Train'))
user
I do n't care , just make sure i can be there by 20:30 .
inform((_:result,arrive_by,'10:54');(_:result,day,'Tuesday');(_:result,departure,'leicester');(_:result,destination,'cambridge');(_:result,id,'TR0363');(_:result,leave_at,'09:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR0363 departs leicester at 09:09 and arrives in cambridge at 10:54 on Tuesday . Would you like me to book that for you ?
inform((_:search,people,'three');(_:search,type,'Train'))
user
Yes I need three seats on the train please .
inform((_:booking,category,'Train');(_:booking,ref,'BG6NO020');(_:booking,ticket,'113.40 pounds');(_:booking,type,'Booking'))
system
Great I got you three seats on that train for a total cost of 113.40 pounds . Your reference number is BG6NO020 .
user
Okay That is all I need .
system
Thank you for using Cambridge TownInfo centre . Have a nice day !
_:search arrive_by 20:30
_:search destination cambridge
_:search type Train
_:search arrive_by 20:30
_:search destination cambridge
_:result count 1
_:result departure London kings cross
_:result ref VURC2CKA
_:result type Train
_:search day tuesday
_:search type Train
_:search arrive_by 20:30
_:search destination cambridge
_:result count 1
_:result ref VURC2CKA
_:search day tuesday
_:result arrive_by 20:23
_:result day tuesday
_:result departure birmingham new street
_:result destination cambridge
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure leicester
_:search type Train
_:search arrive_by 20:30
_:search destination cambridge
_:result count 1
_:result ref VURC2CKA
_:search day tuesday
_:result arrive_by 20:23
_:result day tuesday
_:result departure birmingham new street
_:result destination cambridge
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure leicester
_:search leave_at dontcare
_:search type Train
_:search arrive_by 20:30
_:search destination cambridge
_:result count 1
_:result ref VURC2CKA
_:search day tuesday
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure leicester
_:search leave_at dontcare
_:result arrive_by 10:54
_:result day Tuesday
_:result departure leicester
_:result destination cambridge
_:result id TR0363
_:result leave_at 09:09
_:result type Train
_:search people three
_:search type Train
_:search arrive_by 20:30
_:search destination cambridge
_:result count 1
_:result ref VURC2CKA
_:search day tuesday
_:system offered _:booking
_:search departure leicester
_:search leave_at dontcare
_:result arrive_by 10:54
_:result day Tuesday
_:result departure leicester
_:result destination cambridge
_:result id TR0363
_:result leave_at 09:09
_:result type Train
_:search people three
_:search type Train
_:booking category Train
_:booking ref BG6NO020
_:booking ticket 113.40 pounds
_:booking type Booking