TSPC 128_a_law

128_a_law_h15a119
(3) When a business operator handling personal information changes the matter listed in item (ii) or (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 3)
               (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 (D the;{the})
                                   (N matter;{matter})
                                   (IP-PPL (NP-LGS *)
                                           (VVN;_Tn.pr_ listed;{list})
                                           (PP-NIM (P-ROLE in;{in})
                                                   (NP (NLYR (NLYR (N item;{item})
                                                                   (PULB -LRB-)
                                                                   (N ii;{ii})
                                                                   (PURB -RRB-))
                                                             (CONJP (CONJ or;{or})
                                                                    (NLYR (PULB -LRB-)
                                                                          (N 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 ,)
                      (ILYR (ILYR (PP-NIM (P-ROLE in;{in})
                                          (NP (N advance;{advance})))
                                  (PUNC ,)
                                  (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 128_a_law_h15a119;103_4_23_3))

arc(r_0128_0004__When,r_0128_0011__changes,restriction).
arc(r_0128_0004__When,r_0128_0032__shall,scope).
arc(r_0128_0008__handling,r_0128_0005__a_r_0128_0006__business_r_0128_0007__operator,inv_arg0).
arc(r_0128_0008__handling,r_0128_0010__information,arg1).
arc(r_0128_0010__information,r_0128_0009__personal,attrib).
arc(r_0128_0011__changes,r_0128_0005__a_r_0128_0006__business_r_0128_0007__operator,arg0).
arc(r_0128_0011__changes,r_0128_0012__the_r_0128_0013__matter,arg1).
arc(r_0128_0014__listed,r_0128_0012__the_r_0128_0013__matter,inv_arg1).
arc(r_0128_0014__listed,r_0128_0020__or,r_0128_0015__in__nim).
arc(r_0128_0014__listed,z_0128_5012___star_,arg0).
arc(r_0128_0020__or,r_0128_0016__item_r_0128_0018__ii,conj1).
arc(r_0128_0020__or,r_0128_0022__iii,conj2).
arc(r_0128_0020__or,r_0128_0025__the_r_0128_0027__paragraph,r_0128_0024__of).
arc(r_0128_0025__the_r_0128_0027__paragraph,r_0128_0026__preceding,attrib).
arc(r_0128_0032__shall,r_0128_0046__or,scope).
arc(r_0128_0037__notify_r_0128_0040__of,r_0128_0005__a_r_0128_0006__business_r_0128_0007__operator,arg0).
arc(r_0128_0037__notify_r_0128_0040__of,r_0128_0035__advance,r_0128_0034__in__nim).
arc(r_0128_0037__notify_r_0128_0040__of,r_0128_0038__the_r_0128_0039__person,arg1).
arc(r_0128_0037__notify_r_0128_0040__of,r_0128_0041__the_r_0128_0042__content,arg2).
arc(r_0128_0041__the_r_0128_0042__content,r_0128_0044__the_r_0128_0045__change,r_0128_0043__of).
arc(r_0128_0046__or,r_0128_0037__notify_r_0128_0040__of,conj1).
arc(r_0128_0046__or,r_0128_0047__put,conj2).
arc(r_0128_0047__put,r_0128_0005__a_r_0128_0006__business_r_0128_0007__operator,arg0).
arc(r_0128_0047__put,r_0128_0048__it,arg1).
arc(r_0128_0047__put,r_0128_0050__a_r_0128_0053__condition,r_0128_0049__in__prd).
arc(r_0128_0050__a_r_0128_0053__condition,r_0128_0052__accessible,attrib).
arc(r_0128_0050__a_r_0128_0053__condition,r_0128_0055__the_r_0128_0056__person,r_0128_0054__for).
arc(r_0128_0052__accessible,r_0128_0051__readily,qual).

fof(formula,axiom,
    ! [R_0128_0011__CHANGES,R_0128_0009__PERSONAL,R_0128_0010__INFORMATION,R_0128_0008__HANDLING,R_0128_0005__A_R_0128_0006__BUSINESS_R_0128_0007__OPERATOR,R_0128_0016__ITEM_R_0128_0018__II,R_0128_0022__III,R_0128_0026__PRECEDING,R_0128_0025__THE_R_0128_0027__PARAGRAPH,R_0128_0020__OR,Z_0128_5012___STAR_,R_0128_0014__LISTED,R_0128_0012__THE_R_0128_0013__MATTER] :
      ( ( r_0128_0009__personal(R_0128_0009__PERSONAL)
        & r_0128_0016__item_r_0128_0018__ii(R_0128_0016__ITEM_R_0128_0018__II)
        & r_0128_0022__iii(R_0128_0022__III)
        & r_0128_0026__preceding(R_0128_0026__PRECEDING)
        & z_0128_5012___star_(Z_0128_5012___STAR_)
        & r_0128_0011__changes(R_0128_0011__CHANGES)
        & has_arg1(R_0128_0011__CHANGES,R_0128_0012__THE_R_0128_0013__MATTER)
        & r_0128_0012__the_r_0128_0013__matter(R_0128_0012__THE_R_0128_0013__MATTER)
        & has_inv_arg1(R_0128_0012__THE_R_0128_0013__MATTER,R_0128_0014__LISTED)
        & r_0128_0014__listed(R_0128_0014__LISTED)
        & has_arg0(R_0128_0014__LISTED,Z_0128_5012___STAR_)
        & has_r_0128_0015__in__nim(R_0128_0014__LISTED,R_0128_0020__OR)
        & r_0128_0020__or(R_0128_0020__OR)
        & has_r_0128_0024__of(R_0128_0020__OR,R_0128_0025__THE_R_0128_0027__PARAGRAPH)
        & r_0128_0025__the_r_0128_0027__paragraph(R_0128_0025__THE_R_0128_0027__PARAGRAPH)
        & has_attrib(R_0128_0025__THE_R_0128_0027__PARAGRAPH,R_0128_0026__PRECEDING)
        & has_conj2(R_0128_0020__OR,R_0128_0022__III)
        & has_conj1(R_0128_0020__OR,R_0128_0016__ITEM_R_0128_0018__II)
        & has_arg0(R_0128_0011__CHANGES,R_0128_0005__A_R_0128_0006__BUSINESS_R_0128_0007__OPERATOR)
        & r_0128_0005__a_r_0128_0006__business_r_0128_0007__operator(R_0128_0005__A_R_0128_0006__BUSINESS_R_0128_0007__OPERATOR)
        & has_inv_arg0(R_0128_0005__A_R_0128_0006__BUSINESS_R_0128_0007__OPERATOR,R_0128_0008__HANDLING)
        & r_0128_0008__handling(R_0128_0008__HANDLING)
        & has_arg1(R_0128_0008__HANDLING,R_0128_0010__INFORMATION)
        & r_0128_0010__information(R_0128_0010__INFORMATION)
        & has_attrib(R_0128_0010__INFORMATION,R_0128_0009__PERSONAL) )
     => ? [R_0128_0035__ADVANCE,R_0128_0038__THE_R_0128_0039__PERSON,R_0128_0044__THE_R_0128_0045__CHANGE,R_0128_0041__THE_R_0128_0042__CONTENT,R_0128_0037__NOTIFY_R_0128_0040__OF,R_0128_0048__IT,R_0128_0051__READILY,R_0128_0052__ACCESSIBLE,R_0128_0055__THE_R_0128_0056__PERSON,R_0128_0050__A_R_0128_0053__CONDITION,R_0128_0047__PUT,R_0128_0046__OR,R_0128_0032__SHALL] :
          ( r_0128_0035__advance(R_0128_0035__ADVANCE)
          & r_0128_0038__the_r_0128_0039__person(R_0128_0038__THE_R_0128_0039__PERSON)
          & r_0128_0044__the_r_0128_0045__change(R_0128_0044__THE_R_0128_0045__CHANGE)
          & r_0128_0048__it(R_0128_0048__IT)
          & r_0128_0051__readily(R_0128_0051__READILY)
          & r_0128_0055__the_r_0128_0056__person(R_0128_0055__THE_R_0128_0056__PERSON)
          & r_0128_0032__shall(R_0128_0032__SHALL)
          & has_keep_scope(R_0128_0032__SHALL,R_0128_0046__OR)
          & r_0128_0046__or(R_0128_0046__OR)
          & has_conj2(R_0128_0046__OR,R_0128_0047__PUT)
          & r_0128_0047__put(R_0128_0047__PUT)
          & has_r_0128_0049__in__prd(R_0128_0047__PUT,R_0128_0050__A_R_0128_0053__CONDITION)
          & r_0128_0050__a_r_0128_0053__condition(R_0128_0050__A_R_0128_0053__CONDITION)
          & has_r_0128_0054__for(R_0128_0050__A_R_0128_0053__CONDITION,R_0128_0055__THE_R_0128_0056__PERSON)
          & has_attrib(R_0128_0050__A_R_0128_0053__CONDITION,R_0128_0052__ACCESSIBLE)
          & r_0128_0052__accessible(R_0128_0052__ACCESSIBLE)
          & has_qual(R_0128_0052__ACCESSIBLE,R_0128_0051__READILY)
          & has_arg1(R_0128_0047__PUT,R_0128_0048__IT)
          & has_arg0(R_0128_0047__PUT,R_0128_0005__A_R_0128_0006__BUSINESS_R_0128_0007__OPERATOR)
          & has_conj1(R_0128_0046__OR,R_0128_0037__NOTIFY_R_0128_0040__OF)
          & ~ ( has_arg2(R_0128_0037__NOTIFY_R_0128_0040__OF,R_0128_0041__THE_R_0128_0042__CONTENT)
              & r_0128_0041__the_r_0128_0042__content(R_0128_0041__THE_R_0128_0042__CONTENT)
              & has_r_0128_0043__of(R_0128_0041__THE_R_0128_0042__CONTENT,R_0128_0044__THE_R_0128_0045__CHANGE)
              & has_arg1(R_0128_0037__NOTIFY_R_0128_0040__OF,R_0128_0038__THE_R_0128_0039__PERSON)
              & has_r_0128_0034__in__nim(R_0128_0037__NOTIFY_R_0128_0040__OF,R_0128_0035__ADVANCE)
              & has_arg0(R_0128_0037__NOTIFY_R_0128_0040__OF,R_0128_0005__A_R_0128_0006__BUSINESS_R_0128_0007__OPERATOR) ) ) ) ).