inform((_:search,day,'monday');(_:search,departure,'ely');(_:search,type,'Train'))
user
I 'd like to find a train that departs from Ely on Monday , please !
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Ok , I just need a little more information . What 's your destination and what time would you like to leave ?
inform((_:search,destination,'cambridge');(_:search,leave_at,'13:15');(_:search,type,'Train'))
user
I need to leave after 13:15 and I am going to Cambridge .
inform((_:result,count,'6');(_:result,day,'Monday');(_:result,leave_at,'13:15');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
We have 6 trains leaving after 13:15 on Monday . Was there a specific time you wanted to arrive by ?
request((_:result,arrive_by,?);(_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Any of them will do . Can you tell me the price , arrival time and train ID of at least one option ?
inform((_:result,arrive_by,'13:52');(_:result,id,'TR4849');(_:result,leave_at,'13:35');(_:result,ticket,'4.40 pounds');(_:result,type,'Train')) reqmore()
system
I have the TR4849 that leaves at 13:35 and arrives by 13:52 . It is 4.40 pounds . Is there anything else I can help you with ?
thank()
user
I think that is all I need , thank you .
system
You 're welcome . Have a great day !
_:search day monday
_:search departure ely
_:search type Train
_:search day monday
_:search departure ?
_:search destination cambridge
_:search leave_at 13:15
_:search type Train
_:search day monday
_:search departure ?
_:search destination cambridge
_:search leave_at 13:15
_:result count 6
_:result day Monday
_:result leave_at 13:15
_:result type Train
_:search arrive_by ?
_:search type Train
_:result arrive_by ?
_:result id ?
_:result ticket ?
_:search day monday
_:search departure ?
_:search destination cambridge
_:search leave_at 13:15
_:result count 6
_:result day Monday
_:search arrive_by ?
_:search type Train
_:result arrive_by 13:52
_:result id TR4849
_:result leave_at 13:35
_:result ticket 4.40 pounds
_:result type Train
_:system inquired _:user