#Processed by Id: cwm.py,v 1.184 2006/03/09 06:28:53 vkolovsk Exp 
        #    using base file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/foo
        
#  Notation3 generation by
#       notation3.py,v 1.187 2006/01/13 14:48:54 syosi Exp

#   Base was: file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/foo
     @prefix : <http://www.w3.org/2000/10/swap/reason#> .
    @prefix foo: <#> .
    @prefix j: <http://www.niem.gov/niem/domains/justice/0.1#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix n3: <http://www.w3.org/2004/06/rei#> .
    @prefix test: <http://dig.csail.mit.edu/2005/09/rein/test#> .
    @prefix ts: <http://dig.csail.mit.edu/TAMI/tami-schema#> .
    
     @forSome foo:_g0,
                foo:_g1,
                foo:_g2 .
      [      a :Conjunction,
                    :Proof;
             :component  [
                 a :Inference;
                 :binding  [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/2005/09/rein/test#transfer-1b" ];
                     :variable  [
                         n3:uri "http://dig.csail.mit.edu/2005/09/rein/test#S" ] ],
                         [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/2005/09/rein/test#open-source-search-2-result-1" ];
                     :variable  [
                         n3:uri "http://dig.csail.mit.edu/2005/09/rein/test#A" ] ];
                 :evidence  (
                 [
                         a :Extraction;
                         :because foo:_g2;
                         :gives {test:transfer-1b     a test:LegalTransfer .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g2;
                         :gives {test:open-source-search-2-result-1     ts:antecedent test:transfer-1b .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g2;
                         :gives {test:open-source-search-2-result-1     a test:Search .
                        } ] );
                 :rule  [
                     a :Extraction;
                     :because foo:_g0;
                     :gives { @forAll test:A,
                                test:S .
                    {
                        test:A     a test:Search;
                             ts:antecedent test:S .
                        test:S     a test:LegalTransfer .
                        
                        }     log:implies {test:A     a test:LegalSearch .
                        } .
                    } ] ],
                     [
                 a :Inference;
                 :binding  [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/2005/09/rein/test#open-source-search-2-result-1" ];
                     :variable  [
                         n3:uri "http://dig.csail.mit.edu/2005/09/rein/test#S" ] ],
                         [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/2005/09/rein/test#Arrest18USC" ];
                     :variable  [
                         n3:uri "http://dig.csail.mit.edu/2005/09/rein/test#A" ] ];
                 :evidence  (
                 [
                         a :Extraction;
                         :because  [
                             a :Inference;
                             :binding  [
                                 :boundTo  [
                                     n3:uri "http://dig.csail.mit.edu/2005/09/rein/test#transfer-1b" ];
                                 :variable  [
                                     n3:uri "http://dig.csail.mit.edu/2005/09/rein/test#S" ] ],
                                     [
                                 :boundTo  [
                                     n3:uri "http://dig.csail.mit.edu/2005/09/rein/test#open-source-search-2-result-1" ];
                                 :variable  [
                                     n3:uri "http://dig.csail.mit.edu/2005/09/rein/test#A" ] ];
                             :evidence  (
                             [
                                     a :Extraction;
                                     :because foo:_g2;
                                     :gives {test:transfer-1b     a test:LegalTransfer .
                                    } ]
                             [
                                     a :Extraction;
                                     :because foo:_g2;
                                     :gives {test:open-source-search-2-result-1     ts:antecedent test:transfer-1b .
                                    } ]
                             [
                                     a :Extraction;
                                     :because foo:_g2;
                                     :gives {test:open-source-search-2-result-1     a test:Search .
                                    } ] );
                             :rule  [
                                 a :Extraction;
                                 :because foo:_g2;
                                 :gives { @forAll test:A,
                                            test:S .
                                {
                                    test:A     a test:Search;
                                         ts:antecedent test:S .
                                    test:S     a test:LegalTransfer .
                                    
                                    }     log:implies {test:A     a test:LegalSearch .
                                    } .
                                } ] ];
                         :gives {test:open-source-search-2-result-1     a test:LegalSearch .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g2;
                         :gives {test:Arrest18USC     ts:antecedent test:open-source-search-2-result-1 .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g2;
                         :gives {test:Arrest18USC     a j:Arrest .
                        } ] );
                 :rule  [
                     a :Extraction;
                     :because foo:_g0;
                     :gives { @forAll test:A,
                                test:S .
                    {
                        test:A     a j:Arrest;
                             ts:antecedent test:S .
                        test:S     a test:LegalSearch .
                        
                        }     log:implies {test:A     a test:JustifiedArrest .
                        } .
                    } ] ];
             :gives {test:Arrest18USC     a test:JustifiedArrest .
            test:open-source-search-2-result-1     a test:LegalSearch .
            } ].
    
    foo:_g0     a :Parsing;
         :because foo:_g1;
         :source <http://people.csail.mit.edu/lkagal/tami/example2.n3> .
    
    foo:_g1     a :CommandLine;
         :args "['/Users/lkagal1/Research/cwm-0410/2000/10/swap/cwm.py', 'http://people.csail.mit.edu/lkagal/tami/example2.n3', '--think', '--filter=http://people.csail.mit.edu/lkagal/tami/example2.n3', '--base=foo', '--why']" .
    
    foo:_g2     a :Parsing;
         :because foo:_g1;
         :source <http://people.csail.mit.edu/lkagal/tami/example2.n3> .
    
#ENDS