TSPC 83_a_law

83_a_law_h15a119
(1) A business operator handling personal information shall not handle personal information about a person, without obtaining the prior consent of the person, beyond the scope necessary for the achievement of the Purpose of Utilization specified pursuant to the provision of the preceding article.

( (IP-MAT (LST (PULB -LRB-)
               (LS 1)
               (PURB -RRB-))
          (NP-SBJ (D A;{a})
                  (N business;{business})
                  (N operator;{operator})
                  (IP-PPL (VAG;_Tn_ handling;{handle})
                          (NP-OB1 (ADJP (ADJ personal;{personal}))
                                  (N information;{information}))))
          (MD;_cat_Vi_ shall;{shall})
          (NEG not;{not})
          (IP-INF-CAT (VB;_Tn_ handle;{handle})
                      (NP-OB1 (ADJP (ADJ personal;{personal}))
                              (N information;{information})
                              (PP (P-ROLE about;{about})
                                  (NP (D a;{a})
                                      (N person;{person}))))
                      (PUNC ,)
                      (PP-SCON (P-CONN without;{without})
                               (IP-PPL2 (VAG;_Tn_ obtaining;{obtain})
                                        (NP-OB1 (D the;{the})
                                                (ADJP (ADJ prior;{prior}))
                                                (N consent;{consent})
                                                (PP (P-ROLE of;{of})
                                                    (NP (D the;{the})
                                                        (N person;{person}))))))
                      (PUNC ,)
                      (PP-NIM (P-ROLE beyond;{beyond})
                              (NP (D the;{the})
                                  (N scope;{scope})
                                  (ADJP (ADJ necessary;{necessary})
                                        (PP (P-ROLE for;{for})
                                            (NP (D the;{the})
                                                (N achievement;{achievement})
                                                (PP (P-ROLE of;{of})
                                                    (NP (D the;{the})
                                                        (N Purpose;{purpose})
                                                        (PP (P-ROLE of;{of})
                                                            (NP (N Utilization;{utilization})))))
                                                (IP-PPL (NP-LGS *)
                                                        (VVN;_Tn_ specified;{specify})
                                                        (PP-NIM (P-ROLE pursuant_to;{pursuant_to})
                                                                (NP (D the;{the})
                                                                    (N provision;{provision})
                                                                    (PP (P-ROLE of;{of})
                                                                        (NP (D the;{the})
                                                                            (ADJP (ADJ preceding;{preceding}))
                                                                            (N article;{article}))))))))))))
          (PUNC .))
  (ID 83_a_law_h15a119;66_4_16_1))

arc(r_0083_0007__handling,r_0083_0004__A_r_0083_0005__business_r_0083_0006__operator,inv_arg0).
arc(r_0083_0007__handling,r_0083_0009__information,arg1).
arc(r_0083_0009__information,r_0083_0008__personal,attrib).
arc(r_0083_0010__shall,r_0083_0019__without,scope).
arc(r_0083_0011__not,r_0083_0010__shall,keep_scope).
arc(r_0083_0012__handle,r_0083_0004__A_r_0083_0005__business_r_0083_0006__operator,arg0).
arc(r_0083_0012__handle,r_0083_0014__information,arg1).
arc(r_0083_0012__handle,r_0083_0029__the_r_0083_0030__scope,r_0083_0028__beyond__nim).
arc(r_0083_0014__information,r_0083_0013__personal,attrib).
arc(r_0083_0014__information,r_0083_0016__a_r_0083_0017__person,r_0083_0015__about).
arc(r_0083_0019__without,r_0083_0012__handle,scope).
arc(r_0083_0019__without,r_0083_0020__obtaining,restriction).
arc(r_0083_0020__obtaining,r_0083_0004__A_r_0083_0005__business_r_0083_0006__operator,arg0).
arc(r_0083_0020__obtaining,r_0083_0021__the_r_0083_0023__consent,arg1).
arc(r_0083_0021__the_r_0083_0023__consent,r_0083_0022__prior,attrib).
arc(r_0083_0021__the_r_0083_0023__consent,r_0083_0025__the_r_0083_0026__person,r_0083_0024__of).
arc(r_0083_0029__the_r_0083_0030__scope,r_0083_0031__necessary,attrib).
arc(r_0083_0031__necessary,r_0083_0033__the_r_0083_0034__achievement,r_0083_0032__for).
arc(r_0083_0033__the_r_0083_0034__achievement,r_0083_0036__the_r_0083_0037__Purpose,r_0083_0035__of).
arc(r_0083_0036__the_r_0083_0037__Purpose,r_0083_0039__Utilization,r_0083_0038__of).
arc(r_0083_0040__specified,r_0083_0033__the_r_0083_0034__achievement,inv_arg1).
arc(r_0083_0040__specified,r_0083_0042__the_r_0083_0043__provision,r_0083_0041__pursuant_to__nim).
arc(r_0083_0040__specified,z_0083_5017___star_,arg0).
arc(r_0083_0042__the_r_0083_0043__provision,r_0083_0045__the_r_0083_0047__article,r_0083_0044__of).
arc(r_0083_0045__the_r_0083_0047__article,r_0083_0046__preceding,attrib).

