@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 ssn: <http://dig.csail.mit.edu/2009/IARPA-PIR/ssn-policy#> .
    
     @forSome <#_g0>,
                <#_g1>,
                <#_g2> .
    
    que:Query-6     air:compliant-with ssn:SSNPolicy .
    
    ssn:SSN_RULE1     :justification :premise .
    
    <#_g0>     air:closed-world-assumption  (
        ssn:SSNPolicy
        ssn:SSNPolicy_WhereClause
        ssn:SSNPolicy_OptionalClause
        ssn:SSNPolicy_OutputRule
        ssn:SSNPolicy_FilterRule
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase0/query6.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl> );
         :justification :premise .
    
    <#_g1>     air:closed-world-assumption  (
        ssn:SSNPolicy
        ssn:SSNPolicy_WhereClause
        ssn:SSNPolicy_OptionalClause
        ssn:SSNPolicy_OutputRule
        ssn:SSNPolicy_FilterRule
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase0/query6.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g0> );
         :justification :premise .
    
    <#_g2>     air:closed-world-assumption  (
        ssn:SSNPolicy
        ssn:SSNPolicy_WhereClause
        ssn:SSNPolicy_OptionalClause
        ssn:SSNPolicy_OutputRule
        ssn:SSNPolicy_FilterRule
        air:base-rules
        <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase0/query6.n3>
        <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
        <#_g0>
        <#_g1> );
         :justification :premise .
    {
        que:Query-6     air:compliant-with ssn:SSNPolicy .
        
        }     :description  (
        "The query, "
        que:Query-6
        ", does not includes reference to SSN number in the optional section of the where clases" );
         :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf ssn:SSN_RULE8;
                     :description  (
                    "The query, "
                    que:Query-6
                    ", has an optional part" );
                     :justification  [
                         :antecedent-expr  [
                             a :And-justification;
                             :sub-expr  [
                                 air:instanceOf ssn:SSN_RULE7;
                                 :justification  [
                                     :antecedent-expr  [
                                         a :And-justification;
                                         :sub-expr  [
                                             air:instanceOf ssn:SSN_RULE4;
                                             :justification  [
                                                 :antecedent-expr  [
                                                     a :And-justification;
                                                     :sub-expr  [
                                                         air:instanceOf ssn:SSN_RULE5;
                                                         :justification  [
                                                             :antecedent-expr  [
                                                                 a :And-justification;
                                                                 :sub-expr  [
                                                                     air:instanceOf ssn:SSN_RULE3;
                                                                     :justification  [
                                                                         :antecedent-expr  [
                                                                             a :And-justification;
                                                                             :sub-expr  [
                                                                                 air:instanceOf ssn:SSN_RULE2;
                                                                                 :description  (
                                                                                que:Query-6
                                                                                " is a SPARQL query" );
                                                                                 :justification  [
                                                                                     :antecedent-expr  [
                                                                                         a :And-justification;
                                                                                         :sub-expr ssn:SSN_RULE1,
                                                                                                {que:Query-6     a s:Select;
                                                                                             s:POSList <#_g3>;
                                                                                             s:WhereClause que:WHERE .
                                                                                        } ];
                                                                                     :rule-name ssn:SSN_RULE1 ] ],
                                                                                    <#_g0>,
                                                                                    {} ];
                                                                         :rule-name ssn:SSN_RULE2 ] ],
                                                                        <#_g1>,
                                                                        {} ];
                                                             :rule-name ssn:SSN_RULE3 ] ],
                                                            <#_g2>,
                                                            {} ];
                                                 :rule-name ssn:SSN_RULE5 ] ],
                                                 [
                                             air:closed-world-assumption  (
                                            ssn:SSNPolicy
                                            ssn:SSNPolicy_WhereClause
                                            ssn:SSNPolicy_OptionalClause
                                            ssn:SSNPolicy_OutputRule
                                            ssn:SSNPolicy_FilterRule
                                            air:base-rules
                                            <http://dig.csail.mit.edu/2009/IARPA-PIR/usecase0/query6.n3>
                                            <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl>
                                            <#_g0>
                                            <#_g1>
                                            <#_g2> );
                                             :justification :premise ],
                                                {} ];
                                     :rule-name ssn:SSN_RULE4 ] ],
                                    {que:WHERE     s:OptionalGraphPattern <#_g4> .
                            } ];
                         :rule-name ssn:SSN_RULE7 ] ],
                        {<#_g4>     s:TriplePattern {que:S     <http://xmlns.com/foaf/0.1/workplace> que:W .
                    } .
                {
                    que:S     <http://xmlns.com/foaf/0.1/workplace> que:W .
                    
                    }     log:notIncludes { @forSome <#_g5> .
                      [      <http://xmlns.com/foaf/0.1/ssn> <#_g5> ].
                    } .
                } ];
             :rule-name ssn:SSN_RULE8 ] .
    {
        que:Query-6     a s:Select;
             s:POSList <#_g3>;
             s:WhereClause que:WHERE .
        que:WHERE     s:OptionalGraphPattern <#_g4> .
        <#_g4>     s:TriplePattern {que:S     <http://xmlns.com/foaf/0.1/workplace> que:W .
            } .
        {
            que:S     <http://xmlns.com/foaf/0.1/workplace> que:W .
            
            }     log:notIncludes { @forSome <#_g5> .
              [      <http://xmlns.com/foaf/0.1/ssn> <#_g5> ].
            } .
        
        }     :justification :premise .