TSPC 133_a_law

133_a_law_h15a119
(5) When a business operator handling personal information changes the purpose for which the personal data is used or the name of the individual or business operator responsible for the management of the personal data as are provided in item (iii) of the preceding paragraph, the business operator shall, in advance, notify the person of the content of the change or put it in a readily accessible condition for the person.

( (IP-MAT (LST (PULB -LRB-)
               (LS 5)
               (PURB -RRB-))
          (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;__ changes;{change})
                           (NP-OB1 (NLYR (NLYR (D the;{the})
                                               (N purpose;{purpose})
                                               (IP-REL (PP-153 (P-ROLE for;{for})
                                                               (NP (RPRO which;{which})))
                                                       (NP-SBJ (D the;{the})
                                                               (ADJP (ADJ personal;{personal}))
                                                               (N data;{data}))
                                                       (BEP;_cat_VePASS_ is;{be})
                                                       (IP-PPL-CAT (PP-CLR *ICH*-153)
                                                                   (NP-LGS *)
                                                                   (VVN;_Tn.pr_ used;{use[for]}))))
                                         (CONJP (CONJ or;{or})
                                                (NLYR (D the;{the})
                                                      (N name;{name})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (D the;{the})
                                                              (NLYR (NLYR (N individual;{individual}))
                                                                    (CONJP (CONJ or;{or})
                                                                           (NLYR (N business;{business})
                                                                                 (N operator;{operator}))))
                                                              (ADJP (ADJ responsible;{responsible})
                                                                    (PP (P-ROLE for;{for})
                                                                        (NP (D the;{the})
                                                                            (N management;{management})
                                                                            (PP (P-ROLE of;{of})
                                                                                (NP (D the;{the})
                                                                                    (ADJP (ADJ personal;{personal}))
                                                                                    (NS data;{data})
                                                                                    (IP-REL (NP-SBJ (RPRO as;{as}))
                                                                                            (BEP;_cat_VePASS_ are;{be})
                                                                                            (IP-PPL-CAT (NP-LGS *)
                                                                                                        (VVN;_Tn_ provided;{provide})
                                                                                                        (PP-NIM (P-ROLE in;{in})
                                                                                                                (NP (N item;{item})
                                                                                                                    (PULB -LRB-)
                                                                                                                    (NUM iii;{iii})
                                                                                                                    (PURB -RRB-)
                                                                                                                    (PP (P-ROLE of;{of})
                                                                                                                        (NP (D the;{the})
                                                                                                                            (ADJP (ADJ preceding;{preceding}))
                                                                                                                            (N paragraph;{paragraph}))))))))))))))))))))
          (PUNC ,)
          (NP-SBJ;{OPER} (D the;{the})
                         (N business;{business})
                         (N operator;{operator}))
          (MD;_cat_Vi_ shall;{shall})
          (IP-INF-CAT (PUNC ,)
                      (PP-NIM (P-ROLE in;{in})
                              (NP (N advance;{advance})))
                      (PUNC ,)
                      (ILYR (ILYR (VB;_Tn.pr_ notify;{notify[of]})
                                  (NP-OB1 (D the;{the})
                                          (N person;{person}))
                                  (PP-CLR (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (N content;{content})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D the;{the})
                                                      (N change;{change}))))))
                            (CONJP (CONJ or;{or})
                                   (ILYR (VB;__ put;{put})
                                         (NP-OB1 (PRO it;{it}))
                                         (PP-PRD (P-ROLE in;{in})
                                                 (NP (D a;{a})
                                                     (ADJP (ADVP (ADV readily;{readily}))
                                                           (ADJ accessible;{accessible}))
                                                     (N condition;{condition})
                                                     (PP (P-ROLE for;{for})
                                                         (NP (D the;{the})
                                                             (N person;{person})))))))))
          (PUNC .))
  (ID 133_a_law_h15a119;108_4_23_5))

