inform((_:search,day,'monday');(_:search,departure,'norwich');(_:search,type,'Train'))
user
I am looking for a train from norwich on monday .
inform((_:result,count,'19');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
I found 19 trains that match your request . Where is your destination ?
inform((_:search,destination,'cambridge');(_:search,leave_at,'17:00');(_:search,type,'Train'))
user
The train should leave after 17:00 and should go to cambridge .
select((_:result,day,'Monday');(_:result,id,'TR7514');(_:result,leave_at,'17:16');(_:result,type,'Train'))
system
How about TR7514 that leaves at 17:16 on Monday ?
inform((_:search,people,'6');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
That would be perfect . Could you book it for 6 people and provide me a reference number ?
inform((_:booking,category,'Train');(_:booking,people,'6');(_:booking,ref,'4REIIUM5');(_:booking,ticket,'105.6');(_:booking,type,'Booking'))
system
I 've booked 6 tickets , the fee is 105.6 and the reference number is 4REIIUM5 .
thank()
user
Thank you for your help .
reqmore()
system
You are welcome . Can I assist with anything else today ?
thank()
user
No that is all . Thanks , goodbye .
system
Thank you , goodbye
_:search day monday
_:search departure norwich
_:search type Train
_:search day monday
_:search departure norwich
_:result count 19
_:result type Train
_:search destination cambridge
_:search leave_at 17:00
_:search type Train
_:search day monday
_:search departure norwich
_:result count 19
_:search destination cambridge
_:search leave_at 17:00
_:result day Monday
_:result id TR7514
_:result leave_at 17:16
_:result type Train
_:search people 6
_:search type Train
_:result ref ?
_:search day monday
_:search departure norwich
_:result count 19
_:search destination cambridge
_:search leave_at 17:00
_:result day Monday
_:result id TR7514
_:result leave_at 17:16
_:result type Train
_:search people 6
_:search type Train
_:result ref ?
_:booking category Train
_:booking people 6
_:booking ref 4REIIUM5
_:booking ticket 105.6
_:booking type Booking
_:search day monday
_:search departure norwich
_:result count 19
_:search destination cambridge
_:search leave_at 17:00
_:result day Monday
_:result id TR7514
_:result leave_at 17:16
_:result type Train
_:search people 6
_:search type Train
_:result ref ?
_:booking category Train
_:booking people 6
_:booking ref 4REIIUM5
_:booking ticket 105.6
_:booking type Booking
_:system inquired _:user