inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need a train leaving from Cambridge .
request((_:search,day,?);(_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Absolutely , what day of departure and what destination location ?
inform((_:search,day,'wednesday');(_:search,destination,'london kings cross');(_:search,leave_at,'18:00');(_:search,type,'Train'))
user
I am heading to London Kings Cross and would need the train for Wednesday please . Oh and I need to leave after 18:00 sometime .
inform((_:result,arrive_by,'19:51');(_:result,id,'TR8676');(_:result,leave_at,'19:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Okay , the TR8676 	 train leaves at 19:00 and arrives at 19:51 . Would you like to purchase tickets ?
inform((_:search,people,'3');(_:search,type,'Train'))
user
Yes I need that for 3 people please .
inform((_:booking,category,'Train');(_:booking,ref,'JLCUPIN6');(_:booking,ticket,'70.8 GBP');(_:booking,type,'Booking'))
system
I have booked your tickets . 70.8 GBP is payable at the station . The reference number is JLCUPIN6
thank()
user
Thanks , that 's all I need . Have a nice day .
system
My pleasure . Thank you .
_:search departure cambridge
_:search type Train
_:search departure ?
_:search day wednesday
_:search destination london kings cross
_:search leave_at 18:00
_:search type Train
_:search departure ?
_:search day wednesday
_:search destination london kings cross
_:search leave_at 18:00
_:result arrive_by 19:51
_:result id TR8676
_:result leave_at 19:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 3
_:search type Train
_:search departure ?
_:search day wednesday
_:search destination london kings cross
_:search leave_at 18:00
_:result arrive_by 19:51
_:result id TR8676
_:result leave_at 19:00
_:result type Train
_:system offered _:booking
_:search people 3
_:search type Train
_:booking category Train
_:booking ref JLCUPIN6
_:booking ticket 70.8 GBP
_:booking type Booking