TSPC 129_a_law

129_a_law_h15a119
(4) In following the cases, the individual or business operator receiving such personal data shall not be deemed a third party for the purpose of application of the provisions of the preceding three paragraphs:

( (IP-MAT (LST (PULB -LRB-)
               (LS 4)
               (PURB -RRB-))
          (PP-SCON (P-CONN In;{in})
                   (IP-PPL2 (VAG;__ following;{follow})
                            (NP-OB1 (D the;{the})
                                    (NS cases;{case}))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NLYR (NLYR (N individual;{individual}))
                        (CONJP (CONJ or;{or})
                               (NLYR (N business;{business})
                                     (N operator;{operator}))))
                  (IP-PPL (VAG;__ receiving;{receive})
                          (NP-OB1 (ADJP (ADJ;_such_ such;{such}))
                                  (ADJP (ADJ personal;{personal}))
                                  (NS data;{data}))))
          (MD;_cat_Vi_ shall;{shall})
          (NEG not;{not})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;__ deemed;{deem})
                                  (NP-PRD (D a;{a})
                                          (NUM third;{third})
                                          (N party;{party}))
                                  (PP-NIM (P-ROLE for;{for})
                                          (NP (D the;{the})
                                              (N purpose;{purpose})
                                              (PP (P-ROLE of;{of})
                                                  (NP (N application;{application})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (D the;{the})
                                                              (NS provisions;{provision})
                                                              (PP (P-ROLE of;{of})
                                                                  (NP (D the;{the})
                                                                      (ADJP (ADJ preceding;{preceding}))
                                                                      (NUM three;{three})
                                                                      (NS paragraphs;{paragraph})))))))))))
          (PUNC :))
  (ID 129_a_law_h15a119;104_4_23_4))

arc(r_0129_0004__In,r_0129_0005__following,restriction).
arc(r_0129_0004__In,r_0129_0019__not,scope).
arc(r_0129_0005__following,r_0129_0006__the_r_0129_0007__cases,arg1).
arc(r_0129_0005__following,r_0129_0009__the_r_0129_0010__individual_r_0129_0011__or_r_0129_0012__business_r_0129_0013__operator,arg0).
arc(r_0129_0014__receiving,r_0129_0009__the_r_0129_0010__individual_r_0129_0011__or_r_0129_0012__business_r_0129_0013__operator,inv_arg0).
arc(r_0129_0014__receiving,r_0129_0017__data,arg1).
arc(r_0129_0017__data,r_0129_0015__such,attrib).
arc(r_0129_0017__data,r_0129_0016__personal,attrib).
arc(r_0129_0018__shall,r_0129_0020__be,scope).
arc(r_0129_0019__not,r_0129_0018__shall,keep_scope).
arc(r_0129_0020__be,r_0129_0021__deemed,scope).
arc(r_0129_0021__deemed,r_0129_0009__the_r_0129_0010__individual_r_0129_0011__or_r_0129_0012__business_r_0129_0013__operator,arg1).
arc(r_0129_0021__deemed,r_0129_0022__a_r_0129_0023__third_r_0129_0024__party,prd).
arc(r_0129_0021__deemed,r_0129_0026__the_r_0129_0027__purpose,r_0129_0025__for__nim).
arc(r_0129_0021__deemed,z_0129_5017___star_,arg0).
arc(r_0129_0026__the_r_0129_0027__purpose,r_0129_0029__application,r_0129_0028__of).
arc(r_0129_0029__application,r_0129_0031__the_r_0129_0032__provisions,r_0129_0030__of).
arc(r_0129_0031__the_r_0129_0032__provisions,r_0129_0034__the_r_0129_0036__three_r_0129_0037__paragraphs,r_0129_0033__of).
arc(r_0129_0034__the_r_0129_0036__three_r_0129_0037__paragraphs,r_0129_0035__preceding,attrib).

