TSPC 54_a_law

54_a_law_h15a119
In order to support the measures for the protection of personal information formulated or implemented by local governments and the activities performed by citizens, entities, and others to ensure the proper handling of personal information, the State shall provide information, formulate guidelines to ensure the appropriate and effective implementation of measures to be taken by entities and others, and take any other necessary measures.

( (IP-MAT (PP-SCON (P-CONN In_order;{in_order})
                   (IP-INF2 (TO to;{to})
                            (VB;_Tn_ support;{support})
                            (NP-OB1 (D the;{the})
                                    (NS measures;{measure})
                                    (PP (P-ROLE for;{for})
                                        (NP (D the;{the})
                                            (N protection;{protection})
                                            (PP (P-ROLE of;{of})
                                                (NP (ADJP (ADJ personal;{personal}))
                                                    (N information;{information})
                                                    (IP-PPL (ILYR (ILYR (VVN;_Tn_ formulated;{formulate}))
                                                                  (CONJP (CONJ or;{or})
                                                                         (ILYR (VVN;_Tn_ implemented;{implement}))))
                                                            (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                    (NP (NLYR (NLYR (ADJP (ADJ local;{local}))
                                                                                    (NS governments;{government}))
                                                                              (CONJP (CONJ and;{and})
                                                                                     (NLYR (D the;{the})
                                                                                           (NS activities;{activity})
                                                                                           (IP-PPL (VVN;_Tn_ performed;{perform})
                                                                                                   (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                                           (NP (NLYR (NLYR (NS citizens;{citizen}))
                                                                                                                     (PUNC ,)
                                                                                                                     (CONJP (NLYR (NS entities;{entity})))
                                                                                                                     (PUNC ,)
                                                                                                                     (CONJP (CONJ and;{and})
                                                                                                                            (NLYR (NS others;{other}))))))
                                                                                                   (PP-SCON (IP-INF (TO to;{to})
                                                                                                                    (VB;_Tn_ ensure;{ensure})
                                                                                                                    (NP-OB1 (D the;{the})
                                                                                                                            (ADJP (ADJ proper;{proper}))
                                                                                                                            (N handling;{handling})
                                                                                                                            (PP (P-ROLE of;{of})
                                                                                                                                (NP (ADJP (ADJ personal;{personal}))
                                                                                                                                    (N information;{information}))))))))))))))))))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NPR State;{State}))
          (MD;_cat_Vi_ shall;{shall})
          (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ provide;{provide})
                                  (NP-OB1 (N information;{information})))
                            (PUNC ,)
                            (CONJP (ILYR (VB;_Tn_ formulate;{formulate})
                                         (NP-OB1 (NS guidelines;{guideline})
                                                 (IP-INF-REL (NP-SBJ *T*)
                                                             (TO to;{to})
                                                             (VB;_Tn_ ensure;{ensure})
                                                             (NP-OB1 (D the;{the})
                                                                     (ADJP (AJLYR (AJLYR (ADJ appropriate;{appropriate}))
                                                                                  (CONJP (CONJ and;{and})
                                                                                         (AJLYR (ADJ effective;{effective})))))
                                                                     (N implementation;{implementation})
                                                                     (PP (P-ROLE of;{of})
                                                                         (NP (NS measures;{measure})
                                                                             (IP-INF-REL (NP-SBJ *T*)
                                                                                         (TO to;{to})
                                                                                         (BE;_cat_VePASS_ be;{be})
                                                                                         (IP-PPL-CAT (VVN;_Tn_ taken;{take})
                                                                                                     (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                                             (NP (NLYR (NLYR (NS entities;{entity}))
                                                                                                                       (CONJP (CONJ and;{and})
                                                                                                                              (NLYR (NS others;{other})))))))))))))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Tn_ take;{take})
                                         (NP-OB1 (D any;{any})
                                                 (ADJP (ADJ other;{other}))
                                                 (ADJP (ADJ necessary;{necessary}))
                                                 (NS measures;{measure}))))))
          (PUNC .))
  (ID 54_a_law_h15a119;45_3_8))

