@prefix : <http://dig.csail.mit.edu/2009/IARPA-PIR/query1#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix s: <http://dig.csail.mit.edu/2009/IARPA-PIR/sparql#> .
    @prefix tms: <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    @prefix type: <http://dig.csail.mit.edu/2009/IARPA-PIR/generic#> .
    
    :Query-1     air:non-compliant-with <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/default-deny-policy.n3default-deny-Policy> .
    
    <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/default-deny-policy.n3query-rule>     tms:justification tms:premise .
    {
        :Query-1     air:non-compliant-with <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/default-deny-policy.n3default-deny-Policy> .
        
        }     tms:description  (
        :Query-1
        "is not compliant with the query because "
        {:person     type:firstlast :name .
            }
        " includes a reference to a restricted variable." );
         tms:justification  [
             tms:antecedent-expr  [
                 a tms:And-justification;
                 tms:sub-expr  [
                     air:instanceOf <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/default-deny-policy.n3default-deny-rule>;
                     tms:description  (
                    "Make sure this is a query." );
                     tms:justification  [
                         tms:antecedent-expr  [
                             a tms:And-justification;
                             tms:sub-expr <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/default-deny-policy.n3query-rule>,
                                    {:Query-1     a s:Select;
                                 s:POSList <#_g0>;
                                 s:WhereClause :WHERE .
                            } ];
                         tms:rule-name <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/default-deny-policy.n3query-rule> ] ],
                        {:WHERE     s:TriplePattern {:person     type:firstlast :name .
                    } .
                {
                    :person     type:firstlast :name .
                    
                    }     log:notIncludes { @forSome <#_g1> .
                      [      type:X <#_g1> ].
                    },
                            { @forSome <#_g2> .
                      [      type:Y <#_g2> ].
                    },
                            { @forSome <#_g3> .
                      [      type:Z <#_g3> ].
                    } .
                } ];
             tms:rule-name <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/default-deny-policy.n3default-deny-rule> ] .
    {
        :Query-1     a s:Select;
             s:POSList <#_g0>;
             s:WhereClause :WHERE .
        :WHERE     s:TriplePattern {:person     type:firstlast :name .
            } .
        {
            :person     type:firstlast :name .
            
            }     log:notIncludes { @forSome <#_g1> .
              [      type:X <#_g1> ].
            },
                    { @forSome <#_g2> .
              [      type:Y <#_g2> ].
            },
                    { @forSome <#_g3> .
              [      type:Z <#_g3> ].
            } .
        
        }     tms:justification tms:premise .