inform((_:search,arrive_by,'14:30');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I am looking for a train leaving London Kings Cross and arriving by 14:30 .
request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train'))
system
Where are you departing from and what day would you like the train for ?
inform((_:search,day,'thursday');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I am leaving from london kings cross and I 'd like to leave on thursday .
request((_:search,destination,?);(_:search,type,'Train'))
system
Sure thing . What will your destination be ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm going to Cambridge
inform((_:result,amount,'plenty');(_:result,leave_at,'5:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
you have plenty of trains leaving from 5:17 every second hour onwards . Do you want me to book one ?
inform((_:search,leave_at,'10');(_:search,people,'7');(_:search,type,'Train'))
user
yes please book me something around 10 for 7 people
inform((_:booking,category,'Train');(_:booking,ref,'UR40DXM4');(_:booking,ticket,'165.2 GBP');(_:booking,type,'Booking'))
system
booking was done for   165.2 GBP , your ref number is UR40DXM4
thank()
user
great , that 's all , see you !
system
alywas there if you need me , bye !
_:search arrive_by 14:30
_:search departure london kings cross
_:search type Train
_:search arrive_by 14:30
_:search day thursday
_:search departure london kings cross
_:search type Train
_:search arrive_by 14:30
_:search day thursday
_:search departure london kings cross
_:search destination cambridge
_:search type Train
_:search arrive_by 14:30
_:search day thursday
_:search departure london kings cross
_:search destination cambridge
_:result amount plenty
_:result leave_at 5:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 10
_:search people 7
_:search type Train
_:search arrive_by 14:30
_:search day thursday
_:search departure london kings cross
_:search destination cambridge
_:result amount plenty
_:result leave_at 5:17
_:result type Train
_:system offered _:booking
_:search leave_at 10
_:search people 7
_:search type Train
_:booking category Train
_:booking ref UR40DXM4
_:booking ticket 165.2 GBP
_:booking type Booking