Re: [Core] new safeness condition

And the accompanying test cases (completing action 688):
http://www.w3.org/2005/rules/wiki/Core_Safeness
http://www.w3.org/2005/rules/wiki/Core_Safeness_2
http://www.w3.org/2005/rules/wiki/Core_NonSafeness



Jos de Bruijn wrote:
> I completed ACTION-687: Write a proposed new definition of the safeness
> restriction
> 
> http://www.w3.org/2005/rules/wiki/Core#Safeness
> 
> Please criticize.
> 
> I suspect it can be a little more concisely.  When I find some time I
> will go over it again.
> 
> 
> I also invite anyone who is interested to go over the functions and
> predicates in DTB and check whether the binding patterns defined are
> appropriate.
> 
> Best, Jos

-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
scholar.
  - Donald Foster