fof(formula,axiom,
    ~ ? [R_0083_0008__PERSONAL,R_0083_0009__INFORMATION,R_0083_0007__HANDLING,R_0083_0004__A_R_0083_0005__BUSINESS_R_0083_0006__OPERATOR,R_0083_0013__PERSONAL,R_0083_0016__A_R_0083_0017__PERSON,R_0083_0014__INFORMATION,R_0083_0039__UTILIZATION,R_0083_0036__THE_R_0083_0037__PURPOSE,R_0083_0046__PRECEDING,R_0083_0045__THE_R_0083_0047__ARTICLE,R_0083_0042__THE_R_0083_0043__PROVISION,Z_0083_5017___STAR_,R_0083_0040__SPECIFIED,R_0083_0033__THE_R_0083_0034__ACHIEVEMENT,R_0083_0031__NECESSARY,R_0083_0029__THE_R_0083_0030__SCOPE,R_0083_0012__HANDLE,R_0083_0022__PRIOR,R_0083_0025__THE_R_0083_0026__PERSON,R_0083_0021__THE_R_0083_0023__CONSENT,R_0083_0020__OBTAINING,R_0083_0019__WITHOUT,R_0083_0010__SHALL] :
        ( r_0083_0008__personal(R_0083_0008__PERSONAL)
        & r_0083_0013__personal(R_0083_0013__PERSONAL)
        & r_0083_0016__a_r_0083_0017__person(R_0083_0016__A_R_0083_0017__PERSON)
        & r_0083_0022__prior(R_0083_0022__PRIOR)
        & r_0083_0025__the_r_0083_0026__person(R_0083_0025__THE_R_0083_0026__PERSON)
        & r_0083_0039__Utilization(R_0083_0039__UTILIZATION)
        & r_0083_0046__preceding(R_0083_0046__PRECEDING)
        & z_0083_5017___star_(Z_0083_5017___STAR_)
        & r_0083_0010__shall(R_0083_0010__SHALL)
        & has_keep_scope(R_0083_0010__SHALL,R_0083_0019__WITHOUT)
        & r_0083_0019__without(R_0083_0019__WITHOUT)
        & has_conj1(R_0083_0019__WITHOUT,R_0083_0020__OBTAINING)
        & r_0083_0020__obtaining(R_0083_0020__OBTAINING)
        & has_arg1(R_0083_0020__OBTAINING,R_0083_0021__THE_R_0083_0023__CONSENT)
        & r_0083_0021__the_r_0083_0023__consent(R_0083_0021__THE_R_0083_0023__CONSENT)
        & has_r_0083_0024__of(R_0083_0021__THE_R_0083_0023__CONSENT,R_0083_0025__THE_R_0083_0026__PERSON)
        & has_attrib(R_0083_0021__THE_R_0083_0023__CONSENT,R_0083_0022__PRIOR)
        & has_arg0(R_0083_0020__OBTAINING,R_0083_0004__A_R_0083_0005__BUSINESS_R_0083_0006__OPERATOR)
        & r_0083_0004__A_r_0083_0005__business_r_0083_0006__operator(R_0083_0004__A_R_0083_0005__BUSINESS_R_0083_0006__OPERATOR)
        & has_inv_arg0(R_0083_0004__A_R_0083_0005__BUSINESS_R_0083_0006__OPERATOR,R_0083_0007__HANDLING)
        & r_0083_0007__handling(R_0083_0007__HANDLING)
        & has_arg1(R_0083_0007__HANDLING,R_0083_0009__INFORMATION)
        & r_0083_0009__information(R_0083_0009__INFORMATION)
        & has_attrib(R_0083_0009__INFORMATION,R_0083_0008__PERSONAL)
        & has_conj2(R_0083_0019__WITHOUT,R_0083_0012__HANDLE)
        & r_0083_0012__handle(R_0083_0012__HANDLE)
        & has_r_0083_0028__beyond__nim(R_0083_0012__HANDLE,R_0083_0029__THE_R_0083_0030__SCOPE)
        & r_0083_0029__the_r_0083_0030__scope(R_0083_0029__THE_R_0083_0030__SCOPE)
        & has_attrib(R_0083_0029__THE_R_0083_0030__SCOPE,R_0083_0031__NECESSARY)
        & r_0083_0031__necessary(R_0083_0031__NECESSARY)
        & has_r_0083_0032__for(R_0083_0031__NECESSARY,R_0083_0033__THE_R_0083_0034__ACHIEVEMENT)
        & r_0083_0033__the_r_0083_0034__achievement(R_0083_0033__THE_R_0083_0034__ACHIEVEMENT)
        & has_inv_arg1(R_0083_0033__THE_R_0083_0034__ACHIEVEMENT,R_0083_0040__SPECIFIED)
        & r_0083_0040__specified(R_0083_0040__SPECIFIED)
        & has_arg0(R_0083_0040__SPECIFIED,Z_0083_5017___STAR_)
        & has_r_0083_0041__pursuant_to__nim(R_0083_0040__SPECIFIED,R_0083_0042__THE_R_0083_0043__PROVISION)
        & r_0083_0042__the_r_0083_0043__provision(R_0083_0042__THE_R_0083_0043__PROVISION)
        & has_r_0083_0044__of(R_0083_0042__THE_R_0083_0043__PROVISION,R_0083_0045__THE_R_0083_0047__ARTICLE)
        & r_0083_0045__the_r_0083_0047__article(R_0083_0045__THE_R_0083_0047__ARTICLE)
        & has_attrib(R_0083_0045__THE_R_0083_0047__ARTICLE,R_0083_0046__PRECEDING)
        & has_r_0083_0035__of(R_0083_0033__THE_R_0083_0034__ACHIEVEMENT,R_0083_0036__THE_R_0083_0037__PURPOSE)
        & r_0083_0036__the_r_0083_0037__Purpose(R_0083_0036__THE_R_0083_0037__PURPOSE)
        & has_r_0083_0038__of(R_0083_0036__THE_R_0083_0037__PURPOSE,R_0083_0039__UTILIZATION)
        & has_arg1(R_0083_0012__HANDLE,R_0083_0014__INFORMATION)
        & r_0083_0014__information(R_0083_0014__INFORMATION)
        & has_r_0083_0015__about(R_0083_0014__INFORMATION,R_0083_0016__A_R_0083_0017__PERSON)
        & has_attrib(R_0083_0014__INFORMATION,R_0083_0013__PERSONAL)
        & has_arg0(R_0083_0012__HANDLE,R_0083_0004__A_R_0083_0005__BUSINESS_R_0083_0006__OPERATOR) ) ).