n3 progress

I'm finding an issue with euler n3->yap interpretation
for the http://www.w3.org/2002/12/cal/calAx.n3 rule

{ ?P a :DateProperty.
  ?E ?P ?WHEN.
  # we skip the dtlit step of splitting ?WHEN apart
  (?WHEN "(\\d\\d\\d\\d)-" ) str:search (?YYYY).
  (?YYYY 0) math:sum ?YEARNUM. # sum coerces strings to int
} => { [ is k:YearFn of ?YEARNUM ] }.

it actually gives a wrong intermediate N3 translation

{?P a p0:DateProperty. ?E ?P ?WHEN. (?WHEN "(\\d\\d\\d\\d)-") str:search 
(?YYYY). (?YYYY 0) math:sum ?YEARNUM} =>
{?YEARNUM!k:YearFn }.

hm..
and I still have to implement str:search ..

otoh I think we achieved a stable outcome of e:findall and a correct 
e:bayesian
in namspace http://eulersharp.sourceforge.net/2003/03swap/log-rules.n3
resulting in over 10 billion inferences today for tests such as
http://eulersharp.sourceforge.net/2006/02swap/etc5.ref and other

-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/