TSPC 109_a_law

109_a_law_h15a119
A business operator handling personal information shall take necessary and proper measures for the prevention of leakage, loss, or damage, and for other security control of the personal data.

( (IP-MAT (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})
          (IP-INF-CAT (VB;_Tn_ take;{take})
                      (NP-OB1 (ADJP (AJLYR (AJLYR (ADJ necessary;{necessary}))
                                           (CONJP (CONJ and;{and})
                                                  (AJLYR (ADJ proper;{proper})))))
                              (NS measures;{measure})
                              (PP (PP (P-ROLE for;{for})
                                      (NP (D the;{the})
                                          (N prevention;{prevention})
                                          (PP (P-ROLE of;{of})
                                              (NP (NLYR (NLYR (N leakage;{leakage}))
                                                        (PUNC ,)
                                                        (CONJP (NLYR (N loss;{loss})))
                                                        (PUNC ,)
                                                        (CONJP (CONJ or;{or})
                                                               (NLYR (N damage;{damage}))))))))
                                  (PUNC ,)
                                  (CONJP (CONJ and;{and})
                                         (PP (P-ROLE for;{for})
                                             (NP (ADJP (ADJ other;{other}))
                                                 (N security;{security})
                                                 (N control;{control})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (D the;{the})
                                                         (ADJP (ADJ personal;{personal}))
                                                         (NS data;{data})))))))))
          (PUNC .))
  (ID 109_a_law_h15a119;87_4_20))

arc(r_0109_0004__handling,r_0109_0001__A_r_0109_0002__business_r_0109_0003__operator,inv_arg0).
arc(r_0109_0004__handling,r_0109_0006__information,arg1).
arc(r_0109_0006__information,r_0109_0005__personal,attrib).
arc(r_0109_0007__shall,r_0109_0008__take,scope).
arc(r_0109_0008__take,r_0109_0001__A_r_0109_0002__business_r_0109_0003__operator,arg0).
arc(r_0109_0008__take,r_0109_0012__measures,arg1).
arc(r_0109_0010__and,r_0109_0009__necessary,conj1).
arc(r_0109_0010__and,r_0109_0011__proper,conj2).
arc(r_0109_0012__measures,r_0109_0010__and,attrib).
arc(r_0109_0012__measures,r_0109_0024__and,z_0109_5011).
arc(r_0109_0014__the_r_0109_0015__prevention,r_0109_0021__or,r_0109_0016__of).
arc(r_0109_0021__or,r_0109_0017__leakage,conj1).
arc(r_0109_0021__or,r_0109_0019__loss,conj2).
arc(r_0109_0021__or,r_0109_0022__damage,conj3).
arc(r_0109_0024__and,r_0109_0014__the_r_0109_0015__prevention,r_0109_0013__for).
arc(r_0109_0024__and,r_0109_0027__security_r_0109_0028__control,r_0109_0025__for).
arc(r_0109_0027__security_r_0109_0028__control,r_0109_0026__other,attrib).
arc(r_0109_0027__security_r_0109_0028__control,r_0109_0030__the_r_0109_0032__data,r_0109_0029__of).
arc(r_0109_0030__the_r_0109_0032__data,r_0109_0031__personal,attrib).

