#Processed by Id: cwm.py,v 1.176 2005/08/10 17:03:22 syosi Exp 
        #    using base file:/devel/WWW/2000/10/swap/test/reason/foo
        
#  Notation3 generation by
#       notation3.py,v 1.182 2005/08/15 16:28:43 syosi Exp

#   Base was: file:/devel/WWW/2000/10/swap/test/reason/foo
     @prefix : <http://www.w3.org/2000/10/swap/reason#> .
    
      [      a :Conjunction,
                    :Proof;
             :component  [
                 a :Extraction;
                 :because  [
                     a :Parsing;
                     :source <t1.n3> ];
                 :gives {<a>     <b> <c> .
                } ];
             :gives {<a>     <b> <c> .
            } ].
    
#ENDS