TSPC 98_a_law

98_a_law_h15a119
(3) When a business operator handling personal information has changed the Purpose of Utilization, the business operator shall notify the person of the changed Purpose of Utilization or publicly announce it.

arc(r_0098_0004__When, r_0098_0011__has, restriction).
arc(r_0098_0004__When, r_0098_0021__shall, scope).
arc(r_0098_0008__handling, r_0098_0005__a_r_0098_0006__business_r_0098_0007__operator, arg0).
arc(r_0098_0008__handling, r_0098_0010__information, arg1).
arc(r_0098_0010__information, r_0098_0009__personal, attrib24).
arc(r_0098_0011__has, r_0098_0012__changed, scope).
arc(r_0098_0012__changed, r_0098_0005__a_r_0098_0006__business_r_0098_0007__operator, arg0).
arc(r_0098_0012__changed, r_0098_0013__the_r_0098_0014__Purpose, arg1).
arc(r_0098_0013__the_r_0098_0014__Purpose, r_0098_0016__Utilization, r_0098_0015__of).
arc(r_0098_0021__shall, r_0098_0031__or, scope).
arc(r_0098_0022__notify, r_0098_0018__the_r_0098_0019__business_r_0098_0020__operator, arg0).
arc(r_0098_0022__notify, r_0098_0023__the_r_0098_0024__person, arg1).
arc(r_0098_0022__notify, r_0098_0026__the_r_0098_0028__Purpose, r_0098_0025__of_clr69).
arc(r_0098_0026__the_r_0098_0028__Purpose, r_0098_0027__changed, attrib72).
arc(r_0098_0026__the_r_0098_0028__Purpose, r_0098_0030__Utilization, r_0098_0029__of).
arc(r_0098_0031__or, r_0098_0022__notify, conj1).
arc(r_0098_0031__or, r_0098_0033__announce, conj2).
arc(r_0098_0033__announce, r_0098_0010__information, arg1).
arc(r_0098_0033__announce, r_0098_0018__the_r_0098_0019__business_r_0098_0020__operator, arg0).
arc(r_0098_0033__announce, r_0098_0032__publicly, nim87).

