inform((_:search,departure,'cambridge');(_:search,destination,'norwich');(_:search,type,'Train'))
user
I need to get a train from cambridge to Norwich .
inform((_:result,arrive_by,'13:55');(_:result,leave_at,'12:36');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train leaving at 12:36 and arriving at 13:55 . Is that ok ?
inform((_:search,day,'monday');(_:search,leave_at,'20:30');(_:search,type,'Train'))
user
Actually no , I need a train leaving on Monday after 20:30 .
inform((_:result,leave_at,'20:36');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train which leaves at 20:36 . Would that work for you ?
inform((_:search,people,'4');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
book for 4 . get me the reference number please
inform((_:booking,category,'Train');(_:booking,ref,'RI594OCX');(_:booking,ticket,'70.4 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 70.4 GBP payable at the station .   Reference number is : RI594OCX .
thank()
user
Awesome . You 've been a great help . Thank you .
system
You 're very welcome . Goodbye .
_:search departure cambridge
_:search destination norwich
_:search type Train
_:search departure cambridge
_:search destination norwich
_:result arrive_by 13:55
_:result leave_at 12:36
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day monday
_:search leave_at 20:30
_:search type Train
_:search departure cambridge
_:search destination norwich
_:result arrive_by 13:55
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day monday
_:search leave_at 20:30
_:result leave_at 20:36
_:result type Train
_:search people 4
_:search type Train
_:result ref ?
_:search departure cambridge
_:search destination norwich
_:result arrive_by 13:55
_:system offered _:booking
_:search day monday
_:search leave_at 20:30
_:result leave_at 20:36
_:result type Train
_:search people 4
_:search type Train
_:result ref ?
_:booking category Train
_:booking ref RI594OCX
_:booking ticket 70.4 GBP
_:booking type Booking