#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 tam: <http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#> .
    @prefix tami: <http://people.csail.mit.edu/lkagal/tami/tami-scenario3-filter.n3#> .
    @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#Arrest05NY2343CRJFC" ];
                     :variable  [
                         n3:uri "http://people.csail.mit.edu/lkagal/tami/tami-scenario3-filter.n3#A" ] ],
                         [
                     :boundTo  [
                         n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#open-source-search-2-result-1" ];
                     :variable  [
                         n3:uri "http://people.csail.mit.edu/lkagal/tami/tami-scenario3-filter.n3#B" ] ];
                 :evidence  (
                 [
                         a :Extraction;
                         :because foo:_g1;
                         :gives {td:Arrest05NY2343CRJFC     a j:Arrest .
                        } ]
                 [
                         a :Extraction;
                         :because foo:_g1;
                         :gives {td:Arrest05NY2343CRJFC     ts:antecedent td:open-source-search-2-result-1 .
                        } ]
                 [
                         a :Extraction;
                         :because  [
                             a :Inference;
                             :binding  [
                                 :boundTo  [
                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#open-source-search-2-result-1" ];
                                 :variable  [
                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#A" ] ],
                                     [
                                 :boundTo  [
                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#open-source-search-2" ];
                                 :variable  [
                                     n3:uri "http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#B" ] ];
                             :evidence  (
                             [
                                     a :Extraction;
                                     :because foo:_g1;
                                     :gives {td:open-source-search-2-result-1     a ts:SearchResult .
                                    } ]
                             [
                                     a :Extraction;
                                     :because foo:_g1;
                                     :gives {td:open-source-search-2-result-1     ts:antecedent td:open-source-search-2 .
                                    } ]
                             [
                                     a :Extraction;
                                     :because  [
                                         a :Inference;
                                         :binding  [
                                             :boundTo  [
                                                 n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#open-source-search-2" ];
                                             :variable  [
                                                 n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#A" ] ],
                                                 [
                                             :boundTo  [
                                                 n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#assignment-2" ];
                                             :variable  [
                                                 n3:uri "http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#B" ] ];
                                         :evidence  (
                                         [
                                                 a :Extraction;
                                                 :because foo:_g1;
                                                 :gives {td:open-source-search-2     a ts:Search .
                                                } ]
                                         [
                                                 a :Extraction;
                                                 :because foo:_g1;
                                                 :gives {td:open-source-search-2     ts:antecedent td:assignment-2 .
                                                } ]
                                         [
                                                 a :Extraction;
                                                 :because  [
                                                     a :Inference;
                                                     :binding  [
                                                         :boundTo  [
                                                             n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#assignment-2" ];
                                                         :variable  [
                                                             n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#A" ] ],
                                                             [
                                                         :boundTo  [
                                                             n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#open-investigation-1" ];
                                                         :variable  [
                                                             n3:uri "http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#B" ] ];
                                                     :evidence  (
                                                     [
                                                             a :Extraction;
                                                             :because foo:_g1;
                                                             :gives {td:assignment-2     a ts:Assignment .
                                                            } ]
                                                     [
                                                             a :Extraction;
                                                             :because foo:_g1;
                                                             :gives {td:assignment-2     ts:antecedent td:open-investigation-1 .
                                                            } ]
                                                     [
                                                             a :Extraction;
                                                             :because  [
                                                                 a :Inference;
                                                                 :binding  [
                                                                     :boundTo  [
                                                                         n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#open-investigation-1" ];
                                                                     :variable  [
                                                                         n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#A" ] ],
                                                                         [
                                                                     :boundTo  [
                                                                         n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#transfer-1b" ];
                                                                     :variable  [
                                                                         n3:uri "http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#B" ] ];
                                                                 :evidence  (
                                                                 [
                                                                         a :Extraction;
                                                                         :because foo:_g1;
                                                                         :gives {td:open-investigation-1     a ts:OpeningCase .
                                                                        } ]
                                                                 [
                                                                         a :Extraction;
                                                                         :because foo:_g1;
                                                                         :gives {td:open-investigation-1     ts:antecedent td:transfer-1b .
                                                                        } ]
                                                                 [
                                                                         a :Extraction;
                                                                         :because  [
                                                                             a :Inference;
                                                                             :binding  [
                                                                                 :boundTo  [
                                                                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#transfer-1b" ];
                                                                                 :variable  [
                                                                                     n3:uri "http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#A" ] ];
                                                                             :evidence  (
                                                                             [
                                                                                     a :Extraction;
                                                                                     :because foo:_g1;
                                                                                     :gives {td:transfer-1b     a ts:Transfer .
                                                                                    } ] );
                                                                             :rule  [
                                                                                 a :Extraction;
                                                                                 :because foo:_g2;
                                                                                 :gives { @forAll tr:A .
                                                                                {
                                                                                    tr:A     a ts:Transfer .
                                                                                    
                                                                                    }     log:implies {tr:A     a tr:LegalAntecedent .
                                                                                    } .
                                                                                } ] ];
                                                                         :gives {td:transfer-1b     a tr:LegalAntecedent .
                                                                        } ] );
                                                                 :rule  [
                                                                     a :Extraction;
                                                                     :because foo:_g2;
                                                                     :gives { @forAll tr:A,
                                                                                tam:B .
                                                                    {
                                                                        tr:A     a ts:OpeningCase;
                                                                             ts:antecedent tam:B .
                                                                        tam:B     a tr:LegalAntecedent .
                                                                        
                                                                        }     log:implies {tr:A     a tr:LegalAntecedent .
                                                                        } .
                                                                    } ] ];
                                                             :gives {td:open-investigation-1     a tr:LegalAntecedent .
                                                            } ] );
                                                     :rule  [
                                                         a :Extraction;
                                                         :because foo:_g2;
                                                         :gives { @forAll tr:A,
                                                                    tam:B .
                                                        {
                                                            tr:A     a ts:Assignment;
                                                                 ts:antecedent tam:B .
                                                            tam:B     a tr:LegalAntecedent .
                                                            
                                                            }     log:implies {tr:A     a tr:LegalAntecedent .
                                                            } .
                                                        } ] ];
                                                 :gives {td:assignment-2     a tr:LegalAntecedent .
                                                } ] );
                                         :rule  [
                                             a :Extraction;
                                             :because foo:_g2;
                                             :gives { @forAll tr:A,
                                                        tam:B .
                                            {
                                                tr:A     a ts:Search;
                                                     ts:antecedent tam:B .
                                                tam:B     a tr:LegalAntecedent .
                                                
                                                }     log:implies {tr:A     a tr:LegalAntecedent .
                                                } .
                                            } ] ];
                                     :gives {td:open-source-search-2     a tr:LegalAntecedent .
                                    } ] );
                             :rule  [
                                 a :Extraction;
                                 :because foo:_g2;
                                 :gives { @forAll tr:A,
                                            tam:B .
                                {
                                    tr:A     a ts:SearchResult;
                                         ts:antecedent tam:B .
                                    tam:B     a tr:LegalAntecedent .
                                    
                                    }     log:implies {tr:A     a tr:LegalAntecedent .
                                    } .
                                } ] ];
                         :gives {td:open-source-search-2-result-1     a tr:LegalAntecedent .
                        } ] );
                 :rule  [
                     a :Extraction;
                     :because  [
                         a :Parsing;
                         :because foo:_g0;
                         :source <http://people.csail.mit.edu/lkagal/tami/tami-scenario3-filter.n3> ];
                     :gives { @forAll tami:A,
                                tami:B .
                    {
                        tami:A     a j:Arrest;
                             ts:antecedent tami:B .
                        tami:B     a tr:LegalAntecedent .
                        
                        }     log:implies {tami:A     a tr:JustifiedArrest .
                        } .
                    } ] ];
             :gives {td:Arrest05NY2343CRJFC     a tr:JustifiedArrest .
            } ].
    
    foo:_g0     a :CommandLine;
         :args "['/Users/lkagal1/Research/cwm-0410/2000/10/swap/cwm.py', 'http://people.csail.mit.edu/lkagal/tami/tami-scenario3-data.n3', 'http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3', 'http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3', '--think', '--filter=http://people.csail.mit.edu/lkagal/tami/tami-scenario3-filter.n3', '--base=foo', '--why']" .
    
    foo:_g1     a :Parsing;
         :because foo:_g0;
         :source <http://people.csail.mit.edu/lkagal/tami/tami-scenario3-data.n3> .
    
    foo:_g2     a :Parsing;
         :because foo:_g0;
         :source <http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3> .
    
#ENDS