fof(formula,axiom,
    ? [R_0098_0005__A_R_0098_0006__BUSINESS_R_0098_0007__OPERATOR,R_0098_0009__PERSONAL,R_0098_0010__INFORMATION,R_0098_0008__HANDLING] :
      ( r_0098_0005__a_r_0098_0006__business_r_0098_0007__operator(R_0098_0005__A_R_0098_0006__BUSINESS_R_0098_0007__OPERATOR)
      & r_0098_0009__personal(R_0098_0009__PERSONAL)
      & r_0098_0008__handling(R_0098_0008__HANDLING)
      & has_arg1(R_0098_0008__HANDLING,R_0098_0010__INFORMATION)
      & r_0098_0010__information(R_0098_0010__INFORMATION)
      & has_attrib24(R_0098_0010__INFORMATION,R_0098_0009__PERSONAL)
      & has_arg0(R_0098_0008__HANDLING,R_0098_0005__A_R_0098_0006__BUSINESS_R_0098_0007__OPERATOR)
      & ! [R_0098_0011__HAS_R_0098_0012__CHANGED,R_0098_0016__UTILIZATION,R_0098_0013__THE_R_0098_0014__PURPOSE] :
          ( ( r_0098_0016__Utilization(R_0098_0016__UTILIZATION)
            & r_0098_0011__has_r_0098_0012__changed(R_0098_0011__HAS_R_0098_0012__CHANGED)
            & has_arg1(R_0098_0011__HAS_R_0098_0012__CHANGED,R_0098_0013__THE_R_0098_0014__PURPOSE)
            & r_0098_0013__the_r_0098_0014__Purpose(R_0098_0013__THE_R_0098_0014__PURPOSE)
            & has_r_0098_0015__of(R_0098_0013__THE_R_0098_0014__PURPOSE,R_0098_0016__UTILIZATION)
            & has_arg0(R_0098_0011__HAS_R_0098_0012__CHANGED,R_0098_0005__A_R_0098_0006__BUSINESS_R_0098_0007__OPERATOR) )
         => ? [R_0098_0018__THE_R_0098_0019__BUSINESS_R_0098_0020__OPERATOR,R_0098_0023__THE_R_0098_0024__PERSON,R_0098_0027__CHANGED,R_0098_0030__UTILIZATION,R_0098_0026__THE_R_0098_0028__PURPOSE,R_0098_0022__NOTIFY,R_0098_0032__PUBLICLY,R_0098_0033__ANNOUNCE,R_0098_0031__OR,R_0098_0021__SHALL] :
              ( r_0098_0018__the_r_0098_0019__business_r_0098_0020__operator(R_0098_0018__THE_R_0098_0019__BUSINESS_R_0098_0020__OPERATOR)
              & r_0098_0023__the_r_0098_0024__person(R_0098_0023__THE_R_0098_0024__PERSON)
              & r_0098_0027__changed(R_0098_0027__CHANGED)
              & r_0098_0030__Utilization(R_0098_0030__UTILIZATION)
              & r_0098_0032__publicly(R_0098_0032__PUBLICLY)
              & r_0098_0021__shall(R_0098_0021__SHALL)
              & has_keep_scope(R_0098_0021__SHALL,R_0098_0031__OR)
              & r_0098_0031__or(R_0098_0031__OR)
              & has_conj2(R_0098_0031__OR,R_0098_0033__ANNOUNCE)
              & r_0098_0033__announce(R_0098_0033__ANNOUNCE)
              & has_nim87(R_0098_0033__ANNOUNCE,R_0098_0032__PUBLICLY)
              & has_arg0(R_0098_0033__ANNOUNCE,R_0098_0018__THE_R_0098_0019__BUSINESS_R_0098_0020__OPERATOR)
              & has_arg1(R_0098_0033__ANNOUNCE,R_0098_0010__INFORMATION)
              & has_conj1(R_0098_0031__OR,R_0098_0022__NOTIFY)
              & ~ ( has_r_0098_0025__of_clr69(R_0098_0022__NOTIFY,R_0098_0026__THE_R_0098_0028__PURPOSE)
                  & r_0098_0026__the_r_0098_0028__Purpose(R_0098_0026__THE_R_0098_0028__PURPOSE)
                  & has_r_0098_0029__of(R_0098_0026__THE_R_0098_0028__PURPOSE,R_0098_0030__UTILIZATION)
                  & has_attrib72(R_0098_0026__THE_R_0098_0028__PURPOSE,R_0098_0027__CHANGED)
                  & has_arg1(R_0098_0022__NOTIFY,R_0098_0023__THE_R_0098_0024__PERSON)
                  & has_arg0(R_0098_0022__NOTIFY,R_0098_0018__THE_R_0098_0019__BUSINESS_R_0098_0020__OPERATOR) ) ) ) ) ).

( (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}))))
                           (HVP;_cat_Ve_ has;{have})
                           (IP-PPL-CAT (VVN;_Tn_ changed;{change})
                                       (NP-OB1 (D the;{the})
                                               (N Purpose;{purpose})
                                               (PP (P-ROLE of;{of})
                                                   (NP (N Utilization;{utilization})))))))
          (PUNC ,)
          (NP-SBJ;{OPER} (D the;{the})
                         (N business;{business})
                         (N operator;{operator}))
          (MD;_cat_Vi_ shall;{shall})
          (IP-INF-CAT (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})
                                              (ADJP (ADJ changed;{changed}))
                                              (N Purpose;{purpose})
                                              (PP (P-ROLE of;{of})
                                                  (NP (N Utilization;{utilization}))))))
                            (CONJP (CONJ or;{or})
                                   (ILYR (ADVP-NIM (ADV publicly;{publicly}))
                                         (VB;_Tn_ announce;{announce})
                                         (NP-OB1 (PRO it;{it}))))))
          (PUNC .))
  (ID 98_a_law_h15a119;78_4_18_3))