@prefix : <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    @prefix Ask: <http://dig.csail.mit.edu/2009/IARPA-PIR/Ask_Query1#> .
    @prefix Only: <http://dig.csail.mit.edu/2009/IARPA-PIR/Yotam_Work/Only_Ask_Policy#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix s: <http://dig.csail.mit.edu/2009/IARPA-PIR/sparql#> .
    
    Ask:Query-2     air:non-compliant-with Only:Only_Ask_Policy .
    
    Only:Only_Ask_Rule1     :justification :premise .
    {
        Ask:Query-2     air:non-compliant-with Only:Only_Ask_Policy .
        
        }     :description  (
        Ask:Query-2
        " retrieves a variable. You are only allowed to retrieve a True/False value." );
         :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf Only:Only_Ask_Rule2;
                     :description  (
                    Ask:Query-2
                    " is a SPARQL query." );
                     :justification  [
                         :antecedent-expr  [
                             a :And-justification;
                             :sub-expr Only:Only_Ask_Rule1,
                                    {Ask:Query-2     a s:Query;
                                 s:Clause <#_g0> .
                            } ];
                         :rule-name Only:Only_Ask_Rule1 ] ],
                        {Ask:Query-2     s:VarList <#_g1> .
                <#_g1>     s:variable Ask:S .
                } ];
             :rule-name Only:Only_Ask_Rule2 ] .
    {
        Ask:Query-2     a s:Query;
             s:Clause <#_g0>;
             s:VarList <#_g1> .
        <#_g1>     s:variable Ask:S .
        
        }     :justification :premise .