fof(formula,axiom,
    ? [R_0129_0006__THE_R_0129_0007__CASES,R_0129_0015__SUCH,R_0129_0016__PERSONAL,R_0129_0017__DATA,R_0129_0014__RECEIVING,R_0129_0009__THE_R_0129_0010__INDIVIDUAL_R_0129_0011__OR_R_0129_0012__BUSINESS_R_0129_0013__OPERATOR,R_0129_0005__FOLLOWING,R_0129_0004__IN] :
      ( r_0129_0006__the_r_0129_0007__cases(R_0129_0006__THE_R_0129_0007__CASES)
      & r_0129_0015__such(R_0129_0015__SUCH)
      & r_0129_0016__personal(R_0129_0016__PERSONAL)
      & r_0129_0004__In(R_0129_0004__IN)
      & has_conj2(R_0129_0004__IN,R_0129_0019__NOT)
      & ~ ? [R_0129_0022__A_R_0129_0023__THIRD_R_0129_0024__PARTY,R_0129_0035__PRECEDING,R_0129_0034__THE_R_0129_0036__THREE_R_0129_0037__PARAGRAPHS,R_0129_0031__THE_R_0129_0032__PROVISIONS,R_0129_0029__APPLICATION,R_0129_0026__THE_R_0129_0027__PURPOSE,Z_0129_5017___STAR_,R_0129_0018__SHALL_R_0129_0020__BE_R_0129_0021__DEEMED] :
            ( r_0129_0022__a_r_0129_0023__third_r_0129_0024__party(R_0129_0022__A_R_0129_0023__THIRD_R_0129_0024__PARTY)
            & r_0129_0035__preceding(R_0129_0035__PRECEDING)
            & z_0129_5017___star_(Z_0129_5017___STAR_)
            & r_0129_0018__shall_r_0129_0020__be_r_0129_0021__deemed(R_0129_0018__SHALL_R_0129_0020__BE_R_0129_0021__DEEMED)
            & has_arg0(R_0129_0018__SHALL_R_0129_0020__BE_R_0129_0021__DEEMED,Z_0129_5017___STAR_)
            & has_r_0129_0025__for__nim(R_0129_0018__SHALL_R_0129_0020__BE_R_0129_0021__DEEMED,R_0129_0026__THE_R_0129_0027__PURPOSE)
            & r_0129_0026__the_r_0129_0027__purpose(R_0129_0026__THE_R_0129_0027__PURPOSE)
            & has_r_0129_0028__of(R_0129_0026__THE_R_0129_0027__PURPOSE,R_0129_0029__APPLICATION)
            & r_0129_0029__application(R_0129_0029__APPLICATION)
            & has_r_0129_0030__of(R_0129_0029__APPLICATION,R_0129_0031__THE_R_0129_0032__PROVISIONS)
            & r_0129_0031__the_r_0129_0032__provisions(R_0129_0031__THE_R_0129_0032__PROVISIONS)
            & has_r_0129_0033__of(R_0129_0031__THE_R_0129_0032__PROVISIONS,R_0129_0034__THE_R_0129_0036__THREE_R_0129_0037__PARAGRAPHS)
            & r_0129_0034__the_r_0129_0036__three_r_0129_0037__paragraphs(R_0129_0034__THE_R_0129_0036__THREE_R_0129_0037__PARAGRAPHS)
            & has_attrib(R_0129_0034__THE_R_0129_0036__THREE_R_0129_0037__PARAGRAPHS,R_0129_0035__PRECEDING)
            & has_prd(R_0129_0018__SHALL_R_0129_0020__BE_R_0129_0021__DEEMED,R_0129_0022__A_R_0129_0023__THIRD_R_0129_0024__PARTY)
            & has_arg1(R_0129_0018__SHALL_R_0129_0020__BE_R_0129_0021__DEEMED,R_0129_0009__THE_R_0129_0010__INDIVIDUAL_R_0129_0011__OR_R_0129_0012__BUSINESS_R_0129_0013__OPERATOR) )
      & has_conj1(R_0129_0004__IN,R_0129_0005__FOLLOWING)
      & r_0129_0005__following(R_0129_0005__FOLLOWING)
      & has_arg0(R_0129_0005__FOLLOWING,R_0129_0009__THE_R_0129_0010__INDIVIDUAL_R_0129_0011__OR_R_0129_0012__BUSINESS_R_0129_0013__OPERATOR)
      & r_0129_0009__the_r_0129_0010__individual_r_0129_0011__or_r_0129_0012__business_r_0129_0013__operator(R_0129_0009__THE_R_0129_0010__INDIVIDUAL_R_0129_0011__OR_R_0129_0012__BUSINESS_R_0129_0013__OPERATOR)
      & has_inv_arg0(R_0129_0009__THE_R_0129_0010__INDIVIDUAL_R_0129_0011__OR_R_0129_0012__BUSINESS_R_0129_0013__OPERATOR,R_0129_0014__RECEIVING)
      & r_0129_0014__receiving(R_0129_0014__RECEIVING)
      & has_arg1(R_0129_0014__RECEIVING,R_0129_0017__DATA)
      & r_0129_0017__data(R_0129_0017__DATA)
      & has_attrib(R_0129_0017__DATA,R_0129_0016__PERSONAL)
      & has_attrib(R_0129_0017__DATA,R_0129_0015__SUCH)
      & has_arg1(R_0129_0005__FOLLOWING,R_0129_0006__THE_R_0129_0007__CASES) ) ).