TSPC 115_a_law

115_a_law_h15a119
When a business operator handling personal information entrusts an individual or a business operator with the handling of personal data in whole or in part, it shall exercise necessary and appropriate supervision over the trustee to ensure the security control of the entrusted personal data.

( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{OPER} (D a;{a})
                                          (N business;{business})
                                          (N operator;{operator})
                                          (IP-PPL (VAG;_Tn_ handling;{handle})
                                                  (NP-OB1 (ADJP (ADJ personal;{personal}))
                                                          (N information;{information}))))
                           (VBP;_Tn.pr_ entrusts;{entrust[with]})
                           (NP-OB1 (NLYR (NLYR (D an;{an})
                                               (N individual;{individual}))
                                         (CONJP (CONJ or;{or})
                                                (NLYR (D a;{a})
                                                      (N business;{business})
                                                      (N operator;{operator})))))
                           (PP-CLR (P-ROLE with;{with})
                                   (NP (D the;{the})
                                       (N handling;{handling})
                                       (PP (P-ROLE of;{of})
                                           (NP (ADJP (ADJ personal;{personal}))
                                               (NS data;{data})
                                               (PP (PP (P-ROLE in;{in})
                                                       (NP (N whole;{whole})))
                                                   (CONJP (CONJ or;{or})
                                                          (PP (P-ROLE in;{in})
                                                              (NP (N part;{part})))))))))))
          (PUNC ,)
          (NP-SBJ;{OPER} (PRO it;{it}))
          (MD;_cat_Vi_ shall;{shall})
          (IP-INF-CAT (VB;_Tn_ exercise;{exercise})
                      (NP-OB1 (ADJP (AJLYR (AJLYR (ADJ necessary;{necessary}))
                                           (CONJP (CONJ and;{and})
                                                  (AJLYR (ADJ appropriate;{appropriate})))))
                              (N supervision;{supervision})
                              (PP (P-ROLE over;{over})
                                  (NP (D the;{the})
                                      (N trustee;{trustee}))))
                      (PP-SCON (IP-INF2 (TO to;{to})
                                        (VB;_Tn_ ensure;{ensure})
                                        (NP-OB1 (D the;{the})
                                                (N security;{security})
                                                (N control;{control})
                                                (PP (P-ROLE of;{of})
                                                    (NP (D the;{the})
                                                        (ADJP (ADJ entrusted;{entrusted}))
                                                        (ADJP (ADJ personal;{personal}))
                                                        (NS data;{data})))))))
          (PUNC .))
  (ID 115_a_law_h15a119;91_4_22))

arc(r_0115_0001__When,r_0115_0008__entrusts_r_0115_0015__with,restriction).
arc(r_0115_0001__When,r_0115_0028__shall,scope).
arc(r_0115_0005__handling,r_0115_0002__a_r_0115_0003__business_r_0115_0004__operator,inv_arg0).
arc(r_0115_0005__handling,r_0115_0007__information,arg1).
arc(r_0115_0007__information,r_0115_0006__personal,attrib).
arc(r_0115_0008__entrusts_r_0115_0015__with,r_0115_0002__a_r_0115_0003__business_r_0115_0004__operator,arg0).
arc(r_0115_0008__entrusts_r_0115_0015__with,r_0115_0011__or,arg1).
arc(r_0115_0008__entrusts_r_0115_0015__with,r_0115_0016__the_r_0115_0017__handling,arg2).
arc(r_0115_0011__or,r_0115_0009__an_r_0115_0010__individual,conj1).
arc(r_0115_0011__or,r_0115_0012__a_r_0115_0013__business_r_0115_0014__operator,conj2).
arc(r_0115_0016__the_r_0115_0017__handling,r_0115_0020__data,r_0115_0018__of).
arc(r_0115_0020__data,r_0115_0019__personal,attrib).
arc(r_0115_0020__data,r_0115_0023__or,z_0115_5013).
arc(r_0115_0023__or,r_0115_0022__whole,r_0115_0021__in).
arc(r_0115_0023__or,r_0115_0025__part,r_0115_0024__in).
arc(r_0115_0028__shall,z_0115_5025,scope).
arc(r_0115_0029__exercise,r_0115_0002__a_r_0115_0003__business_r_0115_0004__operator,arg0).
arc(r_0115_0029__exercise,r_0115_0033__supervision,arg1).
arc(r_0115_0031__and,r_0115_0030__necessary,conj1).
arc(r_0115_0031__and,r_0115_0032__appropriate,conj2).
arc(r_0115_0033__supervision,r_0115_0031__and,attrib).
arc(r_0115_0033__supervision,r_0115_0035__the_r_0115_0036__trustee,r_0115_0034__over).
arc(r_0115_0038__ensure,r_0115_0002__a_r_0115_0003__business_r_0115_0004__operator,arg0).
arc(r_0115_0038__ensure,r_0115_0039__the_r_0115_0040__security_r_0115_0041__control,arg1).
arc(r_0115_0039__the_r_0115_0040__security_r_0115_0041__control,r_0115_0043__the_r_0115_0046__data,r_0115_0042__of).
arc(r_0115_0043__the_r_0115_0046__data,r_0115_0044__entrusted,attrib).
arc(r_0115_0043__the_r_0115_0046__data,r_0115_0045__personal,attrib).
arc(z_0115_5025,r_0115_0029__exercise,scope).
arc(z_0115_5025,r_0115_0038__ensure,restriction).

