TSPC 106_a_law

106_a_law_h15a119
A business operator handling personal information shall endeavor to maintain personal data accurate and up to date within the scope necessary for the achievement of the Purpose of Utilization.

( (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;_cat_Vt_ endeavor;{endeavor})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_Tn_ maintain;{maintain})
                                  (NP-OB1 (ADJP (ADJ personal;{personal}))
                                          (NS data;{data})
                                          (ADJP (AJLYR (AJLYR (ADJ accurate;{accurate}))
                                                       (CONJP (CONJ and;{and})
                                                              (PP (P-ROLE up_to;{up_to})
                                                                  (NP (N date;{date})))))))
                                  (PP-NIM (P-ROLE within;{within})
                                          (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}))))))))))))
          (PUNC .))
  (ID 106_a_law_h15a119;85_4_19))

arc(r_0106_0004__handling,r_0106_0001__A_r_0106_0002__business_r_0106_0003__operator,inv_arg0).
arc(r_0106_0004__handling,r_0106_0006__information,arg1).
arc(r_0106_0006__information,r_0106_0005__personal,attrib).
arc(r_0106_0007__shall,r_0106_0008__endeavor,scope).
arc(r_0106_0008__endeavor,r_0106_0010__maintain,scope).
arc(r_0106_0010__maintain,r_0106_0001__A_r_0106_0002__business_r_0106_0003__operator,arg0).
arc(r_0106_0010__maintain,r_0106_0012__data,arg1).
arc(r_0106_0010__maintain,r_0106_0018__the_r_0106_0019__scope,r_0106_0017__within__nim).
arc(r_0106_0012__data,r_0106_0011__personal,attrib).
arc(r_0106_0012__data,r_0106_0014__and,attrib).
arc(r_0106_0014__and,r_0106_0013__accurate,conj1).
arc(r_0106_0018__the_r_0106_0019__scope,r_0106_0020__necessary,attrib).
arc(r_0106_0020__necessary,r_0106_0022__the_r_0106_0023__achievement,r_0106_0021__for).
arc(r_0106_0022__the_r_0106_0023__achievement,r_0106_0025__the_r_0106_0026__Purpose,r_0106_0024__of).
arc(r_0106_0025__the_r_0106_0026__Purpose,r_0106_0028__Utilization,r_0106_0027__of).

fof(formula,axiom,
    ? [R_0106_0005__PERSONAL,R_0106_0006__INFORMATION,R_0106_0004__HANDLING,R_0106_0001__A_R_0106_0002__BUSINESS_R_0106_0003__OPERATOR,R_0106_0011__PERSONAL,R_0106_0013__ACCURATE,R_0106_0014__AND,R_0106_0012__DATA,R_0106_0028__UTILIZATION,R_0106_0025__THE_R_0106_0026__PURPOSE,R_0106_0022__THE_R_0106_0023__ACHIEVEMENT,R_0106_0020__NECESSARY,R_0106_0018__THE_R_0106_0019__SCOPE,R_0106_0007__SHALL_R_0106_0008__ENDEAVOR_R_0106_0010__MAINTAIN] :
      ( r_0106_0005__personal(R_0106_0005__PERSONAL)
      & r_0106_0011__personal(R_0106_0011__PERSONAL)
      & r_0106_0013__accurate(R_0106_0013__ACCURATE)
      & r_0106_0028__Utilization(R_0106_0028__UTILIZATION)
      & r_0106_0007__shall_r_0106_0008__endeavor_r_0106_0010__maintain(R_0106_0007__SHALL_R_0106_0008__ENDEAVOR_R_0106_0010__MAINTAIN)
      & has_r_0106_0017__within__nim(R_0106_0007__SHALL_R_0106_0008__ENDEAVOR_R_0106_0010__MAINTAIN,R_0106_0018__THE_R_0106_0019__SCOPE)
      & r_0106_0018__the_r_0106_0019__scope(R_0106_0018__THE_R_0106_0019__SCOPE)
      & has_attrib(R_0106_0018__THE_R_0106_0019__SCOPE,R_0106_0020__NECESSARY)
      & r_0106_0020__necessary(R_0106_0020__NECESSARY)
      & has_r_0106_0021__for(R_0106_0020__NECESSARY,R_0106_0022__THE_R_0106_0023__ACHIEVEMENT)
      & r_0106_0022__the_r_0106_0023__achievement(R_0106_0022__THE_R_0106_0023__ACHIEVEMENT)
      & has_r_0106_0024__of(R_0106_0022__THE_R_0106_0023__ACHIEVEMENT,R_0106_0025__THE_R_0106_0026__PURPOSE)
      & r_0106_0025__the_r_0106_0026__Purpose(R_0106_0025__THE_R_0106_0026__PURPOSE)
      & has_r_0106_0027__of(R_0106_0025__THE_R_0106_0026__PURPOSE,R_0106_0028__UTILIZATION)
      & has_arg1(R_0106_0007__SHALL_R_0106_0008__ENDEAVOR_R_0106_0010__MAINTAIN,R_0106_0012__DATA)
      & r_0106_0012__data(R_0106_0012__DATA)
      & has_attrib(R_0106_0012__DATA,R_0106_0014__AND)
      & r_0106_0014__and(R_0106_0014__AND)
      & has_conj1(R_0106_0014__AND,R_0106_0013__ACCURATE)
      & has_attrib(R_0106_0012__DATA,R_0106_0011__PERSONAL)
      & has_arg0(R_0106_0007__SHALL_R_0106_0008__ENDEAVOR_R_0106_0010__MAINTAIN,R_0106_0001__A_R_0106_0002__BUSINESS_R_0106_0003__OPERATOR)
      & r_0106_0001__A_r_0106_0002__business_r_0106_0003__operator(R_0106_0001__A_R_0106_0002__BUSINESS_R_0106_0003__OPERATOR)
      & has_inv_arg0(R_0106_0001__A_R_0106_0002__BUSINESS_R_0106_0003__OPERATOR,R_0106_0004__HANDLING)
      & r_0106_0004__handling(R_0106_0004__HANDLING)
      & has_arg1(R_0106_0004__HANDLING,R_0106_0006__INFORMATION)
      & r_0106_0006__information(R_0106_0006__INFORMATION)
      & has_attrib(R_0106_0006__INFORMATION,R_0106_0005__PERSONAL) ) ).