arc(r_0133_0004__When,r_0133_0011__changes,restriction).
arc(r_0133_0004__When,r_0133_0054__shall,scope).
arc(r_0133_0008__handling,r_0133_0005__a_r_0133_0006__business_r_0133_0007__operator,inv_arg0).
arc(r_0133_0008__handling,r_0133_0010__information,arg1).
arc(r_0133_0010__information,r_0133_0009__personal,attrib).
arc(r_0133_0011__changes,r_0133_0005__a_r_0133_0006__business_r_0133_0007__operator,arg0).
arc(r_0133_0011__changes,r_0133_0021__or,arg1).
arc(r_0133_0014__for_r_0133_0020__used,r_0133_0012__the_r_0133_0013__purpose,arg2).
arc(r_0133_0014__for_r_0133_0020__used,r_0133_0016__the_r_0133_0018__data,arg1).
arc(r_0133_0014__for_r_0133_0020__used,z_0133_5011___star_,arg0).
arc(r_0133_0016__the_r_0133_0018__data,r_0133_0017__personal,attrib).
arc(r_0133_0019__is,r_0133_0014__for_r_0133_0020__used,scope).
arc(r_0133_0021__or,r_0133_0012__the_r_0133_0013__purpose,conj1).
arc(r_0133_0021__or,r_0133_0022__the_r_0133_0023__name,conj2).
arc(r_0133_0022__the_r_0133_0023__name,r_0133_0025__the_r_0133_0026__individual_r_0133_0027__or_r_0133_0028__business_r_0133_0029__operator,r_0133_0024__of).
arc(r_0133_0025__the_r_0133_0026__individual_r_0133_0027__or_r_0133_0028__business_r_0133_0029__operator,r_0133_0030__responsible,attrib).
arc(r_0133_0030__responsible,r_0133_0032__the_r_0133_0033__management,r_0133_0031__for).
arc(r_0133_0032__the_r_0133_0033__management,r_0133_0035__the_r_0133_0037__data,r_0133_0034__of).
arc(r_0133_0035__the_r_0133_0037__data,r_0133_0036__personal,attrib).
arc(r_0133_0039__are,r_0133_0040__provided,scope).
arc(r_0133_0040__provided,r_0133_0035__the_r_0133_0037__data,arg1).
arc(r_0133_0040__provided,r_0133_0042__item_r_0133_0044__iii,r_0133_0041__in__nim).
arc(r_0133_0040__provided,z_0133_5024___star_,arg0).
arc(r_0133_0042__item_r_0133_0044__iii,r_0133_0047__the_r_0133_0049__paragraph,r_0133_0046__of).
arc(r_0133_0047__the_r_0133_0049__paragraph,r_0133_0048__preceding,attrib).
arc(r_0133_0054__shall,r_0133_0068__or,scope).
arc(r_0133_0059__notify_r_0133_0062__of,r_0133_0005__a_r_0133_0006__business_r_0133_0007__operator,arg0).
arc(r_0133_0059__notify_r_0133_0062__of,r_0133_0057__advance,r_0133_0056__in__nim).
arc(r_0133_0059__notify_r_0133_0062__of,r_0133_0060__the_r_0133_0061__person,arg1).
arc(r_0133_0059__notify_r_0133_0062__of,r_0133_0063__the_r_0133_0064__content,arg2).
arc(r_0133_0063__the_r_0133_0064__content,r_0133_0066__the_r_0133_0067__change,r_0133_0065__of).
arc(r_0133_0068__or,r_0133_0059__notify_r_0133_0062__of,conj1).
arc(r_0133_0068__or,r_0133_0069__put,conj2).
arc(r_0133_0069__put,r_0133_0005__a_r_0133_0006__business_r_0133_0007__operator,arg0).
arc(r_0133_0069__put,r_0133_0057__advance,r_0133_0056__in__nim).
arc(r_0133_0069__put,r_0133_0070__it,arg1).
arc(r_0133_0069__put,r_0133_0072__a_r_0133_0075__condition,r_0133_0071__in__prd).
arc(r_0133_0072__a_r_0133_0075__condition,r_0133_0074__accessible,attrib).
arc(r_0133_0072__a_r_0133_0075__condition,r_0133_0077__the_r_0133_0078__person,r_0133_0076__for).
arc(r_0133_0074__accessible,r_0133_0073__readily,qual).

