@prefix : <http://dig.csail.mit.edu/2009/IARPA-PIR/query1#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix math: <http://www.w3.org/2000/10/swap/math#> .
    @prefix s: <http://dig.csail.mit.edu/2009/IARPA-PIR/sparql#> .
    @prefix tms: <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    @prefix type: <http://dig.csail.mit.edu/2009/IARPA-PIR/generic#> .
    
    :Query-1     air: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>     tms:justification tms:premise .
    {
        :Query-1     air:compliant-with <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3retrieve-and-filter-policy> .
        
        }     tms:description  (
        1990
        " year in Downwards check." );
         tms:justification  [
             tms:antecedent-expr  [
                 a tms:And-justification;
                 tms:sub-expr  [
                     air:instanceOf <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule4>;
                     tms:description  (
                    "Only check a query that asks for firstlast in WHERE (for now)." );
                     tms:justification  [
                         tms:antecedent-expr  [
                             a tms:And-justification;
                             tms:sub-expr  [
                                 air:instanceOf <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule2>;
                                 tms:description  (
                                "Make sure this is a query." );
                                 tms:justification  [
                                     tms:antecedent-expr  [
                                         a tms:And-justification;
                                         tms:sub-expr <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule1>,
                                                {:Query-1     a s:Select;
                                             s:POSList <#_g0>;
                                             s:WhereClause :WHERE .
                                        } ];
                                     tms:rule-name <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule1> ] ],
                                    {:WHERE     s:TriplePattern {:person     type:firstlast :name .
                                } .
                            <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3T>     log:includes { @forSome :name,
                                            :person .
                                :person     type:firstlast :name .
                                } .
                            } ];
                         tms:rule-name <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule2> ] ],
                        {1990     math:lessThan 1991 .
                :WHERE     s:Filter <#_g1> .
                <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3S>     log:includes { @forSome :year .
                    :year     s:lessThan 1990 .
                    } .
                <#_g1>     s:TriplePattern {:year     s:lessThan 1990 .
                    } .
                } ];
             tms:rule-name <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3filter-retrieve-rule4> ] .
    {
        1990     math:lessThan 1991 .
        :Query-1     a s:Select;
             s:POSList <#_g0>;
             s:WhereClause :WHERE .
        :WHERE     s:Filter <#_g1>;
             s:TriplePattern {:person     type:firstlast :name .
            } .
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3S>     log:includes { @forSome :year .
            :year     s:lessThan 1990 .
            } .
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase2/blocking-filter-policy.n3T>     log:includes { @forSome :name,
                        :person .
            :person     type:firstlast :name .
            } .
        <#_g1>     s:TriplePattern {:year     s:lessThan 1990 .
            } .
        
        }     tms:justification tms:premise .