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.

( (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))

arc(r_0279_0006__handling,r_0279_0005__entities,inv_arg0).
arc(r_0279_0006__handling,r_0279_0008__information,arg1).
arc(r_0279_0008__information,r_0279_0007__personal,attrib).
arc(r_0279_0010__being,r_0279_0005__entities,inv_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,inv_arg1).
arc(r_0279_0013__enumerated,z_0279_5010,r_0279_0014__in__nim).
arc(r_0279_0013__enumerated,z_0279_5011___star_,arg0).
arc(r_0279_0015__each__quant,r_0279_0013__enumerated,scope).
arc(r_0279_0015__each__quant,z_0279_5010,restriction).
arc(r_0279_0017__the_r_0279_0018__items,r_0279_0019__below,nim).
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_0279_5025,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_0279_5025,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_0279_5019,arg0).
arc(r_0279_0031__information,r_0279_0030__personal,attrib).
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,inv_arg1).
arc(r_0279_0036__prescribed,r_0279_0035__respectively,nim).
arc(r_0279_0036__prescribed,z_0279_5031,r_0279_0037__in__nim).
arc(r_0279_0036__prescribed,z_0279_5033___star_,arg0).
arc(r_0279_0038__each__quant,r_0279_0036__prescribed,scope).
arc(r_0279_0038__each__quant,z_0279_5031,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,attrib).
arc(r_0279_0049__shall,r_0279_0005__entities,r_0279_0004__With_respect_to__nim).
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_0279_5041___star_,arg0).
arc(z_0279_5010,r_0279_0017__the_r_0279_0018__items,r_0279_0016__of).
arc(z_0279_5031,r_0279_0040__the_r_0279_0041__items,r_0279_0039__of).

