@prefix : <http://dig.csail.mit.edu/TAMI/2007/s0/log#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix mi: <http://dig.csail.mit.edu/TAMI/2007/s0/mit-policy#> .
    @prefix mit: <http://dig.csail.mit.edu/TAMI/2007/s0/university#> .
    @prefix owl: <http://www.w3.org/2002/07/owl#> .
    @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
    @prefix tms: <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    
    :Samchargedwithacademicfraud     air:non-compliant-with mi:MITProxCardPolicy .
    
    mi:MITRule1     tms:justification tms:premise .
    {
        :Samchargedwithacademicfraud     air:non-compliant-with mi:MITProxCardPolicy .
        
        }     tms:description  (
        :AcademicFraud
        " is different from a criminal activity" );
         tms:justification  [
             tms:antecedent-expr  [
                 a tms:And-justification;
                 tms:sub-expr  [
                     air:instanceOf mi:MITRule3;
                     tms:justification  [
                         tms:antecedent-expr  [
                             a tms:And-justification;
                             tms:sub-expr  [
                                 air:instanceOf mi:MITRule2;
                                 tms:justification  [
                                     tms:antecedent-expr  [
                                         a tms:And-justification;
                                         tms:sub-expr mi:MITRule1,
                                                {air:data     a owl:TransitiveProperty .
                                        :ChargeEvent     rdfs:subClassOf air:UseEvent .
                                        :Samchargedwithacademicfraud     a :ChargeEvent;
                                             :chargedWith :AcademicFraud;
                                             :complaint :complaint-1 .
                                        :chargedWith     rdfs:subPropertyOf air:purpose .
                                        :complaint     rdfs:subPropertyOf air:data .
                                        :complaint-1     mit:evidence :proxcarddata-1 .
                                        :proxcarddata-1     a mit:ProxCardEvent .
                                        mit:evidence     rdfs:subPropertyOf air:data .
                                        } ];
                                     tms:rule-name mi:MITRule1 ] ],
                                     [
                                 air:closed-world-assumption  (
                                mi:MITProxCardPolicy
                                air:base-rules
                                <http://dig.csail.mit.edu/TAMI/2007/s0/log.n3>
                                <http://dig.csail.mit.edu/TAMI/2007/amord/base-assumptions.ttl> );
                                 tms:justification tms:premise ],
                                    {} ];
                         tms:rule-name mi:MITRule2 ] ],
                        {} ];
             tms:rule-name mi:MITRule3 ] .
    {
        air:data     a owl:TransitiveProperty .
        :ChargeEvent     rdfs:subClassOf air:UseEvent .
        :Samchargedwithacademicfraud     a :ChargeEvent;
             :chargedWith :AcademicFraud;
             :complaint :complaint-1 .
        :chargedWith     rdfs:subPropertyOf air:purpose .
        :complaint     rdfs:subPropertyOf air:data .
        :complaint-1     mit:evidence :proxcarddata-1 .
        :proxcarddata-1     a mit:ProxCardEvent .
        mit:evidence     rdfs:subPropertyOf air:data .
        
        }     tms:justification tms:premise .