@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_Query1_new#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix db: <http://dig.csail.mit.edu/2009/IARPA-PIR/Yotam_Work/http//dig.csail.mit.edu/db#> .
    @prefix list: <http://www.w3.org/2000/10/swap/list#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix s: <http://dig.csail.mit.edu/2009/IARPA-PIR/abstract_sparql#> .
    @prefix type: <http://dig.csail.mit.edu/2009/IARPA-PIR/generic#> .
    
    SC:Rt_Rule1     :justification :premise .
    
    SC:ThenRule1     :justification :premise .
    
    Supe:Query-1     air:compliant-with SC:Then_Policy;
         air:non-compliant-with SC:RtPolicy .
    {
        Supe:Query-1     air:compliant-with SC:Then_Policy .
        
        }     :description  (
        "You are now in the second policy" );
         :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr SC:ThenRule1,
                        {Supe:Query-1     air:non-compliant-with SC:RtPolicy .
                } ];
             :rule-name SC:ThenRule1 ] .
    {
        Supe:Query-1     air:non-compliant-with SC:RtPolicy .
        
        }     :description  (
        Supe:Query-1
        " retrieves "
        db:A
        ", and since "
        db:A
        " is in "
        db:A
        ", this is illegal." );
         :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf SC:Rt_Rule2;
                     :description  (
                    Supe:Query-1
                    " is a query." );
                     :justification  [
                         :antecedent-expr  [
                             a :And-justification;
                             :sub-expr SC:Rt_Rule1,
                                    {Supe:Query-1     a s:SPARQLQuery;
                                 s:clause <#_g0>;
                                 s:retrieve <#_g1> .
                            } ];
                         :rule-name SC:Rt_Rule1 ] ],
                        {SC:G     log:includes { @forSome Supe:S .
                    Supe:S     type:A db:A .
                    } .
                db:A     db:in db:A .
                type:A     list:in  (
                    type:A
                    type:B
                    type:C
                    type:D ) .
                <#_g1>     s:var db:A .
                <#_g0>     s:triplePattern {Supe:S     type:A db:A .
                    } .
                } ];
             :rule-name SC:Rt_Rule2 ] .
    {
        SC:G     log:includes { @forSome Supe:S .
            Supe:S     type:A db:A .
            } .
        Supe:Query-1     a s:SPARQLQuery;
             s:clause <#_g0>;
             s:retrieve <#_g1> .
        db:A     db:in db:A .
        type:A     list:in  (
            type:A
            type:B
            type:C
            type:D ) .
        <#_g1>     s:var db:A .
        <#_g0>     s:triplePattern {Supe:S     type:A db:A .
            } .
        
        }     :justification :premise .