fof(formula,axiom,
    ? [R_0109_0005__PERSONAL,R_0109_0006__INFORMATION,R_0109_0004__HANDLING,R_0109_0001__A_R_0109_0002__BUSINESS_R_0109_0003__OPERATOR,R_0109_0009__NECESSARY,R_0109_0011__PROPER,R_0109_0010__AND,R_0109_0017__LEAKAGE,R_0109_0019__LOSS,R_0109_0022__DAMAGE,R_0109_0021__OR,R_0109_0014__THE_R_0109_0015__PREVENTION,R_0109_0026__OTHER,R_0109_0031__PERSONAL,R_0109_0030__THE_R_0109_0032__DATA,R_0109_0027__SECURITY_R_0109_0028__CONTROL,R_0109_0024__AND,R_0109_0012__MEASURES,R_0109_0007__SHALL_R_0109_0008__TAKE] :
      ( r_0109_0005__personal(R_0109_0005__PERSONAL)
      & r_0109_0009__necessary(R_0109_0009__NECESSARY)
      & r_0109_0011__proper(R_0109_0011__PROPER)
      & r_0109_0017__leakage(R_0109_0017__LEAKAGE)
      & r_0109_0019__loss(R_0109_0019__LOSS)
      & r_0109_0022__damage(R_0109_0022__DAMAGE)
      & r_0109_0026__other(R_0109_0026__OTHER)
      & r_0109_0031__personal(R_0109_0031__PERSONAL)
      & r_0109_0007__shall_r_0109_0008__take(R_0109_0007__SHALL_R_0109_0008__TAKE)
      & has_arg1(R_0109_0007__SHALL_R_0109_0008__TAKE,R_0109_0012__MEASURES)
      & r_0109_0012__measures(R_0109_0012__MEASURES)
      & has_z_0109_5011(R_0109_0012__MEASURES,R_0109_0024__AND)
      & r_0109_0024__and(R_0109_0024__AND)
      & has_r_0109_0025__for(R_0109_0024__AND,R_0109_0027__SECURITY_R_0109_0028__CONTROL)
      & r_0109_0027__security_r_0109_0028__control(R_0109_0027__SECURITY_R_0109_0028__CONTROL)
      & has_r_0109_0029__of(R_0109_0027__SECURITY_R_0109_0028__CONTROL,R_0109_0030__THE_R_0109_0032__DATA)
      & r_0109_0030__the_r_0109_0032__data(R_0109_0030__THE_R_0109_0032__DATA)
      & has_attrib(R_0109_0030__THE_R_0109_0032__DATA,R_0109_0031__PERSONAL)
      & has_attrib(R_0109_0027__SECURITY_R_0109_0028__CONTROL,R_0109_0026__OTHER)
      & has_r_0109_0013__for(R_0109_0024__AND,R_0109_0014__THE_R_0109_0015__PREVENTION)
      & r_0109_0014__the_r_0109_0015__prevention(R_0109_0014__THE_R_0109_0015__PREVENTION)
      & has_r_0109_0016__of(R_0109_0014__THE_R_0109_0015__PREVENTION,R_0109_0021__OR)
      & r_0109_0021__or(R_0109_0021__OR)
      & has_conj3(R_0109_0021__OR,R_0109_0022__DAMAGE)
      & has_conj2(R_0109_0021__OR,R_0109_0019__LOSS)
      & has_conj1(R_0109_0021__OR,R_0109_0017__LEAKAGE)
      & has_attrib(R_0109_0012__MEASURES,R_0109_0010__AND)
      & r_0109_0010__and(R_0109_0010__AND)
      & has_conj2(R_0109_0010__AND,R_0109_0011__PROPER)
      & has_conj1(R_0109_0010__AND,R_0109_0009__NECESSARY)
      & has_arg0(R_0109_0007__SHALL_R_0109_0008__TAKE,R_0109_0001__A_R_0109_0002__BUSINESS_R_0109_0003__OPERATOR)
      & r_0109_0001__A_r_0109_0002__business_r_0109_0003__operator(R_0109_0001__A_R_0109_0002__BUSINESS_R_0109_0003__OPERATOR)
      & has_inv_arg0(R_0109_0001__A_R_0109_0002__BUSINESS_R_0109_0003__OPERATOR,R_0109_0004__HANDLING)
      & r_0109_0004__handling(R_0109_0004__HANDLING)
      & has_arg1(R_0109_0004__HANDLING,R_0109_0006__INFORMATION)
      & r_0109_0006__information(R_0109_0006__INFORMATION)
      & has_attrib(R_0109_0006__INFORMATION,R_0109_0005__PERSONAL) ) ).