@prefix : <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    @prefix Two: <http://dig.csail.mit.edu/2009/IARPA-PIR/Yotam_Work/Two_Sources_Policy#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix s: <http://dig.csail.mit.edu/2009/IARPA-PIR/sparql#> .
    
    <http://dig.csail.mit.edu/2009/IARPA-PIR/From_Query2Query-1447043892>     air:compliant-with Two:Two_Sources_Policy .
    
    Two:TS_Rule1     :justification :premise .
    {
        <http://dig.csail.mit.edu/2009/IARPA-PIR/From_Query2Query-1447043892>     air:compliant-with Two:Two_Sources_Policy .
        
        }     :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf Two:TS_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 Two:TS_Rule1,
                                    {<http://dig.csail.mit.edu/2009/IARPA-PIR/From_Query2Query-1447043892>     a s:Query;
                                 s:Clause <#_g0> .
                            } ];
                         :rule-name Two:TS_Rule1 ] ],
                         [
                     air:closed-world-assumption  (
                    Two:Two_Sources_Policy
                    air:base-rules
                    <http://dig.csail.mit.edu/2009/IARPA-PIR/Yotam_Work/From_Query2.n3>
                    <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl> );
                     :justification :premise ],
                        {} ];
             :rule-name Two:TS_Rule2 ] .
    {
        <http://dig.csail.mit.edu/2009/IARPA-PIR/From_Query2Query-1447043892>     a s:Query;
             s:Clause <#_g0> .
        
        }     :justification :premise .