TSPC 279_a_law

279_a_law_h15a119
(1) With respect to entities handling personal information, being the entities enumerated in each of the items below, if all or part of the purpose of handling personal information is a purpose respectively prescribed in each of the items, the provisions of the preceding chapter shall not be applied.

arc(r_0279_0006__handling, r_0279_0005__entities, arg0).
arc(r_0279_0006__handling, r_0279_0008__information, arg1).
arc(r_0279_0008__information, r_0279_0007__personal, attrib19).
arc(r_0279_0010__being, r_0279_0005__entities, arg0).
arc(r_0279_0010__being, r_0279_0011__the_r_0279_0012__entities, prd).
arc(r_0279_0013__enumerated, r_0279_0011__the_r_0279_0012__entities, arg1).
arc(r_0279_0013__enumerated, z_000_279_a_law_h15a119_35, arg0).
arc(r_0279_0013__enumerated, z_000_279_a_law_h15a119_42, r_0279_0014__in_nim42).
arc(r_0279_0015__each_quant, r_0279_0013__enumerated, scope).
arc(r_0279_0015__each_quant, z_000_279_a_law_h15a119_42, restriction).
arc(r_0279_0017__the_r_0279_0018__items, r_0279_0019__below, qual53).
arc(r_0279_0021__if, r_0279_0032__is, restriction).
arc(r_0279_0021__if, r_0279_0050__not, scope).
arc(r_0279_0022__all_quant, r_0279_0023__or, scope).
arc(r_0279_0022__all_quant, z_000_279_a_law_h15a119_64, restriction).
arc(r_0279_0023__or, r_0279_0024__part, conj2).
arc(r_0279_0023__or, r_0279_0026__the_r_0279_0027__purpose, r_0279_0025__of).
arc(r_0279_0023__or, z_000_279_a_law_h15a119_64, conj1).
arc(r_0279_0026__the_r_0279_0027__purpose, r_0279_0029__handling, r_0279_0028__of).
arc(r_0279_0029__handling, r_0279_0031__information, arg1).
arc(r_0279_0029__handling, z_000_279_a_law_h15a119_84, arg0).
arc(r_0279_0031__information, r_0279_0030__personal, attrib88).
arc(r_0279_0032__is, r_0279_0023__or, arg0).
arc(r_0279_0032__is, r_0279_0033__a_r_0279_0034__purpose, prd).
arc(r_0279_0036__prescribed, r_0279_0033__a_r_0279_0034__purpose, arg1).
arc(r_0279_0036__prescribed, r_0279_0035__respectively, nim103).
arc(r_0279_0036__prescribed, z_000_279_a_law_h15a119_101, arg0).
arc(r_0279_0036__prescribed, z_000_279_a_law_h15a119_111, r_0279_0037__in_nim111).
arc(r_0279_0038__each_quant, r_0279_0036__prescribed, scope).
arc(r_0279_0038__each_quant, z_000_279_a_law_h15a119_111, restriction).
arc(r_0279_0043__the_r_0279_0044__provisions, r_0279_0046__the_r_0279_0048__chapter, r_0279_0045__of).
arc(r_0279_0046__the_r_0279_0048__chapter, r_0279_0047__preceding, attrib135).
arc(r_0279_0049__shall, r_0279_0005__entities, r_0279_0004__With_respect_to_nim12).
arc(r_0279_0049__shall, r_0279_0051__be, scope).
arc(r_0279_0050__not, r_0279_0049__shall, keep_scope).
arc(r_0279_0051__be, r_0279_0052__applied, scope).
arc(r_0279_0052__applied, r_0279_0043__the_r_0279_0044__provisions, arg1).
arc(r_0279_0052__applied, z_000_279_a_law_h15a119_148, arg0).
arc(z_000_279_a_law_h15a119_111, r_0279_0040__the_r_0279_0041__items, r_0279_0039__of).
arc(z_000_279_a_law_h15a119_42, r_0279_0017__the_r_0279_0018__items, r_0279_0016__of).

