@prefix : <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix db: <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/db#> .
    @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-query2#> .
    @prefix ne: <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/ne-policy#> .
    @prefix s: <http://dig.csail.mit.edu/2009/IARPA-PIR/sparql#> .
    
    ne:NE_RULE1     :justification :premise .
    
    n:Query-1     air:compliant-with ne:NE_Policy .
    {
        n:Query-1     air:compliant-with ne:NE_Policy .
        
        }     :description  (
        "The user is not querying specifically for people living in New England" );
         :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf ne:NE_RULE3;
                     :description  (
                    n:Query-1
                    " contains lives-in attribute "
                    db:city
                    " with value "
                    db:Miami );
                     :justification  [
                         :antecedent-expr  [
                             a :And-justification;
                             :sub-expr  [
                                 air:instanceOf ne:NE_RULE2;
                                 :description  (
                                n:Query-1
                                " is a SPARQL query" );
                                 :justification  [
                                     :antecedent-expr  [
                                         a :And-justification;
                                         :sub-expr ne:NE_RULE1,
                                                {n:Query-1     a s:SPARQLQuery;
                                             s:POSList <#_g0>;
                                             s:WhereClause n:WHERE .
                                        } ];
                                     :rule-name ne:NE_RULE1 ] ],
                                    {db:city     list:in  (
                                db:state
                                db:szipcode
                                db:city
                                db:address ) .
                            ne:TRIPLE     log:includes {n:S     db:city db:Miami .
                                } .
                            n:WHERE     s:TriplePattern {n:S     db:city db:Miami .
                                } .
                            } ];
                         :rule-name ne:NE_RULE2 ] ],
                         [
                     air:closed-world-assumption  (
                    ne:NE_Policy
                    air:base-rules
                    <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/ne-query2.n3>
                    <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl> );
                     :justification :premise ],
                        {} ];
             :rule-name ne:NE_RULE3 ] .
    {
        db:city     list:in  (
            db:state
            db:szipcode
            db:city
            db:address ) .
        ne:TRIPLE     log:includes {n:S     db:city db:Miami .
            } .
        n:Query-1     a s:SPARQLQuery;
             s:POSList <#_g0>;
             s:WhereClause n:WHERE .
        n:WHERE     s:TriplePattern {n:S     db:city db:Miami .
            } .
        
        }     :justification :premise .