arc(r_0054_0001__In_order,r_0054_0003__support,restriction).
arc(r_0054_0001__In_order,r_0054_0040__shall,scope).
arc(r_0054_0003__support,r_0054_0004__the_r_0054_0005__measures,arg1).
arc(r_0054_0003__support,r_0054_0038__the_r_0054_0039__State,arg0).
arc(r_0054_0004__the_r_0054_0005__measures,r_0054_0007__the_r_0054_0008__protection,r_0054_0006__for).
arc(r_0054_0007__the_r_0054_0008__protection,r_0054_0011__information,r_0054_0009__of).
arc(r_0054_0011__information,r_0054_0010__personal,attrib).
arc(r_0054_0012__formulated,r_0054_0011__information,inv_arg1).
arc(r_0054_0012__formulated,r_0054_0018__and,r_0054_0015__by_arg0).
arc(r_0054_0013__or,r_0054_0012__formulated,conj1).
arc(r_0054_0013__or,r_0054_0014__implemented,conj2).
arc(r_0054_0014__implemented,r_0054_0011__information,inv_arg1).
arc(r_0054_0014__implemented,r_0054_0018__and,r_0054_0015__by_arg0).
arc(r_0054_0017__governments,r_0054_0016__local,attrib).
arc(r_0054_0018__and,r_0054_0017__governments,conj1).
arc(r_0054_0018__and,r_0054_0019__the_r_0054_0020__activities,conj2).
arc(r_0054_0021__performed,r_0054_0019__the_r_0054_0020__activities,inv_arg1).
arc(r_0054_0021__performed,r_0054_0027__and,r_0054_0022__by_arg0).
arc(r_0054_0027__and,r_0054_0023__citizens,conj1).
arc(r_0054_0027__and,r_0054_0025__entities,conj2).
arc(r_0054_0027__and,r_0054_0028__others,conj3).
arc(r_0054_0030__ensure,r_0054_0019__the_r_0054_0020__activities,arg0).
arc(r_0054_0030__ensure,r_0054_0031__the_r_0054_0033__handling,arg1).
arc(r_0054_0031__the_r_0054_0033__handling,r_0054_0032__proper,attrib).
arc(r_0054_0031__the_r_0054_0033__handling,r_0054_0036__information,r_0054_0034__of).
arc(r_0054_0036__information,r_0054_0035__personal,attrib).
arc(r_0054_0040__shall,r_0054_0063__and,scope).
arc(r_0054_0041__provide,r_0054_0038__the_r_0054_0039__State,arg0).
arc(r_0054_0041__provide,r_0054_0042__information,arg1).
arc(r_0054_0044__formulate,r_0054_0038__the_r_0054_0039__State,arg0).
arc(r_0054_0044__formulate,r_0054_0045__guidelines,arg1).
arc(r_0054_0047__ensure,r_0054_0045__guidelines,inv_arg0).
arc(r_0054_0047__ensure,r_0054_0048__the_r_0054_0052__implementation,arg1).
arc(r_0054_0048__the_r_0054_0052__implementation,r_0054_0050__and,attrib).
arc(r_0054_0048__the_r_0054_0052__implementation,r_0054_0054__measures,r_0054_0053__of).
arc(r_0054_0050__and,r_0054_0049__appropriate,conj1).
arc(r_0054_0050__and,r_0054_0051__effective,conj2).
arc(r_0054_0056__be,r_0054_0057__taken,scope).
arc(r_0054_0057__taken,r_0054_0054__measures,inv_arg1).
arc(r_0054_0057__taken,r_0054_0060__and,r_0054_0058__by_arg0).
arc(r_0054_0060__and,r_0054_0059__entities,conj1).
arc(r_0054_0060__and,r_0054_0061__others,conj2).
arc(r_0054_0063__and,r_0054_0041__provide,conj1).
arc(r_0054_0063__and,r_0054_0044__formulate,conj2).
arc(r_0054_0063__and,r_0054_0064__take,conj3).
arc(r_0054_0064__take,r_0054_0038__the_r_0054_0039__State,arg0).
arc(r_0054_0064__take,r_0054_0065__any_r_0054_0068__measures,arg1).
arc(r_0054_0065__any_r_0054_0068__measures,r_0054_0066__other,attrib).
arc(r_0054_0065__any_r_0054_0068__measures,r_0054_0067__necessary,attrib).
arc(z_0054_5010,r_0054_0021__performed,scope).
arc(z_0054_5010,r_0054_0030__ensure,restriction).

