inform((_:search,departure,'norwich');(_:search,type,'Train'))
user
I am looking for a train leaving from Norwich .
request((_:search,leave_at,?);(_:search,type,'Train')) thank()
system
Sure . What time are you looking to leave ?
inform((_:search,leave_at,'09:45');(_:search,type,'Train'))
user
I would like to leave after 09:45
request((_:search,day,?);(_:search,type,'Train'))
system
Which day are you looking to travel ?
inform((_:search,day,'tuesday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am looking to go to cambridge on tuesday
inform((_:result,arrive_by,'11:35');(_:result,count,'14');(_:result,duration,'79 minutes');(_:result,id,'TR0667');(_:result,leave_at,'hourly on the : 16 from 10:16 to 23:16');(_:result,type,'Train'))
system
Okay , I have 14 trains on that route leaving hourly on the : 16 from 10:16 to 23:16 . TR0667 leaves at 10:16 , arrives at 11:35 , with a total duration of 79 minutes .
inform((_:search,leave_at,'11:16');(_:search,type,'Train'))
user
Ok , do you have one that leaves at 11:16 ?   Can you provide me with the train i d for that one ?
inform((_:result,id,'TR0839');(_:result,leave_at,'11:16');(_:result,type,'Train'))
system
Yes , a train leaves at 11:16 with the ID TR0839 .
thank()
user
Thank you very much for your help !
system
Glad I could be of assistance .
_:search departure norwich
_:search type Train
_:search departure norwich
_:search leave_at 09:45
_:search type Train
_:search departure norwich
_:search leave_at 09:45
_:search day tuesday
_:search destination cambridge
_:search type Train
_:search departure norwich
_:search day tuesday
_:search destination cambridge
_:result arrive_by 11:35
_:result count 14
_:result duration 79 minutes
_:result id TR0667
_:result leave_at hourly on the : 16 from 10:16 to 23:16
_:result type Train
_:search leave_at 11:16
_:search type Train
_:search departure norwich
_:search day tuesday
_:search destination cambridge
_:result arrive_by 11:35
_:result count 14
_:result duration 79 minutes
_:search leave_at 11:16
_:search type Train
_:result id TR0839
_:result leave_at 11:16
_:result type Train