@prefix : <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix que: <http://dig.csail.mit.edu/2009/IARPA-PIR/query1#> .
    @prefix s: <http://dig.csail.mit.edu/2009/IARPA-PIR/sparql#> .
    @prefix type: <http://dig.csail.mit.edu/2009/IARPA-PIR/generic#> .
    
    que:Query-1     air:non-compliant-with <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3retrieve-and-filter-policy> .
    
    <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule1>     :justification :premise .
    {
        que:Query-1     air:non-compliant-with <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3retrieve-and-filter-policy> .
        
        }     :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule4>;
                     :description  (
                    "Only check a query that asks for firstlast in WHERE (for now)." );
                     :justification  [
                         :antecedent-expr  [
                             a :And-justification;
                             :sub-expr  [
                                 air:instanceOf <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule2>;
                                 :description  (
                                "Make sure this is a query." );
                                 :justification  [
                                     :antecedent-expr  [
                                         a :And-justification;
                                         :sub-expr <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule1>,
                                                {que:Query-1     a s:Select;
                                             s:POSList <#_g0>;
                                             s:WhereClause que:WHERE .
                                        } ];
                                     :rule-name <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule1> ] ],
                                    {que:WHERE     s:TriplePattern {que:person     type:firstlast que:name .
                                } .
                            <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3T>     log:includes { @forSome que:name,
                                            que:person .
                                que:person     type:firstlast que:name .
                                } .
                            } ];
                         :rule-name <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule2> ] ],
                         [
                     air:closed-world-assumption  (
                    <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3retrieve-and-filter-policy>
                    air:base-rules
                    <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-query2.n3>
                    <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl> );
                     :justification :premise ],
                        {} ];
             :rule-name <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule4> ] .
    {
        que:Query-1     a s:Select;
             s:POSList <#_g0>;
             s:WhereClause que:WHERE .
        que:WHERE     s:TriplePattern {que:person     type:firstlast que:name .
            } .
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3T>     log:includes { @forSome que:name,
                        que:person .
            que:person     type:firstlast que:name .
            } .
        
        }     :justification :premise .