fof(formula,axiom,
    ? [R_0054_0010__PERSONAL,R_0054_0016__LOCAL,R_0054_0017__GOVERNMENTS,R_0054_0023__CITIZENS,R_0054_0025__ENTITIES,R_0054_0028__OTHERS,R_0054_0027__AND,R_0054_0021__PERFORMED,R_0054_0019__THE_R_0054_0020__ACTIVITIES,R_0054_0018__AND,R_0054_0012__FORMULATED,R_0054_0014__IMPLEMENTED,R_0054_0011__INFORMATION,R_0054_0007__THE_R_0054_0008__PROTECTION,R_0054_0004__THE_R_0054_0005__MEASURES,R_0054_0038__THE_R_0054_0039__STATE,R_0054_0003__SUPPORT,R_0054_0042__INFORMATION,R_0054_0041__PROVIDE,R_0054_0049__APPROPRIATE,R_0054_0051__EFFECTIVE,R_0054_0050__AND,R_0054_0059__ENTITIES,R_0054_0061__OTHERS,R_0054_0060__AND,R_0054_0056__BE_R_0054_0057__TAKEN,R_0054_0054__MEASURES,R_0054_0048__THE_R_0054_0052__IMPLEMENTATION,R_0054_0047__ENSURE,R_0054_0045__GUIDELINES,R_0054_0044__FORMULATE,R_0054_0066__OTHER,R_0054_0067__NECESSARY,R_0054_0065__ANY_R_0054_0068__MEASURES,R_0054_0064__TAKE,R_0054_0063__AND,R_0054_0040__SHALL,R_0054_0001__IN_ORDER,R_0054_0013__OR,R_0054_0032__PROPER,R_0054_0035__PERSONAL,R_0054_0036__INFORMATION,R_0054_0031__THE_R_0054_0033__HANDLING,R_0054_0030__ENSURE,Z_0054_5010] :
      ( r_0054_0010__personal(R_0054_0010__PERSONAL)
      & r_0054_0016__local(R_0054_0016__LOCAL)
      & r_0054_0023__citizens(R_0054_0023__CITIZENS)
      & r_0054_0025__entities(R_0054_0025__ENTITIES)
      & r_0054_0028__others(R_0054_0028__OTHERS)
      & r_0054_0032__proper(R_0054_0032__PROPER)
      & r_0054_0035__personal(R_0054_0035__PERSONAL)
      & r_0054_0038__the_r_0054_0039__State(R_0054_0038__THE_R_0054_0039__STATE)
      & r_0054_0042__information(R_0054_0042__INFORMATION)
      & r_0054_0049__appropriate(R_0054_0049__APPROPRIATE)
      & r_0054_0051__effective(R_0054_0051__EFFECTIVE)
      & r_0054_0059__entities(R_0054_0059__ENTITIES)
      & r_0054_0061__others(R_0054_0061__OTHERS)
      & r_0054_0066__other(R_0054_0066__OTHER)
      & r_0054_0067__necessary(R_0054_0067__NECESSARY)
      & z_0054_5010(Z_0054_5010)
      & has_conj1(Z_0054_5010,R_0054_0030__ENSURE)
      & r_0054_0030__ensure(R_0054_0030__ENSURE)
      & has_arg1(R_0054_0030__ENSURE,R_0054_0031__THE_R_0054_0033__HANDLING)
      & r_0054_0031__the_r_0054_0033__handling(R_0054_0031__THE_R_0054_0033__HANDLING)
      & has_r_0054_0034__of(R_0054_0031__THE_R_0054_0033__HANDLING,R_0054_0036__INFORMATION)
      & r_0054_0036__information(R_0054_0036__INFORMATION)
      & has_attrib(R_0054_0036__INFORMATION,R_0054_0035__PERSONAL)
      & has_attrib(R_0054_0031__THE_R_0054_0033__HANDLING,R_0054_0032__PROPER)
      & has_arg0(R_0054_0030__ENSURE,R_0054_0019__THE_R_0054_0020__ACTIVITIES)
      & r_0054_0019__the_r_0054_0020__activities(R_0054_0019__THE_R_0054_0020__ACTIVITIES)
      & has_inv_arg1(R_0054_0019__THE_R_0054_0020__ACTIVITIES,R_0054_0021__PERFORMED)
      & r_0054_0021__performed(R_0054_0021__PERFORMED)
      & has_r_0054_0022__by_arg0(R_0054_0021__PERFORMED,R_0054_0027__AND)
      & r_0054_0027__and(R_0054_0027__AND)
      & has_conj3(R_0054_0027__AND,R_0054_0028__OTHERS)
      & has_conj2(R_0054_0027__AND,R_0054_0025__ENTITIES)
      & has_conj1(R_0054_0027__AND,R_0054_0023__CITIZENS)
      & has_conj2(Z_0054_5010,R_0054_0021__PERFORMED)
      & r_0054_0013__or(R_0054_0013__OR)
      & has_conj2(R_0054_0013__OR,R_0054_0014__IMPLEMENTED)
      & r_0054_0014__implemented(R_0054_0014__IMPLEMENTED)
      & has_r_0054_0015__by_arg0(R_0054_0014__IMPLEMENTED,R_0054_0018__AND)
      & r_0054_0018__and(R_0054_0018__AND)
      & has_conj2(R_0054_0018__AND,R_0054_0019__THE_R_0054_0020__ACTIVITIES)
      & has_conj1(R_0054_0018__AND,R_0054_0017__GOVERNMENTS)
      & r_0054_0017__governments(R_0054_0017__GOVERNMENTS)
      & has_attrib(R_0054_0017__GOVERNMENTS,R_0054_0016__LOCAL)
      & has_conj1(R_0054_0013__OR,R_0054_0012__FORMULATED)
      & r_0054_0012__formulated(R_0054_0012__FORMULATED)
      & has_r_0054_0015__by_arg0(R_0054_0012__FORMULATED,R_0054_0018__AND)
      & r_0054_0001__In_order(R_0054_0001__IN_ORDER)
      & has_conj2(R_0054_0001__IN_ORDER,R_0054_0040__SHALL)
      & r_0054_0040__shall(R_0054_0040__SHALL)
      & has_keep_scope(R_0054_0040__SHALL,R_0054_0063__AND)
      & r_0054_0063__and(R_0054_0063__AND)
      & has_conj3(R_0054_0063__AND,R_0054_0064__TAKE)
      & r_0054_0064__take(R_0054_0064__TAKE)
      & has_arg1(R_0054_0064__TAKE,R_0054_0065__ANY_R_0054_0068__MEASURES)
      & r_0054_0065__any_r_0054_0068__measures(R_0054_0065__ANY_R_0054_0068__MEASURES)
      & has_attrib(R_0054_0065__ANY_R_0054_0068__MEASURES,R_0054_0067__NECESSARY)
      & has_attrib(R_0054_0065__ANY_R_0054_0068__MEASURES,R_0054_0066__OTHER)
      & has_arg0(R_0054_0064__TAKE,R_0054_0038__THE_R_0054_0039__STATE)
      & has_conj2(R_0054_0063__AND,R_0054_0044__FORMULATE)
      & r_0054_0044__formulate(R_0054_0044__FORMULATE)
      & has_arg1(R_0054_0044__FORMULATE,R_0054_0045__GUIDELINES)
      & r_0054_0045__guidelines(R_0054_0045__GUIDELINES)
      & has_inv_arg0(R_0054_0045__GUIDELINES,R_0054_0047__ENSURE)
      & r_0054_0047__ensure(R_0054_0047__ENSURE)
      & has_arg1(R_0054_0047__ENSURE,R_0054_0048__THE_R_0054_0052__IMPLEMENTATION)
      & r_0054_0048__the_r_0054_0052__implementation(R_0054_0048__THE_R_0054_0052__IMPLEMENTATION)
      & has_r_0054_0053__of(R_0054_0048__THE_R_0054_0052__IMPLEMENTATION,R_0054_0054__MEASURES)
      & r_0054_0054__measures(R_0054_0054__MEASURES)
      & has_inv_arg1(R_0054_0054__MEASURES,R_0054_0056__BE_R_0054_0057__TAKEN)
      & r_0054_0056__be_r_0054_0057__taken(R_0054_0056__BE_R_0054_0057__TAKEN)
      & has_r_0054_0058__by_arg0(R_0054_0056__BE_R_0054_0057__TAKEN,R_0054_0060__AND)
      & r_0054_0060__and(R_0054_0060__AND)
      & has_conj2(R_0054_0060__AND,R_0054_0061__OTHERS)
      & has_conj1(R_0054_0060__AND,R_0054_0059__ENTITIES)
      & has_attrib(R_0054_0048__THE_R_0054_0052__IMPLEMENTATION,R_0054_0050__AND)
      & r_0054_0050__and(R_0054_0050__AND)
      & has_conj2(R_0054_0050__AND,R_0054_0051__EFFECTIVE)
      & has_conj1(R_0054_0050__AND,R_0054_0049__APPROPRIATE)
      & has_arg0(R_0054_0044__FORMULATE,R_0054_0038__THE_R_0054_0039__STATE)
      & has_conj1(R_0054_0063__AND,R_0054_0041__PROVIDE)
      & r_0054_0041__provide(R_0054_0041__PROVIDE)
      & has_arg1(R_0054_0041__PROVIDE,R_0054_0042__INFORMATION)
      & has_arg0(R_0054_0041__PROVIDE,R_0054_0038__THE_R_0054_0039__STATE)
      & has_conj1(R_0054_0001__IN_ORDER,R_0054_0003__SUPPORT)
      & r_0054_0003__support(R_0054_0003__SUPPORT)
      & has_arg0(R_0054_0003__SUPPORT,R_0054_0038__THE_R_0054_0039__STATE)
      & has_arg1(R_0054_0003__SUPPORT,R_0054_0004__THE_R_0054_0005__MEASURES)
      & r_0054_0004__the_r_0054_0005__measures(R_0054_0004__THE_R_0054_0005__MEASURES)
      & has_r_0054_0006__for(R_0054_0004__THE_R_0054_0005__MEASURES,R_0054_0007__THE_R_0054_0008__PROTECTION)
      & r_0054_0007__the_r_0054_0008__protection(R_0054_0007__THE_R_0054_0008__PROTECTION)
      & has_r_0054_0009__of(R_0054_0007__THE_R_0054_0008__PROTECTION,R_0054_0011__INFORMATION)
      & r_0054_0011__information(R_0054_0011__INFORMATION)
      & has_inv_arg1(R_0054_0011__INFORMATION,R_0054_0014__IMPLEMENTED)
      & has_inv_arg1(R_0054_0011__INFORMATION,R_0054_0012__FORMULATED)
      & has_attrib(R_0054_0011__INFORMATION,R_0054_0010__PERSONAL) ) ).