fof(formula,axiom,
    ? [R_0133_0012__THE_R_0133_0013__PURPOSE,R_0133_0017__PERSONAL,R_0133_0016__THE_R_0133_0018__DATA,Z_0133_5011___STAR_,R_0133_0019__IS_R_0133_0014__FOR_R_0133_0020__USED,R_0133_0036__PERSONAL,R_0133_0035__THE_R_0133_0037__DATA,R_0133_0048__PRECEDING,R_0133_0047__THE_R_0133_0049__PARAGRAPH,R_0133_0042__ITEM_R_0133_0044__III,Z_0133_5024___STAR_,R_0133_0039__ARE_R_0133_0040__PROVIDED] :
      ( r_0133_0012__the_r_0133_0013__purpose(R_0133_0012__THE_R_0133_0013__PURPOSE)
      & r_0133_0017__personal(R_0133_0017__PERSONAL)
      & r_0133_0036__personal(R_0133_0036__PERSONAL)
      & r_0133_0048__preceding(R_0133_0048__PRECEDING)
      & z_0133_5011___star_(Z_0133_5011___STAR_)
      & z_0133_5024___star_(Z_0133_5024___STAR_)
      & r_0133_0039__are_r_0133_0040__provided(R_0133_0039__ARE_R_0133_0040__PROVIDED)
      & has_arg0(R_0133_0039__ARE_R_0133_0040__PROVIDED,Z_0133_5024___STAR_)
      & has_r_0133_0041__in__nim(R_0133_0039__ARE_R_0133_0040__PROVIDED,R_0133_0042__ITEM_R_0133_0044__III)
      & r_0133_0042__item_r_0133_0044__iii(R_0133_0042__ITEM_R_0133_0044__III)
      & has_r_0133_0046__of(R_0133_0042__ITEM_R_0133_0044__III,R_0133_0047__THE_R_0133_0049__PARAGRAPH)
      & r_0133_0047__the_r_0133_0049__paragraph(R_0133_0047__THE_R_0133_0049__PARAGRAPH)
      & has_attrib(R_0133_0047__THE_R_0133_0049__PARAGRAPH,R_0133_0048__PRECEDING)
      & has_arg1(R_0133_0039__ARE_R_0133_0040__PROVIDED,R_0133_0035__THE_R_0133_0037__DATA)
      & r_0133_0035__the_r_0133_0037__data(R_0133_0035__THE_R_0133_0037__DATA)
      & has_attrib(R_0133_0035__THE_R_0133_0037__DATA,R_0133_0036__PERSONAL)
      & r_0133_0019__is_r_0133_0014__for_r_0133_0020__used(R_0133_0019__IS_R_0133_0014__FOR_R_0133_0020__USED)
      & has_arg0(R_0133_0019__IS_R_0133_0014__FOR_R_0133_0020__USED,Z_0133_5011___STAR_)
      & has_arg1(R_0133_0019__IS_R_0133_0014__FOR_R_0133_0020__USED,R_0133_0016__THE_R_0133_0018__DATA)
      & r_0133_0016__the_r_0133_0018__data(R_0133_0016__THE_R_0133_0018__DATA)
      & has_attrib(R_0133_0016__THE_R_0133_0018__DATA,R_0133_0017__PERSONAL)
      & has_arg2(R_0133_0019__IS_R_0133_0014__FOR_R_0133_0020__USED,R_0133_0012__THE_R_0133_0013__PURPOSE)
      & ! [R_0133_0011__CHANGES,R_0133_0009__PERSONAL,R_0133_0010__INFORMATION,R_0133_0008__HANDLING,R_0133_0005__A_R_0133_0006__BUSINESS_R_0133_0007__OPERATOR,R_0133_0032__THE_R_0133_0033__MANAGEMENT,R_0133_0030__RESPONSIBLE,R_0133_0025__THE_R_0133_0026__INDIVIDUAL_R_0133_0027__OR_R_0133_0028__BUSINESS_R_0133_0029__OPERATOR,R_0133_0022__THE_R_0133_0023__NAME,R_0133_0021__OR] :
          ( ( r_0133_0009__personal(R_0133_0009__PERSONAL)
            & r_0133_0011__changes(R_0133_0011__CHANGES)
            & has_arg1(R_0133_0011__CHANGES,R_0133_0021__OR)
            & r_0133_0021__or(R_0133_0021__OR)
            & has_conj2(R_0133_0021__OR,R_0133_0022__THE_R_0133_0023__NAME)
            & r_0133_0022__the_r_0133_0023__name(R_0133_0022__THE_R_0133_0023__NAME)
            & has_r_0133_0024__of(R_0133_0022__THE_R_0133_0023__NAME,R_0133_0025__THE_R_0133_0026__INDIVIDUAL_R_0133_0027__OR_R_0133_0028__BUSINESS_R_0133_0029__OPERATOR)
            & r_0133_0025__the_r_0133_0026__individual_r_0133_0027__or_r_0133_0028__business_r_0133_0029__operator(R_0133_0025__THE_R_0133_0026__INDIVIDUAL_R_0133_0027__OR_R_0133_0028__BUSINESS_R_0133_0029__OPERATOR)
            & has_attrib(R_0133_0025__THE_R_0133_0026__INDIVIDUAL_R_0133_0027__OR_R_0133_0028__BUSINESS_R_0133_0029__OPERATOR,R_0133_0030__RESPONSIBLE)
            & r_0133_0030__responsible(R_0133_0030__RESPONSIBLE)
            & has_r_0133_0031__for(R_0133_0030__RESPONSIBLE,R_0133_0032__THE_R_0133_0033__MANAGEMENT)
            & r_0133_0032__the_r_0133_0033__management(R_0133_0032__THE_R_0133_0033__MANAGEMENT)
            & has_r_0133_0034__of(R_0133_0032__THE_R_0133_0033__MANAGEMENT,R_0133_0035__THE_R_0133_0037__DATA)
            & has_conj1(R_0133_0021__OR,R_0133_0012__THE_R_0133_0013__PURPOSE)
            & has_arg0(R_0133_0011__CHANGES,R_0133_0005__A_R_0133_0006__BUSINESS_R_0133_0007__OPERATOR)
            & r_0133_0005__a_r_0133_0006__business_r_0133_0007__operator(R_0133_0005__A_R_0133_0006__BUSINESS_R_0133_0007__OPERATOR)
            & has_inv_arg0(R_0133_0005__A_R_0133_0006__BUSINESS_R_0133_0007__OPERATOR,R_0133_0008__HANDLING)
            & r_0133_0008__handling(R_0133_0008__HANDLING)
            & has_arg1(R_0133_0008__HANDLING,R_0133_0010__INFORMATION)
            & r_0133_0010__information(R_0133_0010__INFORMATION)
            & has_attrib(R_0133_0010__INFORMATION,R_0133_0009__PERSONAL) )
         => ? [R_0133_0057__ADVANCE,R_0133_0060__THE_R_0133_0061__PERSON,R_0133_0066__THE_R_0133_0067__CHANGE,R_0133_0063__THE_R_0133_0064__CONTENT,R_0133_0059__NOTIFY_R_0133_0062__OF,R_0133_0070__IT,R_0133_0073__READILY,R_0133_0074__ACCESSIBLE,R_0133_0077__THE_R_0133_0078__PERSON,R_0133_0072__A_R_0133_0075__CONDITION,R_0133_0069__PUT,R_0133_0068__OR,R_0133_0054__SHALL] :
              ( r_0133_0057__advance(R_0133_0057__ADVANCE)
              & r_0133_0060__the_r_0133_0061__person(R_0133_0060__THE_R_0133_0061__PERSON)
              & r_0133_0066__the_r_0133_0067__change(R_0133_0066__THE_R_0133_0067__CHANGE)
              & r_0133_0070__it(R_0133_0070__IT)
              & r_0133_0073__readily(R_0133_0073__READILY)
              & r_0133_0077__the_r_0133_0078__person(R_0133_0077__THE_R_0133_0078__PERSON)
              & r_0133_0054__shall(R_0133_0054__SHALL)
              & has_keep_scope(R_0133_0054__SHALL,R_0133_0068__OR)
              & r_0133_0068__or(R_0133_0068__OR)
              & has_conj2(R_0133_0068__OR,R_0133_0069__PUT)
              & r_0133_0069__put(R_0133_0069__PUT)
              & has_r_0133_0071__in__prd(R_0133_0069__PUT,R_0133_0072__A_R_0133_0075__CONDITION)
              & r_0133_0072__a_r_0133_0075__condition(R_0133_0072__A_R_0133_0075__CONDITION)
              & has_r_0133_0076__for(R_0133_0072__A_R_0133_0075__CONDITION,R_0133_0077__THE_R_0133_0078__PERSON)
              & has_attrib(R_0133_0072__A_R_0133_0075__CONDITION,R_0133_0074__ACCESSIBLE)
              & r_0133_0074__accessible(R_0133_0074__ACCESSIBLE)
              & has_qual(R_0133_0074__ACCESSIBLE,R_0133_0073__READILY)
              & has_arg1(R_0133_0069__PUT,R_0133_0070__IT)
              & has_r_0133_0056__in__nim(R_0133_0069__PUT,R_0133_0057__ADVANCE)
              & has_arg0(R_0133_0069__PUT,R_0133_0005__A_R_0133_0006__BUSINESS_R_0133_0007__OPERATOR)
              & has_conj1(R_0133_0068__OR,R_0133_0059__NOTIFY_R_0133_0062__OF)
              & ~ ( has_arg2(R_0133_0059__NOTIFY_R_0133_0062__OF,R_0133_0063__THE_R_0133_0064__CONTENT)
                  & r_0133_0063__the_r_0133_0064__content(R_0133_0063__THE_R_0133_0064__CONTENT)
                  & has_r_0133_0065__of(R_0133_0063__THE_R_0133_0064__CONTENT,R_0133_0066__THE_R_0133_0067__CHANGE)
                  & has_arg1(R_0133_0059__NOTIFY_R_0133_0062__OF,R_0133_0060__THE_R_0133_0061__PERSON)
                  & has_r_0133_0056__in__nim(R_0133_0059__NOTIFY_R_0133_0062__OF,R_0133_0057__ADVANCE)
                  & has_arg0(R_0133_0059__NOTIFY_R_0133_0062__OF,R_0133_0005__A_R_0133_0006__BUSINESS_R_0133_0007__OPERATOR) ) ) ) ) ).