@prefix : <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    @prefix SC: <http://dig.csail.mit.edu/2009/IARPA-PIR/Yotam_Work/SC_Retrieval_Policy_New#> .
    @prefix Supe: <http://dig.csail.mit.edu/2009/IARPA-PIR/Yotam_Work/SuperClass_Query2_new#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix s: <http://dig.csail.mit.edu/2009/IARPA-PIR/sparql#> .
    
     @forSome <#_g0> .
    
    SC:SC_Retrieval_Rule1     :justification :premise .
    
    Supe:Query-2     air:compliant-with SC:SC_RP_New .
    
    <#_g0>     air:closed-world-assumption  (
        SC:SC_RP_New
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/Yotam_Work/SuperClass_Query2_New.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl> );
         :justification :premise .
    {
        Supe:Query-2     air:compliant-with SC:SC_RP_New .
        
        }     :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf SC:SC_Retrieval_Rule3;
                     :justification  [
                         :antecedent-expr  [
                             a :And-justification;
                             :sub-expr  [
                                 air:instanceOf SC:SC_Retrieval_Rule2;
                                 :description  (
                                Supe:Query-2
                                " is a query." );
                                 :justification  [
                                     :antecedent-expr  [
                                         a :And-justification;
                                         :sub-expr SC:SC_Retrieval_Rule1,
                                                {Supe:Query-2     a s:Query;
                                             s:Clause <#_g1>;
                                             s:VarList <#_g2> .
                                        } ];
                                     :rule-name SC:SC_Retrieval_Rule1 ] ],
                                    <#_g0>,
                                    {} ];
                         :rule-name SC:SC_Retrieval_Rule2 ] ],
                         [
                     air:closed-world-assumption  (
                    SC:SC_RP_New
                    air:base-rules
                    <http://dig.csail.mit.edu/2009/IARPA-PIR/Yotam_Work/SuperClass_Query2_New.n3>
                    <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
                    <#_g0> );
                     :justification :premise ],
                        {} ];
             :rule-name SC:SC_Retrieval_Rule3 ] .
    {
        Supe:Query-2     a s:Query;
             s:Clause <#_g1>;
             s:VarList <#_g2> .
        
        }     :justification :premise .