file version to demonstrate flakiness bug in Pychinko with no bNodes at all:

Here is a version of these two files, one of which has the rule fire,
one of which does not, when run in Pychinko.

a.n3 has the rule fire, c.n3 does not. The two are almost identical,
excecpt for order of triples in the rule. There are no anonymous nodes
anywhere in the file.

That is:

syosi@mr-burns:/tmp$ cwm a.n3 --pythink
#Processed by Id: cwm.py,v 1.171 2005/07/12 18:47:01 syosi Exp
        #    using base file:/tmp/a.n3

#  Notation3 generation by
#       notation3.py,v 1.180 2005/06/09 21:05:14 syosi Exp

#   Base was: file:/tmp/a.n3
     @prefix : <#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix rdf: <http://www.example.com/22-rdf-syntax-ns#> .

     @forAll :A,
                :B,
                :X,
                :Y,
                :Z .

    :I     :Win :Today .

    :a1     a :List;
         :help2 rdf:nil;
         :reverse_helper rdf:nil;
         rdf:first 1;
         rdf:rest :a2 .

    :a2     rdf:first 2;
         rdf:rest rdf:nil .
    {
        :A     :reverse_helper :Z;
             rdf:first :X;
             rdf:rest :Y .
        :B     :help2 :Z .

        }     log:implies {:I     :Win :Today .
        } .

#ENDS

syosi@mr-burns:/tmp$ cwm c.n3 --pythink
#Processed by Id: cwm.py,v 1.171 2005/07/12 18:47:01 syosi Exp
        #    using base file:/tmp/c.n3

#  Notation3 generation by
#       notation3.py,v 1.180 2005/06/09 21:05:14 syosi Exp

#   Base was: file:/tmp/c.n3
     @prefix : <#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix rdf: <http://www.example.com/22-rdf-syntax-ns#> .

     @forAll :A,
                :B,
                :X,
                :Y,
                :Z .

    :a1     a :List;
         :help2 rdf:nil;
         :reverse_helper rdf:nil;
         rdf:first 1;
         rdf:rest :a2 .

    :a2     rdf:first 2;
         rdf:rest rdf:nil .
    {
        :A     :reverse_helper :Z;
             rdf:first :X;
             rdf:rest :Y .
        :B     :help2 :Z .

        }     log:implies {:I     :Win :Today .
        } .

#ENDS

syosi@mr-burns:/tmp$ diff a.n3 c.n3
18c18
<     :reverse_helper :Z;
---
>
21c21
<
---
>     :reverse_helper :Z;


Yosi Scharf

@prefix : <#> . 
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix rdf: <http://www.example.com/22-rdf-syntax-ns#> .

     @forAll :A,
                :B,
                :X,
                :Y,
                :Z .

      :a1 rdf:first 1; rdf:rest :a2 . 
      :a2 rdf:first 2; rdf:rest rdf:nil .
      :a1   a :List;
         :help2 rdf:nil;
         :reverse_helper rdf:nil .

{:A 
    :reverse_helper :Z;
    rdf:first      :X; 
    rdf:rest       :Y; 

 . 
 :B :help2          :Z; .
} 
=> 
{:I :Win :Today } .

@prefix : <#> . 
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix rdf: <http://www.example.com/22-rdf-syntax-ns#> .

     @forAll :A,
                :B,
                :X,
                :Y,
                :Z .

      :a1 rdf:first 1; rdf:rest :a2 . 
      :a2 rdf:first 2; rdf:rest rdf:nil .
      :a1   a :List;
         :help2 rdf:nil;
         :reverse_helper rdf:nil .

{:A 

    rdf:first      :X; 
    rdf:rest       :Y; 
    :reverse_helper :Z;
 . 
 :B :help2          :Z; .
} 
=> 
{:I :Win :Today } .