fof(formula,axiom,
    ! [R_0115_0008__ENTRUSTS_R_0115_0015__WITH,R_0115_0006__PERSONAL,R_0115_0007__INFORMATION,R_0115_0005__HANDLING,R_0115_0002__A_R_0115_0003__BUSINESS_R_0115_0004__OPERATOR,R_0115_0009__AN_R_0115_0010__INDIVIDUAL,R_0115_0012__A_R_0115_0013__BUSINESS_R_0115_0014__OPERATOR,R_0115_0011__OR,R_0115_0019__PERSONAL,R_0115_0022__WHOLE,R_0115_0025__PART,R_0115_0023__OR,R_0115_0020__DATA,R_0115_0016__THE_R_0115_0017__HANDLING] :
      ( ( r_0115_0006__personal(R_0115_0006__PERSONAL)
        & r_0115_0009__an_r_0115_0010__individual(R_0115_0009__AN_R_0115_0010__INDIVIDUAL)
        & r_0115_0012__a_r_0115_0013__business_r_0115_0014__operator(R_0115_0012__A_R_0115_0013__BUSINESS_R_0115_0014__OPERATOR)
        & r_0115_0019__personal(R_0115_0019__PERSONAL)
        & r_0115_0022__whole(R_0115_0022__WHOLE)
        & r_0115_0025__part(R_0115_0025__PART)
        & r_0115_0008__entrusts_r_0115_0015__with(R_0115_0008__ENTRUSTS_R_0115_0015__WITH)
        & has_arg2(R_0115_0008__ENTRUSTS_R_0115_0015__WITH,R_0115_0016__THE_R_0115_0017__HANDLING)
        & r_0115_0016__the_r_0115_0017__handling(R_0115_0016__THE_R_0115_0017__HANDLING)
        & has_r_0115_0018__of(R_0115_0016__THE_R_0115_0017__HANDLING,R_0115_0020__DATA)
        & r_0115_0020__data(R_0115_0020__DATA)
        & has_z_0115_5013(R_0115_0020__DATA,R_0115_0023__OR)
        & r_0115_0023__or(R_0115_0023__OR)
        & has_r_0115_0024__in(R_0115_0023__OR,R_0115_0025__PART)
        & has_r_0115_0021__in(R_0115_0023__OR,R_0115_0022__WHOLE)
        & has_attrib(R_0115_0020__DATA,R_0115_0019__PERSONAL)
        & has_arg1(R_0115_0008__ENTRUSTS_R_0115_0015__WITH,R_0115_0011__OR)
        & r_0115_0011__or(R_0115_0011__OR)
        & has_conj2(R_0115_0011__OR,R_0115_0012__A_R_0115_0013__BUSINESS_R_0115_0014__OPERATOR)
        & has_conj1(R_0115_0011__OR,R_0115_0009__AN_R_0115_0010__INDIVIDUAL)
        & has_arg0(R_0115_0008__ENTRUSTS_R_0115_0015__WITH,R_0115_0002__A_R_0115_0003__BUSINESS_R_0115_0004__OPERATOR)
        & r_0115_0002__a_r_0115_0003__business_r_0115_0004__operator(R_0115_0002__A_R_0115_0003__BUSINESS_R_0115_0004__OPERATOR)
        & has_inv_arg0(R_0115_0002__A_R_0115_0003__BUSINESS_R_0115_0004__OPERATOR,R_0115_0005__HANDLING)
        & r_0115_0005__handling(R_0115_0005__HANDLING)
        & has_arg1(R_0115_0005__HANDLING,R_0115_0007__INFORMATION)
        & r_0115_0007__information(R_0115_0007__INFORMATION)
        & has_attrib(R_0115_0007__INFORMATION,R_0115_0006__PERSONAL) )
     => ? [R_0115_0030__NECESSARY,R_0115_0032__APPROPRIATE,R_0115_0031__AND,R_0115_0035__THE_R_0115_0036__TRUSTEE,R_0115_0033__SUPERVISION,R_0115_0029__EXERCISE,R_0115_0044__ENTRUSTED,R_0115_0045__PERSONAL,R_0115_0043__THE_R_0115_0046__DATA,R_0115_0039__THE_R_0115_0040__SECURITY_R_0115_0041__CONTROL,R_0115_0038__ENSURE,Z_0115_5025,R_0115_0028__SHALL] :
          ( r_0115_0030__necessary(R_0115_0030__NECESSARY)
          & r_0115_0032__appropriate(R_0115_0032__APPROPRIATE)
          & r_0115_0035__the_r_0115_0036__trustee(R_0115_0035__THE_R_0115_0036__TRUSTEE)
          & r_0115_0044__entrusted(R_0115_0044__ENTRUSTED)
          & r_0115_0045__personal(R_0115_0045__PERSONAL)
          & r_0115_0028__shall(R_0115_0028__SHALL)
          & has_keep_scope(R_0115_0028__SHALL,Z_0115_5025)
          & z_0115_5025(Z_0115_5025)
          & has_conj1(Z_0115_5025,R_0115_0038__ENSURE)
          & r_0115_0038__ensure(R_0115_0038__ENSURE)
          & has_arg1(R_0115_0038__ENSURE,R_0115_0039__THE_R_0115_0040__SECURITY_R_0115_0041__CONTROL)
          & r_0115_0039__the_r_0115_0040__security_r_0115_0041__control(R_0115_0039__THE_R_0115_0040__SECURITY_R_0115_0041__CONTROL)
          & has_r_0115_0042__of(R_0115_0039__THE_R_0115_0040__SECURITY_R_0115_0041__CONTROL,R_0115_0043__THE_R_0115_0046__DATA)
          & r_0115_0043__the_r_0115_0046__data(R_0115_0043__THE_R_0115_0046__DATA)
          & has_attrib(R_0115_0043__THE_R_0115_0046__DATA,R_0115_0045__PERSONAL)
          & has_attrib(R_0115_0043__THE_R_0115_0046__DATA,R_0115_0044__ENTRUSTED)
          & has_arg0(R_0115_0038__ENSURE,R_0115_0002__A_R_0115_0003__BUSINESS_R_0115_0004__OPERATOR)
          & has_conj2(Z_0115_5025,R_0115_0029__EXERCISE)
          & r_0115_0029__exercise(R_0115_0029__EXERCISE)
          & has_arg1(R_0115_0029__EXERCISE,R_0115_0033__SUPERVISION)
          & r_0115_0033__supervision(R_0115_0033__SUPERVISION)
          & has_r_0115_0034__over(R_0115_0033__SUPERVISION,R_0115_0035__THE_R_0115_0036__TRUSTEE)
          & has_attrib(R_0115_0033__SUPERVISION,R_0115_0031__AND)
          & r_0115_0031__and(R_0115_0031__AND)
          & has_conj2(R_0115_0031__AND,R_0115_0032__APPROPRIATE)
          & has_conj1(R_0115_0031__AND,R_0115_0030__NECESSARY)
          & has_arg0(R_0115_0029__EXERCISE,R_0115_0002__A_R_0115_0003__BUSINESS_R_0115_0004__OPERATOR) ) ) ).