#Processed by Id: cwm.py,v 1.186 2006/07/07 03:30:52 syosi Exp 
        #    using base file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/
        
#  Notation3 generation by
#       notation3.py,v 1.190 2006/07/10 14:20:31 syosi Exp

#   Base was: file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/
     @prefix : <http://www.w3.org/2000/10/swap/reason#> .
    @prefix ev: <http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix n3: <http://www.w3.org/2004/06/rei#> .
    @prefix ow: <owl-excerpt.n3#> .
    @prefix owl: <http://www.w3.org/2002/07/owl#> .
    @prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
    @prefix tes: <test-agent#> .
    @prefix test: <test-agent-goal.n3#> .
    
     @forSome <#_g0>,
                <#_g1>,
                <#_g2>,
                <#_g3> .
      [      a :Conjunction,
                    :Proof;
             :component  [
                 a :Inference;
                 :binding  [
                     :boundTo  [
                         n3:uri "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/test-agent#a1" ];
                     :variable  [
                         n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/test-agent-goal.n3#X" ] ];
                 :evidence  (
                 [
                         a :Fact;
                         :gives {tes:a1     = tes:a1 .
                        } ] );
                 :rule  [
                     a :Extraction;
                     :because <#_g0>;
                     :gives { @forAll test:X .
                    {
                        tes:a1     = test:X .
                        
                        }     log:implies {tes:a1     = test:X .
                        } .
                    } ] ],
                     [
                 a :Inference;
                 :binding  [
                     :boundTo  [
                         n3:uri "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/test-agent#a2" ];
                     :variable  [
                         n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/test-agent-goal.n3#X" ] ];
                 :evidence  (
                 [
                         a :Extraction;
                         :because  [
                             a :Inference;
                             :binding  [
                                 :boundTo  [
                                     a :Existential;
                                     n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-uml.rdf#_L49C6" ];
                                 :variable  [
                                     n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/owl-excerpt.n3#C" ] ],
                                     [
                                 :boundTo  [
                                     n3:uri "http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#producer" ];
                                 :variable  [
                                     n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/owl-excerpt.n3#P" ] ],
                                     [
                                 :boundTo  [
                                     n3:uri "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/test-agent#a1" ];
                                 :variable  [
                                     n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/owl-excerpt.n3#Y" ] ],
                                     [
                                 :boundTo  [
                                     n3:uri "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/test-agent#p1" ];
                                 :variable  [
                                     n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/owl-excerpt.n3#X" ] ],
                                     [
                                 :boundTo  [
                                     n3:uri "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/test-agent#a2" ];
                                 :variable  [
                                     n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/owl-excerpt.n3#Z" ] ];
                             :evidence  (
                             [
                                     a :Extraction;
                                     :because <#_g2>;
                                     :gives { @forSome <#_g4> .
                                    <#_g4>     owl:maxCardinality 1 .
                                    } ]
                             [
                                     a :Extraction;
                                     :because <#_g2>;
                                     :gives { @forSome <#_g4> .
                                    <#_g4>     owl:onProperty ev:producer .
                                    } ]
                             [
                                     a :Extraction;
                                     :because  [
                                         a :Inference;
                                         :binding  [
                                             :boundTo  [
                                                 a :Existential;
                                                 n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-uml.rdf#_L49C6" ];
                                             :variable  [
                                                 n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/rdfs-excerpt.n3#C" ] ],
                                                 [
                                             :boundTo  [
                                                 n3:uri "http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#Act_of_Production" ];
                                             :variable  [
                                                 n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/rdfs-excerpt.n3#_g_L5C8" ] ],
                                                 [
                                             :boundTo  [
                                                 n3:uri "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/test-agent#p1" ];
                                             :variable  [
                                                 n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/rdfs-excerpt.n3#S" ] ];
                                         :evidence  (
                                         [
                                                 a :Extraction;
                                                 :because <#_g2>;
                                                 :gives { @forSome <#_g4> .
                                                ev:Act_of_Production     s:subClassOf <#_g4> .
                                                } ]
                                         [
                                                 a :Extraction;
                                                 :because <#_g3>;
                                                 :gives {tes:p1     a ev:Act_of_Production .
                                                } ] );
                                         :rule  [
                                             a :Extraction;
                                             :because  [
                                                 a :Parsing;
                                                 :because <#_g1>;
                                                 :source <rdfs-excerpt.n3> ];
                                             :gives { @forAll <rdfs-excerpt.n3#C>,
                                                        <rdfs-excerpt.n3#S> .
                                            {
                                                <rdfs-excerpt.n3#S>     a  [
                                                         s:subClassOf <rdfs-excerpt.n3#C> ] .
                                                
                                                }     log:implies {<rdfs-excerpt.n3#S>     a <rdfs-excerpt.n3#C> .
                                                } .
                                            } ] ];
                                     :gives { @forSome <#_g4> .
                                    tes:p1     a <#_g4> .
                                    } ]
                             [
                                     a :Extraction;
                                     :because <#_g3>;
                                     :gives {tes:p1     ev:producer tes:a2 .
                                    } ]
                             [
                                     a :Extraction;
                                     :because <#_g3>;
                                     :gives {tes:p1     ev:producer tes:a1 .
                                    } ] );
                             :rule  [
                                 a :Extraction;
                                 :because  [
                                     a :Parsing;
                                     :because <#_g1>;
                                     :source <owl-excerpt.n3> ];
                                 :gives { @forAll ow:C,
                                            ow:P,
                                            ow:X,
                                            ow:Y,
                                            ow:Z .
                                {
                                    ow:C     owl:maxCardinality 1;
                                         owl:onProperty ow:P .
                                    ow:X     a ow:C;
                                         ow:P ow:Y,
                                                ow:Z .
                                    
                                    }     log:implies {ow:Y     = ow:Z .
                                    } .
                                } ] ];
                         :gives {tes:a1     = tes:a2 .
                        } ] );
                 :rule  [
                     a :Extraction;
                     :because <#_g0>;
                     :gives { @forAll test:X .
                    {
                        tes:a1     = test:X .
                        
                        }     log:implies {tes:a1     = test:X .
                        } .
                    } ] ];
             :gives {tes:a1     = tes:a1,
                        tes:a2 .
            } ].
    
    <#_g0>     a :Parsing;
         :because <#_g1>;
         :source <test-agent-goal.n3> .
    
    <#_g1>     a :CommandLine;
         :args "['../../../../2000/10/swap/cwm.py', 'ext-vers-uml.rdf', 'test-agent.n3', 'owl-excerpt.n3', 'rdfs-excerpt.n3', '--think', '--filter=test-agent-goal.n3', '--why']" .
    
    <#_g2>     a :Parsing;
         :because <#_g1>;
         :source <ext-vers-uml.rdf> .
    
    <#_g3>     a :Parsing;
         :because <#_g1>;
         :source <test-agent.n3> .
    
#ENDS