@prefix : <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix pol: <http://dig.csail.mit.edu/2009/IARPA-PIR/policy#> .
    @prefix que: <http://dig.csail.mit.edu/2009/IARPA-PIR/query1#> .
    @prefix s: <http://dig.csail.mit.edu/2009/IARPA-PIR/sparql#> .
    @prefix type: <http://dig.csail.mit.edu/2009/IARPA-PIR/generic#> .
    
     @forSome <#_g0>,
                <#_g1>,
                <#_g2>,
                <#_g3>,
                <#_g4>,
                <#_g5>,
                <#_g6>,
                <#_g7>,
                <#_g8>,
                <#_g9>,
                <#_g10>,
                <#_g11> .
    
    pol:BL_RULE01     :justification :premise .
    
    pol:EX_RULE01     :justification :premise .
    
    pol:IN_RULE01     :justification :premise .
    
    pol:RX_RULE01     :justification :premise .
    
    que:Query-1     air:compliant-with pol:Blocking,
                pol:Exclusion,
                pol:Inclusion,
                pol:Restriction .
    
    <#_g0>     air:closed-world-assumption  (
        pol:Blocking
        pol:Restriction
        pol:Exclusion
        pol:Inclusion
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g1> );
         :justification :premise .
    
    <#_g1>     air:closed-world-assumption  (
        pol:Blocking
        pol:Restriction
        pol:Exclusion
        pol:Inclusion
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl> ) .
    
    <#_g2>     air:closed-world-assumption  (
        pol:Blocking
        pol:Restriction
        pol:Exclusion
        pol:Inclusion
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g1>
        <#_g0>
        <#_g3>
        <#_g4>
        <#_g5> );
         :justification :premise .
    
    <#_g3>     air:closed-world-assumption  (
        pol:Blocking
        pol:Restriction
        pol:Exclusion
        pol:Inclusion
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g1>
        <#_g0> ) .
    
    <#_g4>     air:closed-world-assumption  (
        pol:Blocking
        pol:Restriction
        pol:Exclusion
        pol:Inclusion
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g1>
        <#_g0>
        <#_g3> ) .
    
    <#_g5>     air:closed-world-assumption  (
        pol:Blocking
        pol:Restriction
        pol:Exclusion
        pol:Inclusion
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g1>
        <#_g0>
        <#_g3>
        <#_g4> ) .
    
    <#_g6>     air:closed-world-assumption  (
        pol:Blocking
        pol:Restriction
        pol:Exclusion
        pol:Inclusion
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g1>
        <#_g0>
        <#_g3>
        <#_g4>
        <#_g5>
        <#_g2>
        <#_g7> );
         :justification :premise .
    
    <#_g7>     air:closed-world-assumption  (
        pol:Blocking
        pol:Restriction
        pol:Exclusion
        pol:Inclusion
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g1>
        <#_g0>
        <#_g3>
        <#_g4>
        <#_g5>
        <#_g2> ) .
    
    <#_g8>     air:closed-world-assumption  (
        pol:Blocking
        pol:Restriction
        pol:Exclusion
        pol:Inclusion
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g1>
        <#_g0>
        <#_g3>
        <#_g4>
        <#_g5>
        <#_g2>
        <#_g7>
        <#_g6>
        <#_g9>
        <#_g10> );
         :justification :premise .
    
    <#_g9>     air:closed-world-assumption  (
        pol:Blocking
        pol:Restriction
        pol:Exclusion
        pol:Inclusion
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g1>
        <#_g0>
        <#_g3>
        <#_g4>
        <#_g5>
        <#_g2>
        <#_g7>
        <#_g6> ) .
    
    <#_g10>     air:closed-world-assumption  (
        pol:Blocking
        pol:Restriction
        pol:Exclusion
        pol:Inclusion
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g1>
        <#_g0>
        <#_g3>
        <#_g4>
        <#_g5>
        <#_g2>
        <#_g7>
        <#_g6>
        <#_g9> ) .
    
    <#_g11>     air:closed-world-assumption  (
        pol:Blocking
        pol:Restriction
        pol:Exclusion
        pol:Inclusion
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g1>
        <#_g0>
        <#_g3>
        <#_g4>
        <#_g5>
        <#_g2>
        <#_g7>
        <#_g6>
        <#_g9>
        <#_g10>
        <#_g8> );
         :justification :premise .
    {
        que:Query-1     air:compliant-with pol:Blocking .
        
        }     :description  (
        " The query, "
        que:Query-1
        ", does not include a reference to type:F or type:G in the WHERE clause." );
         :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf pol:BL_RULE04;
                     :justification  [
                         :antecedent-expr  [
                             a :And-justification;
                             :sub-expr  [
                                 air:instanceOf pol:BL_RULE03a;
                                 :justification  [
                                     :antecedent-expr  [
                                         a :And-justification;
                                         :sub-expr <#_g9>,
                                                 [
                                             air:instanceOf pol:BL_RULE03;
                                             :justification  [
                                                 :antecedent-expr  [
                                                     a :And-justification;
                                                     :sub-expr <#_g5>,
                                                             [
                                                         air:instanceOf pol:BL_RULE02a;
                                                         :justification  [
                                                             :antecedent-expr  [
                                                                 a :And-justification;
                                                                 :sub-expr <#_g1>,
                                                                         [
                                                                     air:instanceOf pol:BL_RULE02;
                                                                     :description  (
                                                                    que:Query-1
                                                                    " is a SPARQL Query" );
                                                                     :justification  [
                                                                         :antecedent-expr  [
                                                                             a :And-justification;
                                                                             :sub-expr pol:BL_RULE01,
                                                                                    {que:Query-1     a s:Select;
                                                                                 s:POSList <#_g12>;
                                                                                 s:WhereClause que:WHERE .
                                                                            } ];
                                                                         :rule-name pol:BL_RULE01 ] ],
                                                                        {} ];
                                                             :rule-name pol:BL_RULE02 ] ],
                                                            {} ];
                                                 :rule-name pol:BL_RULE02a ] ],
                                                {} ];
                                     :rule-name pol:BL_RULE03 ] ],
                                    <#_g11>,
                                    {} ];
                         :rule-name pol:BL_RULE03a ] ],
                        {} ];
             :rule-name pol:BL_RULE04 ] .
    {
        que:Query-1     air:compliant-with pol:Exclusion .
        
        }     :description  (
        "The query, "
        que:Query-1
        ", includes a reference to something of type:B, but not of type:C." );
         :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf pol:EX_RULE04;
                     :justification  [
                         :antecedent-expr  [
                             a :And-justification;
                             :sub-expr  [
                                 air:instanceOf pol:EX_RULE03;
                                 :justification  [
                                     :antecedent-expr  [
                                         a :And-justification;
                                         :sub-expr <#_g10>,
                                                 [
                                             air:instanceOf pol:EX_RULE02b;
                                             :justification  [
                                                 :antecedent-expr  [
                                                     a :And-justification;
                                                     :sub-expr <#_g7>,
                                                             [
                                                         air:instanceOf pol:EX_RULE02a;
                                                         :justification  [
                                                             :antecedent-expr  [
                                                                 a :And-justification;
                                                                 :sub-expr <#_g3>,
                                                                         [
                                                                     air:instanceOf pol:EX_RULE02;
                                                                     :description  (
                                                                    que:Query-1
                                                                    " is a SPARQL Query" );
                                                                     :justification  [
                                                                         :antecedent-expr  [
                                                                             a :And-justification;
                                                                             :sub-expr pol:EX_RULE01,
                                                                                    {que:Query-1     a s:Select;
                                                                                 s:POSList <#_g12>;
                                                                                 s:WhereClause que:WHERE .
                                                                            } ];
                                                                         :rule-name pol:EX_RULE01 ] ],
                                                                        {} ];
                                                             :rule-name pol:EX_RULE02 ] ],
                                                            {} ];
                                                 :rule-name pol:EX_RULE02a ] ],
                                                {} ];
                                     :rule-name pol:EX_RULE02b ] ],
                                     [
                                 air:closed-world-assumption  (
                                pol:Blocking
                                pol:Restriction
                                pol:Exclusion
                                pol:Inclusion
                                air:base-rules
                                <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase1/exclusion-query3.n3>
                                <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
                                <#_g1>
                                <#_g0>
                                <#_g3>
                                <#_g4>
                                <#_g5>
                                <#_g2>
                                <#_g7>
                                <#_g6>
                                <#_g9>
                                <#_g10>
                                <#_g8>
                                <#_g11> );
                                 :justification :premise ],
                                    {} ];
                         :rule-name pol:EX_RULE03 ] ],
                        {que:WHERE     s:TriplePattern {que:S     type:B que:B .
                    } .
                {
                    que:S     type:B que:B .
                    
                    }     log:notIncludes { @forSome <#_g13> .
                      [      type:C <#_g13> ].
                    } .
                } ];
             :rule-name pol:EX_RULE04 ] .
    {
        que:Query-1     air:compliant-with pol:Inclusion .
        
        }     :description  (
        " IN_RULE05 The query, "
        que:Query-1
        ", does not refer to type:D or type:E." );
         :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf pol:IN_RULE05;
                     :justification  [
                         :antecedent-expr  [
                             a :And-justification;
                             :sub-expr  [
                                 air:instanceOf pol:IN_RULE04;
                                 :justification  [
                                     :antecedent-expr  [
                                         a :And-justification;
                                         :sub-expr  [
                                             air:instanceOf pol:IN_RULE03;
                                             :justification  [
                                                 :antecedent-expr  [
                                                     a :And-justification;
                                                     :sub-expr <#_g4>,
                                                             [
                                                         air:instanceOf pol:IN_RULE02;
                                                         :description  (
                                                        que:Query-1
                                                        " is a SPARQL Query" );
                                                         :justification  [
                                                             :antecedent-expr  [
                                                                 a :And-justification;
                                                                 :sub-expr pol:IN_RULE01,
                                                                        {que:Query-1     a s:Select;
                                                                     s:POSList <#_g12>;
                                                                     s:WhereClause que:WHERE .
                                                                } ];
                                                             :rule-name pol:IN_RULE01 ] ],
                                                            {} ];
                                                 :rule-name pol:IN_RULE02 ] ],
                                                <#_g6>,
                                                {} ];
                                     :rule-name pol:IN_RULE03 ] ],
                                    <#_g8>,
                                    {} ];
                         :rule-name pol:IN_RULE04 ] ],
                        {} ];
             :rule-name pol:IN_RULE05 ] .
    {
        que:Query-1     air:compliant-with pol:Restriction .
        
        }     :description  (
        "The query, "
        que:Query-1
        ", does not includes reference to type:A." );
         :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf pol:RX_RULE04;
                     :justification  [
                         :antecedent-expr  [
                             a :And-justification;
                             :sub-expr  [
                                 air:instanceOf pol:RX_RULE03;
                                 :justification  [
                                     :antecedent-expr  [
                                         a :And-justification;
                                         :sub-expr  [
                                             air:instanceOf pol:RX_RULE02;
                                             :description  (
                                            que:Query-1
                                            " is a SPARQL Query" );
                                             :justification  [
                                                 :antecedent-expr  [
                                                     a :And-justification;
                                                     :sub-expr pol:RX_RULE01,
                                                            {que:Query-1     a s:Select;
                                                         s:POSList <#_g12>;
                                                         s:WhereClause que:WHERE .
                                                    } ];
                                                 :rule-name pol:RX_RULE01 ] ],
                                                <#_g0>,
                                                {} ];
                                     :rule-name pol:RX_RULE02 ] ],
                                    <#_g2>,
                                    {} ];
                         :rule-name pol:RX_RULE03 ] ],
                        {que:WHERE     s:TriplePattern {que:S     type:B que:B .
                    } .
                {
                    que:S     type:B que:B .
                    
                    }     log:notIncludes { @forSome <#_g14> .
                      [      type:A <#_g14> ].
                    } .
                } ];
             :rule-name pol:RX_RULE04 ] .
    {
        que:Query-1     a s:Select;
             s:POSList <#_g12>;
             s:WhereClause que:WHERE .
        que:WHERE     s:TriplePattern {que:S     type:B que:B .
            } .
        {
            que:S     type:B que:B .
            
            }     log:notIncludes { @forSome <#_g14> .
              [      type:A <#_g14> ].
            },
                    { @forSome <#_g13> .
              [      type:C <#_g13> ].
            } .
        
        }     :justification :premise .