inform((_:search,departure,'cambridge');(_:search,destination,'norwich');(_:search,type,'Train'))
user
Hello , I 'm looking for a train from Cambridge to Norwich .
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
Certainly , there are many trains going that route . Can you specify which day you 'd like to travel ?
inform((_:search,day,'saturday');(_:search,leave_at,'20:30');(_:search,type,'Train'))
user
Sorry .   I want to leave on Saturday after 20:30 .
inform((_:result,day,'Saturday');(_:result,leave_at,'20:36');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train Saturday at 20:36 . Does that work for you ?
inform((_:search,people,'5');(_:search,type,'Train'))
user
Yes that works great can I book that for 5 people please ?
reqmore() inform((_:booking,category,'Train');(_:booking,people,'5');(_:booking,ref,'CID6UHHF');(_:booking,ticket,'70.4 GBP');(_:booking,type,'Booking'))
system
I have confirmed booking for 5 tickets , your reference number is CID6UHHF .   The total fee is 70.4 GBP payable at the station . Can I help with anything else ?
thank()
user
Thanks , that 's all I need . Have a nice day .
system
Great ! I 'm glad we could help .
_:search departure cambridge
_:search destination norwich
_:search type Train
_:search departure cambridge
_:search destination norwich
_:result amount many
_:result type Train
_:search day saturday
_:search leave_at 20:30
_:search type Train
_:search departure cambridge
_:search destination norwich
_:result amount many
_:search day saturday
_:search leave_at 20:30
_:result day Saturday
_:result leave_at 20:36
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 5
_:search type Train
_:search departure cambridge
_:search destination norwich
_:result amount many
_:search day saturday
_:search leave_at 20:30
_:result day Saturday
_:result leave_at 20:36
_:result type Train
_:system offered _:booking
_:search people 5
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking people 5
_:booking ref CID6UHHF
_:booking ticket 70.4 GBP
_:booking type Booking