#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 : <t5.n3#> .
     @prefix fo: <#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix n3: <http://www.w3.org/2004/06/rei#> .
     @prefix reason: <http://www.w3.org/2000/10/swap/reason#> .
    
     @forSome fo:_g0 .
      [      a reason:Conjunction,
                    reason:Proof;
             reason:component  [
                 a reason:Extraction;
                 reason:because fo:_g0;
                 reason:gives {:a     :b :c .
                } ],
                     [
                 a reason:Extraction;
                 reason:because fo:_g0;
                 reason:gives { @forSome :x,
                            :y .
                {
                    :a     :y :x .
                    
                    }     log:implies {:x     :y <c2> .
                    } .
                } ],
                     [
                 a reason:Extraction;
                 reason:because  [
                     a reason:Inference;
                     reason:binding  [
                         reason:boundTo  [
                             n3:uri "file:/devel/WWW/2000/10/swap/test/reason/t5.n3#b" ];
                         reason:variable  [
                             n3:uri "file:/devel/WWW/2000/10/swap/test/reason/t5.n3#y" ] ],
                             [
                         reason:boundTo  [
                             n3:uri "file:/devel/WWW/2000/10/swap/test/reason/t5.n3#c" ];
                         reason:variable  [
                             n3:uri "file:/devel/WWW/2000/10/swap/test/reason/t5.n3#x" ] ];
                     reason:evidence  [
                         a reason:Extraction;
                         reason:because fo:_g0;
                         reason:gives {:a     :b :c .
                        } ];
                     reason:rule  [
                         a reason:Extraction;
                         reason:because fo:_g0;
                         reason:gives { @forSome :x,
                                    :y .
                        {
                            :a     :y :x .
                            
                            }     log:implies {:x     :y <c2> .
                            } .
                        } ] ];
                 reason:gives {:c     :b <c2> .
                } ];
             reason:gives { @forAll :x,
                        :y .
            :a     :b :c .
            :c     :b <c2> .
            {
                :a     :y :x .
                
                }     log:implies {:x     :y <c2> .
                } .
            };
             reason:universal "file:/devel/WWW/2000/10/swap/test/reason/t5.n3#x",
                    "file:/devel/WWW/2000/10/swap/test/reason/t5.n3#y" ].
    
    fo:_g0     a reason:Parsing;
         reason:source <t5.n3> .
    
#ENDS