@prefix : <http://dig.csail.mit.edu/TAMI/2007/s9/variation1/log#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix pol: <http://dig.csail.mit.edu/TAMI/2007/s9/variation1/policy#> .
    @prefix tami: <http://dig.csail.mit.edu/TAMI/2007/tami#> .
    @prefix tms: <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    
    :Bettyrejectsbobsreq     air:non-compliant-with pol:MA_Disability_Discrimination_Policy .
    
    <#_g0>     tms:justification tms:premise .
    {
        :Bettyrejectsbobsreq     air:non-compliant-with pol:MA_Disability_Discrimination_Policy .
        
        }     tms:description  (
        "The reason, "
        :xphone_record_2892
        ", for denying "
        :Bobsrequest
        " is based on health information. Under the MA Disability Discrimination Law it is illegal to use health information to deny a service request." );
         tms:justification  [
             tms:antecedent-expr  [
                 a tms:And-justification;
                 tms:sub-expr  [
                     air:instanceOf <#_g1>;
                     tms:description  (
                    "The requester, "
                    pol:NAME
                    ", resides in MA and is covered by the MA Disability Discrimination Law" );
                     tms:justification  [
                         tms:antecedent-expr  [
                             a tms:And-justification;
                             tms:sub-expr  [
                                 air:instanceOf <#_g2>;
                                 tms:description  (
                                pol:NAME
                                "'s request, "
                                :Bobsrequest
                                ", was refused because of "
                                :xphone_record_2892 );
                                 tms:justification  [
                                     tms:antecedent-expr  [
                                         a tms:And-justification;
                                         tms:sub-expr <#_g0>,
                                                {:Bettyrejectsbobsreq     a tami:RefuseRequest;
                                             tami:reason :xphone_record_2892;
                                             tami:receiver :customer351;
                                             tami:reply-to :Bobsrequest .
                                        } ];
                                     tms:rule-name <#_g0> ] ],
                                    {:Bobsrequest     a tami:Request;
                                 tami:instruction :bs_request_content .
                            :bs_request_content     a tami:BenefitInstruction;
                                 tami:intended_beneficiary :customer351 .
                            :customer351     tami:location tami:MA .
                            } ];
                         tms:rule-name <#_g2> ] ],
                        {:Bettyrejectsbobsreq     a tami:RefuseRequest;
                     tami:reason :xphone_record_2892 .
                :xphone_record_2892     tami:category tami:HealthInformation .
                } ];
             tms:rule-name <#_g1> ] .
    {
        :Bettyrejectsbobsreq     a tami:RefuseRequest;
             tami:reason :xphone_record_2892;
             tami:receiver :customer351;
             tami:reply-to :Bobsrequest .
        :Bobsrequest     a tami:Request;
             tami:instruction :bs_request_content .
        :bs_request_content     a tami:BenefitInstruction;
             tami:intended_beneficiary :customer351 .
        :customer351     tami:location tami:MA .
        :xphone_record_2892     tami:category tami:HealthInformation .
        
        }     tms:justification tms:premise .