@prefix : <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/db#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix list: <http://www.w3.org/2000/10/swap/list#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix n: <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/ne-query1#> .
    @prefix ne: <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/ne-policy#> .
    @prefix owl: <http://www.w3.org/2002/07/owl#> .
    @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
    @prefix s: <http://dig.csail.mit.edu/2009/IARPA-PIR/sparql#> .
    @prefix tms: <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    
    ne:NE_RULE1     tms:justification tms:premise .
    
    n:Query-1     air:non-compliant-with ne:NE_Policy .
    {
        n:Query-1     air:non-compliant-with ne:NE_Policy .
        
        }     tms:description  (
        "The user may not query specifically for people living in New England" );
         tms:justification  [
             tms:antecedent-expr  [
                 a tms:And-justification;
                 tms:sub-expr  [
                     air:instanceOf <#_g0>;
                     tms:description  (
                    "The user is filtering on "
                    :city
                    " with value set to "
                    :Boston
                    ", which is in New England " );
                     tms:justification  [
                         tms:antecedent-expr  [
                             a tms:And-justification;
                             tms:sub-expr  [
                                 air:instanceOf ne:NE_RULE3;
                                 tms:description  (
                                n:Query-1
                                " contains lives-in attribute "
                                :city
                                " with value "
                                :Boston );
                                 tms:justification  [
                                     tms:antecedent-expr  [
                                         a tms:And-justification;
                                         tms:sub-expr  [
                                             air:instanceOf ne:NE_RULE2;
                                             tms:description  (
                                            n:Query-1
                                            " is a SPARQL query" );
                                             tms:justification  [
                                                 tms:antecedent-expr  [
                                                     a tms:And-justification;
                                                     tms:sub-expr ne:NE_RULE1,
                                                            {n:Query-1     a s:SPARQLQuery;
                                                         s:POSList <#_g1>;
                                                         s:WhereClause n:WHERE .
                                                    } ];
                                                 tms:rule-name ne:NE_RULE1 ] ],
                                                {:city     list:in  (
                                            :state
                                            :szipcode
                                            :city
                                            :address ) .
                                        ne:TRIPLE     log:includes {n:S     :city :Boston .
                                            } .
                                        n:WHERE     s:TriplePattern {n:S     :city :Boston .
                                            } .
                                        } ];
                                     tms:rule-name ne:NE_RULE2 ] ],
                                    {<http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/db.n3>     log:semantics ne:LS,
                                        { @forAll :A,
                                            :B,
                                            :C .
                                :02139     a :zipcode;
                                     :in :Cambridge .
                                :Boston     a :City;
                                     :in :MA .
                                :CT     a :State .
                                :Cambridge     a :City;
                                     :in :MA .
                                :MA     a :State;
                                     :in :NewEngland .
                                :NY     a :State .
                                :NewEngland     a :Region .
                                :birth_address     a owl:objectProperty;
                                     rdfs:range :Address .
                                :birth_city     a owl:objectProperty;
                                     rdfs:range :City .
                                :birth_country     a owl:objectProperty;
                                     rdfs:range :Country .
                                :birth_state     a owl:objectProperty;
                                     rdfs:range :State .
                                :birth_zip     a owl:objectProperty;
                                     rdfs:range :zipcode .
                                :first_name     a owl:objectProperty;
                                     rdfs:range :first_name .
                                :last_name     a owl:objectProperty;
                                     rdfs:range :last_name .
                                :middle_name     a owl:objectProperty;
                                     rdfs:range :middle_name .
                                {
                                    :A     :in :B .
                                    :B     :in :C .
                                    
                                    }     log:implies {:A     :in :C .
                                    } .
                                } .
                            ne:F     :in ne:G .
                            ne:G     :in ne:C .
                            ne:LS     log:includes {:Boston     :in :MA .
                                },
                                        {:MA     :in :NewEngland .
                                },
                                        {ne:A     :in ne:B .
                                } .
                            } ];
                         tms:rule-name ne:NE_RULE3 ] ],
                        {} ];
             tms:rule-name <#_g0> ] .
    {
        :city     list:in  (
            :state
            :szipcode
            :city
            :address ) .
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/db.n3>     log:semantics ne:LS,
                    { @forAll :A,
                        :B,
                        :C .
            :02139     a :zipcode;
                 :in :Cambridge .
            :Boston     a :City;
                 :in :MA .
            :CT     a :State .
            :Cambridge     a :City;
                 :in :MA .
            :MA     a :State;
                 :in :NewEngland .
            :NY     a :State .
            :NewEngland     a :Region .
            :birth_address     a owl:objectProperty;
                 rdfs:range :Address .
            :birth_city     a owl:objectProperty;
                 rdfs:range :City .
            :birth_country     a owl:objectProperty;
                 rdfs:range :Country .
            :birth_state     a owl:objectProperty;
                 rdfs:range :State .
            :birth_zip     a owl:objectProperty;
                 rdfs:range :zipcode .
            :first_name     a owl:objectProperty;
                 rdfs:range :first_name .
            :last_name     a owl:objectProperty;
                 rdfs:range :last_name .
            :middle_name     a owl:objectProperty;
                 rdfs:range :middle_name .
            {
                :A     :in :B .
                :B     :in :C .
                
                }     log:implies {:A     :in :C .
                } .
            } .
        ne:F     :in ne:G .
        ne:G     :in ne:C .
        ne:LS     log:includes {:Boston     :in :MA .
            },
                    {:MA     :in :NewEngland .
            },
                    {ne:A     :in ne:B .
            } .
        ne:TRIPLE     log:includes {n:S     :city :Boston .
            } .
        n:Query-1     a s:SPARQLQuery;
             s:POSList <#_g1>;
             s:WhereClause n:WHERE .
        n:WHERE     s:TriplePattern {n:S     :city :Boston .
            } .
        
        }     tms:justification tms:premise .