fof(formula,axiom,
    ( ! [Z_0279_5031,R_0279_0040__THE_R_0279_0041__ITEMS] :
        ( ( r_0279_0040__the_r_0279_0041__items(R_0279_0040__THE_R_0279_0041__ITEMS)
          & z_0279_5031(Z_0279_5031)
          & has_r_0279_0039__of(Z_0279_5031,R_0279_0040__THE_R_0279_0041__ITEMS) )
       => ? [R_0279_0035__RESPECTIVELY,Z_0279_5033___STAR_,R_0279_0036__PRESCRIBED] :
            ( r_0279_0035__respectively(R_0279_0035__RESPECTIVELY)
            & z_0279_5033___star_(Z_0279_5033___STAR_)
            & r_0279_0036__prescribed(R_0279_0036__PRESCRIBED)
            & has_arg0(R_0279_0036__PRESCRIBED,Z_0279_5033___STAR_)
            & has_r_0279_0037__in__nim(R_0279_0036__PRESCRIBED,Z_0279_5031)
            & has_nim(R_0279_0036__PRESCRIBED,R_0279_0035__RESPECTIVELY) ) )
    & ! [R_0279_0032__IS] :
        ( ! [Z_0279_5025] :
            ( z_0279_5025(Z_0279_5025)
           => ? [R_0279_0024__PART,R_0279_0030__PERSONAL,R_0279_0031__INFORMATION,Z_0279_5019,R_0279_0029__HANDLING,R_0279_0026__THE_R_0279_0027__PURPOSE,R_0279_0023__OR,R_0279_0035__RESPECTIVELY,R_0279_0040__THE_R_0279_0041__ITEMS,Z_0279_5031,Z_0279_5033___STAR_,R_0279_0036__PRESCRIBED,R_0279_0033__A_R_0279_0034__PURPOSE] :
                ( r_0279_0024__part(R_0279_0024__PART)
                & r_0279_0030__personal(R_0279_0030__PERSONAL)
                & r_0279_0035__respectively(R_0279_0035__RESPECTIVELY)
                & r_0279_0040__the_r_0279_0041__items(R_0279_0040__THE_R_0279_0041__ITEMS)
                & z_0279_5019(Z_0279_5019)
                & z_0279_5033___star_(Z_0279_5033___STAR_)
                & r_0279_0032__is(R_0279_0032__IS) ) )
       => ~ ? [R_0279_0007__PERSONAL,R_0279_0008__INFORMATION,R_0279_0006__HANDLING,R_0279_0019__BELOW,R_0279_0017__THE_R_0279_0018__ITEMS,Z_0279_5010,Z_0279_5011___STAR_,R_0279_0013__ENUMERATED,R_0279_0011__THE_R_0279_0012__ENTITIES,R_0279_0010__BEING,R_0279_0005__ENTITIES,R_0279_0047__PRECEDING,R_0279_0046__THE_R_0279_0048__CHAPTER,R_0279_0043__THE_R_0279_0044__PROVISIONS,Z_0279_5041___STAR_,R_0279_0049__SHALL_R_0279_0051__BE_R_0279_0052__APPLIED] :
              ( r_0279_0007__personal(R_0279_0007__PERSONAL)
              & r_0279_0019__below(R_0279_0019__BELOW)
              & r_0279_0047__preceding(R_0279_0047__PRECEDING)
              & z_0279_5011___star_(Z_0279_5011___STAR_)
              & z_0279_5041___star_(Z_0279_5041___STAR_)
              & r_0279_0049__shall_r_0279_0051__be_r_0279_0052__applied(R_0279_0049__SHALL_R_0279_0051__BE_R_0279_0052__APPLIED)
              & has_arg0(R_0279_0049__SHALL_R_0279_0051__BE_R_0279_0052__APPLIED,Z_0279_5041___STAR_)
              & has_arg1(R_0279_0049__SHALL_R_0279_0051__BE_R_0279_0052__APPLIED,R_0279_0043__THE_R_0279_0044__PROVISIONS)
              & r_0279_0043__the_r_0279_0044__provisions(R_0279_0043__THE_R_0279_0044__PROVISIONS)
              & has_r_0279_0045__of(R_0279_0043__THE_R_0279_0044__PROVISIONS,R_0279_0046__THE_R_0279_0048__CHAPTER)
              & r_0279_0046__the_r_0279_0048__chapter(R_0279_0046__THE_R_0279_0048__CHAPTER)
              & has_attrib(R_0279_0046__THE_R_0279_0048__CHAPTER,R_0279_0047__PRECEDING)
              & has_r_0279_0004__With_respect_to__nim(R_0279_0049__SHALL_R_0279_0051__BE_R_0279_0052__APPLIED,R_0279_0005__ENTITIES)
              & r_0279_0005__entities(R_0279_0005__ENTITIES)
              & has_inv_arg0(R_0279_0005__ENTITIES,R_0279_0010__BEING)
              & r_0279_0010__being(R_0279_0010__BEING)
              & has_prd(R_0279_0010__BEING,R_0279_0011__THE_R_0279_0012__ENTITIES)
              & r_0279_0011__the_r_0279_0012__entities(R_0279_0011__THE_R_0279_0012__ENTITIES)
              & has_inv_arg1(R_0279_0011__THE_R_0279_0012__ENTITIES,R_0279_0013__ENUMERATED)
              & r_0279_0013__enumerated(R_0279_0013__ENUMERATED)
              & has_arg0(R_0279_0013__ENUMERATED,Z_0279_5011___STAR_)
              & has_r_0279_0014__in__nim(R_0279_0013__ENUMERATED,Z_0279_5010)
              & z_0279_5010(Z_0279_5010)
              & has_r_0279_0016__of(Z_0279_5010,R_0279_0017__THE_R_0279_0018__ITEMS)
              & r_0279_0017__the_r_0279_0018__items(R_0279_0017__THE_R_0279_0018__ITEMS)
              & has_nim(R_0279_0017__THE_R_0279_0018__ITEMS,R_0279_0019__BELOW)
              & has_inv_arg0(R_0279_0005__ENTITIES,R_0279_0006__HANDLING)
              & r_0279_0006__handling(R_0279_0006__HANDLING)
              & has_arg1(R_0279_0006__HANDLING,R_0279_0008__INFORMATION)
              & r_0279_0008__information(R_0279_0008__INFORMATION)
              & has_attrib(R_0279_0008__INFORMATION,R_0279_0007__PERSONAL) ) )
    & ! [Z_0279_5010,R_0279_0019__BELOW,R_0279_0017__THE_R_0279_0018__ITEMS] :
        ( ( r_0279_0019__below(R_0279_0019__BELOW)
          & z_0279_5010(Z_0279_5010)
          & has_r_0279_0016__of(Z_0279_5010,R_0279_0017__THE_R_0279_0018__ITEMS)
          & r_0279_0017__the_r_0279_0018__items(R_0279_0017__THE_R_0279_0018__ITEMS)
          & has_nim(R_0279_0017__THE_R_0279_0018__ITEMS,R_0279_0019__BELOW) )
       => ? [Z_0279_5011___STAR_,R_0279_0013__ENUMERATED] :
            ( z_0279_5011___star_(Z_0279_5011___STAR_)
            & r_0279_0013__enumerated(R_0279_0013__ENUMERATED)
            & has_arg0(R_0279_0013__ENUMERATED,Z_0279_5011___STAR_)
            & has_r_0279_0014__in__nim(R_0279_0013__ENUMERATED,Z_0279_5010) ) ) ) ).