inform((_:search,day,'monday');(_:search,destination,'leicester');(_:search,type,'Train'))
user
Hi .   Can you please help me find a train to Leicester .   I need to leave on Monday .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Do you want to arrive or leave at a certain time ?
inform((_:search,departure,'cambridge');(_:search,leave_at,'20:00');(_:search,type,'Train'))
user
Yes , I need to leave sometime after 20:00 from Cambridge .   It does n't matter when I get there .
inform((_:result,id,'TR9424');(_:result,leave_at,'20:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Okay TR9424 departs at 20:21 . Would you like me to book that for you ?
inform((_:search,people,'five');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Could you book a trip for five people , and give me the reference number ?
inform((_:booking,category,'Train');(_:booking,ref,'Q0B623JD');(_:booking,ticket,'189 gbp');(_:booking,type,'Booking'))
system
I have those seats booked for you . Your reference number is Q0B623JD . You will pay 189 gbp at the station .
thank()
user
Thank you that 's all I needed today .
system
You 're welcome . Have a great day !
_:search day monday
_:search destination leicester
_:search type Train
_:search day monday
_:search destination leicester
_:search arrive_by ?
_:search departure cambridge
_:search leave_at 20:00
_:search type Train
_:search day monday
_:search destination leicester
_:search arrive_by ?
_:search departure cambridge
_:search leave_at 20:00
_:result id TR9424
_:result leave_at 20:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people five
_:search type Train
_:result ref ?
_:search day monday
_:search destination leicester
_:search arrive_by ?
_:search departure cambridge
_:search leave_at 20:00
_:result id TR9424
_:result leave_at 20:21
_:result type Train
_:system offered _:booking
_:search people five
_:search type Train
_:result ref ?
_:booking category Train
_:booking ref Q0B623JD
_:booking ticket 189 gbp
_:booking type Booking