inform((_:search,departure,'cambridge');(_:search,destination,'ely');(_:search,type,'Train'))
user
i am looking for a train . The train should go to ely and should depart from Cambridge .
request((_:search,day,?);(_:search,type,'Train'))
system
Of course , what day would you like to travel ?
inform((_:search,day,'sunday');(_:search,leave_at,'09:00');(_:search,type,'Train'))
user
I would like to leave after 09:00 on Sunday .
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are many departure times available . Did you have a specific time in mind ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
I just need to leave after 9:00 . Can you book for 7 people ?
inform((_:result,ref,'433N59V4');(_:result,ticket,'24.64');(_:result,type,'Train')) reqmore() inform((_:booking,arrive_by,'10:07');(_:booking,category,'Train');(_:booking,id,'TR1159');(_:booking,leave_at,'9:50');(_:booking,people,'7');(_:booking,type,'Booking'))
system
You are all booked for 7 people on TR1159 leaving at 9:50 and arriving by 10:07 . Reference # 433N59V4 . Fee is 24.64 payable at the station . Anything else ?
thank()
user
That 's all for today . Thanks for your help !
system
Your welcome .   Please let me know if you need anything else .
_:search departure cambridge
_:search destination ely
_:search type Train
_:search departure cambridge
_:search destination ely
_:search day sunday
_:search leave_at 09:00
_:search type Train
_:search departure cambridge
_:search destination ely
_:search day sunday
_:result amount many
_:result type Train
_:search leave_at ?
_:search people 7
_:search type Train
_:search departure cambridge
_:search destination ely
_:search day sunday
_:result amount many
_:search leave_at ?
_:search people 7
_:search type Train
_:result ref 433N59V4
_:result ticket 24.64
_:result type Train
_:system inquired _:user
_:booking arrive_by 10:07
_:booking category Train
_:booking id TR1159
_:booking leave_at 9:50
_:booking people 7
_:booking type Booking