#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 ca: <carlos-rules.n3#> .
    @prefix ca2: <carlos-filter.n3#> .
    @prefix foo: <#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix n3: <http://www.w3.org/2004/06/rei#> .
    @prefix td: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> .
    @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> .
    @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> .
    
     @forSome foo:_g0,
                foo:_g1,
                foo:_g2 .
      [      a :Conjunction,
                    :Proof;
             :component  [
                 a :Inference;
                 :binding  [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#RU1" ];
                     :variable  [
                         n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#r1" ] ],
                         [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#transfer-1a" ];
                     :variable  [
                         n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#t1" ] ],
                         [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#TSA" ];
                     :variable  [
                         n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#Owner" ] ],
                         [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#CT-CriminalLawEnforcement" ];
                     :variable  [
                         n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#p1" ] ],
                         [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#FBI" ];
                     :variable  [
                         n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#o2" ] ],
                         [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#CounterTerrorism" ];
                     :variable  [
                         n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#p2" ] ],
                         [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#FBI" ];
                     :variable  [
                         n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#o1" ] ],
                         [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#SFDB" ];
                     :variable  [
                         n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#s1" ] ];
                 :evidence  (
                 [
                         a :Extraction;
                         :because foo:_g1;
                         :gives {td:SFDB     ts:routineUse td:RU1 .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g1;
                         :gives {td:RU1     ts:recipient td:FBI .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g1;
                         :gives {td:RU1     ts:purpose td:CounterTerrorism .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g1;
                         :gives {td:SFDB     <http://purl.org/dc/elements/1.1/creator> td:TSA .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g1;
                         :gives {td:SFDB     a ts:Sorn .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g1;
                         :gives {td:transfer-1a     ts:sender td:TSA .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g1;
                         :gives {td:transfer-1a     ts:recipient td:FBI .
                        } ]
                 [
                         a :Extraction;
                         :because  [
                             a :Inference;
                             :binding  [
                                 :boundTo  [
                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#partOf" ];
                                 :variable  [
                                     n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#r" ] ],
                                     [
                                 :boundTo  [
                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#partOfStar" ];
                                 :variable  [
                                     n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#rstar" ] ],
                                     [
                                 :boundTo  [
                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#FBI" ];
                                 :variable  [
                                     n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#x" ] ];
                             :evidence  (
                             [
                                     a :Extraction;
                                     :because foo:_g2;
                                     :gives {ts:partOf     tr:star tr:partOfStar .
                                    } ]
                             [
                                     a :Extraction;
                                     :because foo:_g1;
                                     :gives {td:FBI     a ts:Organization .
                                    } ] );
                             :rule  [
                                 a :Extraction;
                                 :because foo:_g2;
                                 :gives { @forAll ca:r,
                                            ca:rstar,
                                            ca:x .
                                {
                                    ca:r     tr:star ca:rstar .
                                    ca:x     a ts:Organization .
                                    
                                    }     log:implies {ca:x     ca:rstar ca:x .
                                    } .
                                } ] ];
                         :gives {td:FBI     tr:partOfStar td:FBI .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g1;
                         :gives {td:transfer-1a     a ts:Transfer .
                        } ]
                 [
                         a :Extraction;
                         :because  [
                             a :Inference;
                             :binding  [
                                 :boundTo  [
                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#specializationOf" ];
                                 :variable  [
                                     n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#r" ] ],
                                     [
                                 :boundTo  [
                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#specializationOfStar" ];
                                 :variable  [
                                     n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#rstar" ] ],
                                     [
                                 :boundTo  [
                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#CT-CriminalLawEnforcement" ];
                                 :variable  [
                                     n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#x" ] ],
                                     [
                                 :boundTo  [
                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#CounterTerrorism" ];
                                 :variable  [
                                     n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#y" ] ],
                                     [
                                 :boundTo  [
                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#CounterTerrorism" ];
                                 :variable  [
                                     n3:nodeId "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#_g_L41C8" ] ];
                             :evidence  (
                             [
                                     a :Extraction;
                                     :because foo:_g2;
                                     :gives {ts:specializationOf     tr:star tr:specializationOfStar .
                                    } ]
                             [
                                     a :Extraction;
                                     :because foo:_g1;
                                     :gives {td:CT-CriminalLawEnforcement     ts:specializationOf td:CounterTerrorism .
                                    } ]
                             [
                                     a :Extraction;
                                     :because  [
                                         a :Inference;
                                         :binding  [
                                             :boundTo  [
                                                 n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#specializationOf" ];
                                             :variable  [
                                                 n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#r" ] ],
                                                 [
                                             :boundTo  [
                                                 n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#specializationOfStar" ];
                                             :variable  [
                                                 n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#rstar" ] ],
                                                 [
                                             :boundTo  [
                                                 n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#CounterTerrorism" ];
                                             :variable  [
                                                 n3:uri "file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#x" ] ];
                                         :evidence  (
                                         [
                                                 a :Extraction;
                                                 :because foo:_g2;
                                                 :gives {ts:specializationOf     tr:star tr:specializationOfStar .
                                                } ]
                                         [
                                                 a :Extraction;
                                                 :because foo:_g1;
                                                 :gives {td:CounterTerrorism     a ts:Activity .
                                                } ] );
                                         :rule  [
                                             a :Extraction;
                                             :because foo:_g2;
                                             :gives { @forAll ca:r,
                                                        ca:rstar,
                                                        ca:x .
                                            {
                                                ca:r     tr:star ca:rstar .
                                                ca:x     a ts:Activity .
                                                
                                                }     log:implies {ca:x     ca:rstar ca:x .
                                                } .
                                            } ] ];
                                     :gives {td:CounterTerrorism     tr:specializationOfStar td:CounterTerrorism .
                                    } ] );
                             :rule  [
                                 a :Extraction;
                                 :because foo:_g2;
                                 :gives { @forAll ca:r,
                                            ca:rstar,
                                            ca:x,
                                            ca:y .
                                {
                                    ca:r     tr:star ca:rstar .
                                    ca:x     ca:r  [
                                             ca:rstar ca:y ] .
                                    
                                    }     log:implies {ca:x     ca:rstar ca:y .
                                    } .
                                } ] ];
                         :gives {td:CT-CriminalLawEnforcement     tr:specializationOfStar td:CounterTerrorism .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g1;
                         :gives {td:transfer-1a     ts:purpose td:CT-CriminalLawEnforcement .
                        } ] );
                 :rule  [
                     a :Extraction;
                     :because  [
                         a :Parsing;
                         :because foo:_g0;
                         :source <carlos-filter.n3> ];
                     :gives { @forAll ca2:Owner,
                                ca2:o1,
                                ca2:o2,
                                ca2:p1,
                                ca2:p2,
                                ca2:r1,
                                ca2:s1,
                                ca2:t1 .
                    {
                        ca2:o1     tr:partOfStar ca2:o2 .
                        ca2:p1     tr:specializationOfStar ca2:p2 .
                        ca2:r1     ts:purpose ca2:p2;
                             ts:recipient ca2:o2 .
                        ca2:s1     a ts:Sorn;
                             ts:routineUse ca2:r1;
                             <http://purl.org/dc/elements/1.1/creator> ca2:Owner .
                        ca2:t1     a ts:Transfer;
                             ts:purpose ca2:p1;
                             ts:recipient ca2:o1;
                             ts:sender ca2:Owner .
                        
                        }     log:implies {ca2:t1     ts:status ts:LegalTransfer .
                        } .
                    } ] ];
             :gives {td:transfer-1a     ts:status ts:LegalTransfer .
            } ].
    
    foo:_g0     a :CommandLine;
         :args "['/Users/lkagal1/Research/cwm-0410/2000/10/swap/cwm.py', 'http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3', 'http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3', 'carlos-rules.n3', '--think', '--filter=carlos-filter.n3', '--base=foo', '--why']" .
    
    foo:_g1     a :Parsing;
         :because foo:_g0;
         :source <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3> .
    
    foo:_g2     a :Parsing;
         :because foo:_g0;
         :source <carlos-rules.n3> .
    
#ENDS