inform((_:search,departure,'london liverpool');(_:search,type,'Train'))
user
I am looking for a train departing from london liverpool please .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
I 'll be glad to help . You would like to from london liverpool street to what destination , please ?
inform((_:search,day,'friday');(_:search,destination,'cambridge');(_:search,leave_at,'10:00');(_:search,type,'Train'))
user
Cambridge . I 'd like to leave after 10:00 on Friday .
inform((_:result,count,'7');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
I have seven trains , could you tell me when you would like to arrive by ?
inform((_:search,leave_at,'10:00');(_:search,type,'Train')) request((_:result,id,?);(_:result,type,'Train'))
user
Just any time after 10:00 , can I get the train ID of one of them please ?
inform((_:result,id,'TR7943');(_:result,leave_at,'11:39');(_:result,type,'Train'))
system
TR7943 leaves at 11:39
thank()
user
Thank you very much ! That is all I need for today .
system
Have a great day !
_:search departure london liverpool
_:search type Train
_:search departure ?
_:search day friday
_:search destination cambridge
_:search leave_at 10:00
_:search type Train
_:search departure ?
_:search day friday
_:search destination cambridge
_:result count 7
_:result type Train
_:search arrive_by ?
_:search leave_at 10:00
_:search type Train
_:result id ?
_:search departure ?
_:search day friday
_:search destination cambridge
_:result count 7
_:search arrive_by ?
_:search leave_at 10:00
_:search type Train
_:result id TR7943
_:result leave_at 11:39
_:result type Train