@prefix : <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    @prefix DN: <http://dig.csail.mit.edu/2009/IARPA-PIR/Yotam_Work/DN_From_Policy#> .
    @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#> .
    
    <http://dig.csail.mit.edu/2009/IARPA-PIR/From_Query2Query-1447043892>     air:non-compliant-with DN:DN_From_Policy .
    
    DN:DN_From_Rule1     :justification :premise .
    {
        <http://dig.csail.mit.edu/2009/IARPA-PIR/From_Query2Query-1447043892>     air:non-compliant-with DN:DN_From_Policy .
        
        }     :description  (
        <http://URIgeneric4.html>
        " is an illegal source." );
         :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf DN:DN_From_Rule3;
                     :description  (
                    <http://dig.csail.mit.edu/2009/IARPA-PIR/From_Query2Query-1447043892>
                    " includes a reference to a source "
                    <http://URIgeneric4.html> );
                     :justification  [
                         :antecedent-expr  [
                             a :And-justification;
                             :sub-expr  [
                                 air:instanceOf DN:DN_From_Rule2;
                                 :description  (
                                <http://dig.csail.mit.edu/2009/IARPA-PIR/From_Query2Query-1447043892>
                                " is a SPARQL query." );
                                 :justification  [
                                     :antecedent-expr  [
                                         a :And-justification;
                                         :sub-expr DN:DN_From_Rule1,
                                                {<http://dig.csail.mit.edu/2009/IARPA-PIR/From_Query2Query-1447043892>     a s:Query;
                                             s:Clause <#_g0> .
                                        } ];
                                     :rule-name DN:DN_From_Rule1 ] ],
                                    {<http://dig.csail.mit.edu/2009/IARPA-PIR/From_Query2Query-1447043892>     s:Source <http://URIgeneric4.html> .
                            } ];
                         :rule-name DN:DN_From_Rule2 ] ],
                        {{
                    <http://URIgeneric1.html>     a DN:LegalSource .
                    <http://URIgeneric2.html>     a DN:LegalSource .
                    <http://URIgeneric3.html>     a DN:LegalSource .
                    
                    }     log:notIncludes {<http://URIgeneric4.html>     a DN:LegalSource .
                    } .
                } ];
             :rule-name DN:DN_From_Rule3 ] .
    {
        <http://dig.csail.mit.edu/2009/IARPA-PIR/From_Query2Query-1447043892>     a s:Query;
             s:Clause <#_g0>;
             s:Source <http://URIgeneric4.html> .
        {
            <http://URIgeneric1.html>     a DN:LegalSource .
            <http://URIgeneric2.html>     a DN:LegalSource .
            <http://URIgeneric3.html>     a DN:LegalSource .
            
            }     log:notIncludes {<http://URIgeneric4.html>     a DN:LegalSource .
            } .
        
        }     :justification :premise .