inform((_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Can you help me find a train that leaves cambridge ? I would also like to request that it be leaving on a tuesday .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
I have several leaving on that day . What is your destination ?
inform((_:search,destination,'kings lynn');(_:search,leave_at,'20:15');(_:search,type,'Train'))
user
I need to head to Kings Lynn and leave after 20:15 please .
inform((_:result,arrive_by,'21:58');(_:result,day,'Tuesday');(_:result,departure,'Cambridge');(_:result,destination,'Kings Lynn');(_:result,id,'TR8387');(_:result,leave_at,'21:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR8387 from Cambridge at 21:11 on Tuesday and arrive at Kings Lynn at 21:58 . Do you want me to book you a ride ?
request((_:result,ref,?);(_:result,type,'Hotel');(_:result,type,'Train'))
user
Yes can you please and send me the reference number .
request((_:search,people,?);(_:search,type,'Train'))
system
of course ! how many tickets ?
inform((_:search,name,'express by holiday inn cambridge');(_:search,type,'Hotel'))
user
Actually I 'll book on my own . Can you give me some information about a hotel called Express by Holiday Inn Cambridge ?
system
Sure thing what kinda of info are you looking for ?
inform((_:search,day,'sunday');(_:search,people,'3');(_:search,stay,'2');(_:search,type,'Hotel'))
user
I would like to book 2 nights for 3 people starting on Sunday .
inform((_:booking,ref,'B96VFV64');(_:booking,type,'Booking'))
system
Your booking was successful . your reservation number is   B96VFV64 .
thank()
user
thank you very much . that should be all I need .
system
Thank you for using our system !
_:search day tuesday
_:search departure cambridge
_:search type Train
_:search day tuesday
_:search departure cambridge
_:result amount several
_:result type Train
_:search destination kings lynn
_:search leave_at 20:15
_:search type Train
_:search day tuesday
_:search departure cambridge
_:result amount several
_:search destination kings lynn
_:search leave_at 20:15
_:search type Train
_:result arrive_by 21:58
_:result day Tuesday
_:result departure Cambridge
_:result destination Kings Lynn
_:result id TR8387
_:result leave_at 21:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:result type Hotel
_:search day tuesday
_:search departure cambridge
_:result amount several
_:search destination kings lynn
_:search leave_at 20:15
_:result arrive_by 21:58
_:result day Tuesday
_:result departure Cambridge
_:result destination Kings Lynn
_:result id TR8387
_:result leave_at 21:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:result type Hotel
_:search people ?
_:search name express by holiday inn cambridge
_:search type Hotel
_:search departure cambridge
_:result amount several
_:search destination kings lynn
_:search leave_at 20:15
_:result arrive_by 21:58
_:result day Tuesday
_:result departure Cambridge
_:result destination Kings Lynn
_:result id TR8387
_:result leave_at 21:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:result type Hotel
_:search name express by holiday inn cambridge
_:search day sunday
_:search people 3
_:search stay 2
_:search type Hotel
_:search departure cambridge
_:result amount several
_:search destination kings lynn
_:search leave_at 20:15
_:result arrive_by 21:58
_:result day Tuesday
_:result departure Cambridge
_:result destination Kings Lynn
_:result id TR8387
_:result leave_at 21:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:result ref ?
_:result type Hotel
_:search name express by holiday inn cambridge
_:search day sunday
_:search people 3
_:search stay 2
_:search type Hotel
_:booking ref B96VFV64
_:booking type Booking