@prefix : <http://dig.csail.mit.edu/TAMI/2007/tami#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix log: <http://dig.csail.mit.edu/2008/ARL/log#> .
    @prefix tms: <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    @prefix u: <urn:KAoS#> .
    @prefix un: <http://dig.csail.mit.edu/2008/ARL/unresol-policy#> .
    
    log:SearchPremise021308     air:non-compliant-with un:UN_General_Assembly_Resolution .
    
    un:UNR_1     tms:justification tms:premise .
    {
        log:SearchPremise021308     air:non-compliant-with un:UN_General_Assembly_Resolution .
        
        }     tms:description  (
        log:SearchPremise021308
        ", performed by the defendant "
        u:DeltaCompany
        " was for "
        :CounterTerrorism
        " purposes,  making it incompliant with UN General Assembly Resolution" );
         tms:justification  [
             tms:antecedent-expr  [
                 a tms:And-justification;
                 tms:sub-expr  [
                     air:instanceOf un:UNR_4;
                     tms:description  (
                    "Data obtained from the Red Cross can only be used for humanitarian purposes. " );
                     tms:justification  [
                         tms:antecedent-expr  [
                             a tms:And-justification;
                             tms:sub-expr  [
                                 air:instanceOf un:UNR_3;
                                 tms:description  (
                                log:SearchPremise021308
                                " has purpose "
                                :CounterTerrorism
                                " and uses data obtained from the Red Cross " );
                                 tms:justification  [
                                     tms:antecedent-expr  [
                                         a tms:And-justification;
                                         tms:sub-expr  [
                                             air:instanceOf un:UNR_2;
                                             tms:description  (
                                            log:Complaint021408
                                            " was filed by "
                                            log:MuhammedAlGhamidi
                                            " about "
                                            log:SearchPremise021308
                                            " performed by "
                                            u:DeltaCompany );
                                             tms:justification  [
                                                 tms:antecedent-expr  [
                                                     a tms:And-justification;
                                                     tms:sub-expr un:UNR_1,
                                                            {log:Complaint021408     a :PrivacyViolationComplaint;
                                                         :actor log:MuhammedAlGhamidi;
                                                         :defendant u:DeltaCompany;
                                                         :prevEvent log:SearchPremise021308 .
                                                    log:SearchPremise021308     a :SearchEvent;
                                                         :actor u:DeltaCompany .
                                                    } ];
                                                 tms:rule-name un:UNR_1 ] ],
                                                {log:ResultRedCrossQuery     a :Inform;
                                             :content log:redcrossresult;
                                             :receiver u:DeltaCompany;
                                             :sender :RedCross .
                                        log:SearchPremise021308     :data log:redcrossresult;
                                             :prevEvent log:ResultRedCrossQuery;
                                             :purpose :CounterTerrorism .
                                        log:redcrossresult     :purpose :Humanitarian .
                                        } ];
                                     tms:rule-name un:UNR_2 ] ],
                                     [
                                 air:closed-world-assumption  (
                                un:UN_General_Assembly_Resolution
                                un:trans-prevEvent
                                air:base-rules
                                <http://dig.csail.mit.edu/2008/ARL/log.n3>
                                <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl> );
                                 tms:justification tms:premise ],
                                    {} ];
                         tms:rule-name un:UNR_3 ] ],
                        {} ];
             tms:rule-name un:UNR_4 ] .
    {
        log:Complaint021408     a :PrivacyViolationComplaint;
             :actor log:MuhammedAlGhamidi;
             :defendant u:DeltaCompany;
             :prevEvent log:SearchPremise021308 .
        log:ResultRedCrossQuery     a :Inform;
             :content log:redcrossresult;
             :receiver u:DeltaCompany;
             :sender :RedCross .
        log:SearchPremise021308     a :SearchEvent;
             :actor u:DeltaCompany;
             :data log:redcrossresult;
             :prevEvent log:ResultRedCrossQuery;
             :purpose :CounterTerrorism .
        log:redcrossresult     :purpose :Humanitarian .
        
        }     tms:justification tms:premise .