fof(formula,axiom,
    ? [R_279_6_HANDLING,R_279_8_INFORMATION,R_279_7_PERSONAL,R_279_10_BEING,R_279_5_ENTITIES,R_279_11_THE_ENTITIES] :
      ( personal(R_279_7_PERSONAL)
      & entities(R_279_5_ENTITIES)
      & the_entities(R_279_11_THE_ENTITIES)
      & handling(R_279_6_HANDLING,R_279_5_ENTITIES,R_279_8_INFORMATION)
      & information(R_279_8_INFORMATION)
      & attrib19(R_279_8_INFORMATION,R_279_7_PERSONAL)
      & being(R_279_10_BEING,R_279_5_ENTITIES,R_279_11_THE_ENTITIES)
      & ! [Z_279_A_LAW_H15A119_42,R_279_17_THE_ITEMS,R_279_19_BELOW] :
          ( ( below(R_279_19_BELOW)
            & z_279_a_law_h15a119_42(Z_279_A_LAW_H15A119_42)
            & of(Z_279_A_LAW_H15A119_42,R_279_17_THE_ITEMS)
            & the_items(R_279_17_THE_ITEMS)
            & qual53(R_279_17_THE_ITEMS,R_279_19_BELOW) )
         => ? [R_279_13_ENUMERATED,Z_279_A_LAW_H15A119_35] :
              ( enumerated(R_279_13_ENUMERATED,Z_279_A_LAW_H15A119_35,R_279_11_THE_ENTITIES)
              & in_nim42(R_279_13_ENUMERATED,Z_279_A_LAW_H15A119_42) ) )
      & ( ! [Z_279_A_LAW_H15A119_64] :
            ( true
           => ? [R_279_32_IS,R_279_23_OR,R_279_24_PART,R_279_26_THE_PURPOSE,R_279_29_HANDLING,Z_279_A_LAW_H15A119_84,R_279_31_INFORMATION,R_279_30_PERSONAL,R_279_33_A_PURPOSE] :
                ( part(R_279_24_PART)
                & personal(R_279_30_PERSONAL)
                & a_purpose(R_279_33_A_PURPOSE)
                & is(R_279_32_IS,R_279_23_OR,R_279_33_A_PURPOSE)
                & or(R_279_23_OR)
                & conj1(R_279_23_OR,Z_279_A_LAW_H15A119_64)
                & conj2(R_279_23_OR,R_279_24_PART)
                & of(R_279_23_OR,R_279_26_THE_PURPOSE)
                & the_purpose(R_279_26_THE_PURPOSE)
                & of(R_279_26_THE_PURPOSE,R_279_29_HANDLING)
                & handling(R_279_29_HANDLING,Z_279_A_LAW_H15A119_84,R_279_31_INFORMATION)
                & information(R_279_31_INFORMATION)
                & attrib88(R_279_31_INFORMATION,R_279_30_PERSONAL) ) )
       => ~ ? [R_279_49_SHALL_BE_APPLIED,Z_279_A_LAW_H15A119_148,R_279_43_THE_PROVISIONS,R_279_46_THE_CHAPTER,R_279_47_PRECEDING] :
              ( preceding(R_279_47_PRECEDING)
              & shall_be_applied(R_279_49_SHALL_BE_APPLIED,Z_279_A_LAW_H15A119_148,R_279_43_THE_PROVISIONS)
              & the_provisions(R_279_43_THE_PROVISIONS)
              & of(R_279_43_THE_PROVISIONS,R_279_46_THE_CHAPTER)
              & the_chapter(R_279_46_THE_CHAPTER)
              & attrib135(R_279_46_THE_CHAPTER,R_279_47_PRECEDING)
              & with_respect_to_nim12(R_279_49_SHALL_BE_APPLIED,R_279_5_ENTITIES) ) )
      & ! [Z_279_A_LAW_H15A119_111,R_279_40_THE_ITEMS] :
          ( ( the_items(R_279_40_THE_ITEMS)
            & z_279_a_law_h15a119_111(Z_279_A_LAW_H15A119_111)
            & of(Z_279_A_LAW_H15A119_111,R_279_40_THE_ITEMS) )
         => ? [R_279_36_PRESCRIBED,Z_279_A_LAW_H15A119_101,R_279_33_A_PURPOSE,R_279_35_RESPECTIVELY] :
              ( a_purpose(R_279_33_A_PURPOSE)
              & respectively(R_279_35_RESPECTIVELY)
              & prescribed(R_279_36_PRESCRIBED,Z_279_A_LAW_H15A119_101,R_279_33_A_PURPOSE)
              & nim103(R_279_36_PRESCRIBED,R_279_35_RESPECTIVELY)
              & in_nim111(R_279_36_PRESCRIBED,Z_279_A_LAW_H15A119_111) ) ) ) ).

( (IP-MAT (LST (PULB -LRB-)
               (LS 1)
               (PURB -RRB-))
          (PP-NIM (P-ROLE With_respect_to;{with_respect_to})
                  (NP (NS entities;{entity})
                      (IP-PPL (VAG;_Tn_ handling;{handle})
                              (NP-OB1 (ADJP (ADJ personal;{personal}))
                                      (N information;{information})))
                      (PUNC ,)
                      (IP-PPL (BAG;_Ln_ being;{be})
                              (NP-PRD (D the;{the})
                                      (NS entities;{entity})
                                      (IP-PPL (NP-LGS *)
                                              (VVN;_Tn_ enumerated;{enumerate})
                                              (PP-NIM (P-ROLE in;{in})
                                                      (NP (Q;_nphd_ each;{each})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (D the;{the})
                                                                  (NS items;{item})
                                                                  (ADVP-NIM (ADV below;{below})))))))))))
          (PUNC ,)
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ (NLYR (NLYR (Q;_nphd_ all;{all}))
                                         (CONJP (CONJ or;{or})
                                                (NLYR (N part;{part}))))
                                   (PP (P-ROLE of;{of})
                                       (NP (D the;{the})
                                           (N purpose;{purpose})
                                           (PP (P-ROLE of;{of})
                                               (IP-PPL (VAG;_Tn_ handling;{handle})
                                                       (NP-OB1 (ADJP (ADJ personal;{personal}))
                                                               (N information;{information})))))))
                           (BEP;_Ln_ is;{be})
                           (NP-PRD (D a;{a})
                                   (N purpose;{purpose})
                                   (IP-PPL (NP-LGS *)
                                           (ADVP-NIM (ADV respectively;{respectively}))
                                           (VVN;_Tn_ prescribed;{prescribe})
                                           (PP-NIM (P-ROLE in;{in})
                                                   (NP (Q;_nphd_ each;{each})
                                                       (PP (P-ROLE of;{of})
                                                           (NP (D the;{the})
                                                               (NS items;{item})))))))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NS provisions;{provision})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (ADJP (ADJ preceding;{preceding}))
                          (N chapter;{chapter}))))
          (MD;_cat_Vi_ shall;{shall})
          (NEG not;{not})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ applied;{apply})))
          (PUNC .))
  (ID 279_a_law_h15a119;219_5_50_1))