@prefix : <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix log: <http://dig.csail.mit.edu/2008/ARL/log#> .
    @prefix pol: <http://dig.csail.mit.edu/2008/ARL/policy#> .
    @prefix tami: <http://dig.csail.mit.edu/TAMI/2007/tami#> .
    @prefix u: <urn:KAoS#> .
    
     @forSome <#_g0>,
                <#_g1> .
    
    log:SearchPremise021308     air:non-compliant-with pol:Universal_Declaration_of_Human_Rights_Article12 .
    
    pol:UDHR_1     :justification :premise .
    
    <#_g0>     air:closed-world-assumption  (
        pol:Universal_Declaration_of_Human_Rights_Article12
        pol: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> );
         :justification :premise .
    
    <#_g1>     air:closed-world-assumption  (
        pol:Universal_Declaration_of_Human_Rights_Article12
        pol: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>
        <#_g0> );
         :justification :premise .
    {
        log:SearchPremise021308     air:non-compliant-with pol:Universal_Declaration_of_Human_Rights_Article12 .
        
        }     :description  (
        log:SearchPremise021308
        " was performed without due process, making it incompliant with the Universal Declaration of Human Rights, Article 12" );
         :justification  [
             :antecedent-expr  [
                 a :And-justification;
                 :sub-expr  [
                     air:instanceOf pol:UDHR_6;
                     :description  (
                    "No notice was given by "
                    u:DeltaCompany
                    " before "
                    log:SearchPremise021308
                    " was performed " );
                     :justification  [
                         :antecedent-expr  [
                             a :And-justification;
                             :sub-expr  [
                                 air:instanceOf pol:UDHR_5;
                                 :description  (
                                "No consent was obtained by "
                                u:DeltaCompany
                                " before "
                                log:SearchPremise021308
                                " was performed " );
                                 :justification  [
                                     :antecedent-expr  [
                                         a :And-justification;
                                         :sub-expr  [
                                             air:instanceOf pol:UDHR_4;
                                             :justification  [
                                                 :antecedent-expr  [
                                                     a :And-justification;
                                                     :sub-expr  [
                                                         air:instanceOf pol:UDHR_3;
                                                         :description  (
                                                        "Purpose of "
                                                        log:SearchPremise021308
                                                        " was "
                                                        tami:CounterTerrorism
                                                        " and it used data meant to be used for "
                                                        tami:Humanitarian
                                                        " purposes " );
                                                         :justification  [
                                                             :antecedent-expr  [
                                                                 a :And-justification;
                                                                 :sub-expr  [
                                                                     air:instanceOf pol:UDHR_2;
                                                                     :description  (
                                                                    log:Complaint021408
                                                                    " was filed by "
                                                                    log:MuhammedAlGhamidi
                                                                    " about "
                                                                    log:SearchPremise021308
                                                                    " performed by "
                                                                    u:DeltaCompany );
                                                                     :justification  [
                                                                         :antecedent-expr  [
                                                                             a :And-justification;
                                                                             :sub-expr pol:UDHR_1,
                                                                                    {log:Complaint021408     a tami:PrivacyViolationComplaint;
                                                                                 tami:actor log:MuhammedAlGhamidi;
                                                                                 tami:defendant u:DeltaCompany;
                                                                                 tami:prevEvent log:SearchPremise021308 .
                                                                            log:SearchPremise021308     a tami:SearchEvent .
                                                                            u:DeltaCompany     a tami:Military .
                                                                            } ];
                                                                         :rule-name pol:UDHR_1 ] ],
                                                                        {log:SearchPremise021308     tami:data log:redcrossresult;
                                                                     tami:purpose tami:CounterTerrorism .
                                                                log:redcrossresult     tami:purpose tami:Humanitarian .
                                                                } ];
                                                             :rule-name pol:UDHR_2 ] ],
                                                            <#_g0>,
                                                            {} ];
                                                 :rule-name pol:UDHR_3 ] ],
                                                <#_g1>,
                                                {} ];
                                     :rule-name pol:UDHR_4 ] ],
                                     [
                                 air:closed-world-assumption  (
                                pol:Universal_Declaration_of_Human_Rights_Article12
                                pol: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>
                                <#_g0>
                                <#_g1> );
                                 :justification :premise ],
                                    {} ];
                         :rule-name pol:UDHR_5 ] ],
                        {} ];
             :rule-name pol:UDHR_6 ] .
    {
        log:Complaint021408     a tami:PrivacyViolationComplaint;
             tami:actor log:MuhammedAlGhamidi;
             tami:defendant u:DeltaCompany;
             tami:prevEvent log:SearchPremise021308 .
        log:SearchPremise021308     a tami:SearchEvent;
             tami:data log:redcrossresult;
             tami:purpose tami:CounterTerrorism .
        log:redcrossresult     tami:purpose tami:Humanitarian .
        u:DeltaCompany     a tami:Military .
        
        }     :justification :premise .