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_98_8_HANDLING,R_98_5_A_BUSINESS_OPERATOR,R_98_10_INFORMATION,R_98_9_PERSONAL] :
      ( a_business_operator(R_98_5_A_BUSINESS_OPERATOR)
      & personal(R_98_9_PERSONAL)
      & ! [R_98_11_HAS_CHANGED,R_98_13_THE_PURPOSE,R_98_16_UTILIZATION] :
          ( ( utilization(R_98_16_UTILIZATION)
            & has_changed(R_98_11_HAS_CHANGED,R_98_5_A_BUSINESS_OPERATOR,R_98_13_THE_PURPOSE)
            & the_Purpose(R_98_13_THE_PURPOSE)
            & of(R_98_13_THE_PURPOSE,R_98_16_UTILIZATION) )
         => ~ ? [R_98_31_OR,R_98_22_NOTIFY,R_98_23_THE_PERSON,R_98_26_THE_PURPOSE,R_98_27_CHANGED,R_98_30_UTILIZATION,R_98_33_ANNOUNCE,R_98_18_THE_BUSINESS_OPERATOR,R_98_32_PUBLICLY] :
                ( the_person(R_98_23_THE_PERSON)
                & changed(R_98_27_CHANGED)
                & utilization(R_98_30_UTILIZATION)
                & the_business_operator(R_98_18_THE_BUSINESS_OPERATOR)
                & publicly(R_98_32_PUBLICLY)
                & or(R_98_31_OR)
                & conj1(R_98_31_OR,R_98_22_NOTIFY)
                & notify(R_98_22_NOTIFY,R_98_18_THE_BUSINESS_OPERATOR,R_98_23_THE_PERSON)
                & of_clr69(R_98_22_NOTIFY,R_98_26_THE_PURPOSE)
                & the_Purpose(R_98_26_THE_PURPOSE)
                & attrib72(R_98_26_THE_PURPOSE,R_98_27_CHANGED)
                & of(R_98_26_THE_PURPOSE,R_98_30_UTILIZATION)
                & conj2(R_98_31_OR,R_98_33_ANNOUNCE)
                & announce(R_98_33_ANNOUNCE,R_98_18_THE_BUSINESS_OPERATOR,R_98_10_INFORMATION)
                & nim87(R_98_33_ANNOUNCE,R_98_32_PUBLICLY) ) )
      & handling(R_98_8_HANDLING,R_98_5_A_BUSINESS_OPERATOR,R_98_10_INFORMATION)
      & information(R_98_10_INFORMATION)
      & attrib24(R_98_10_INFORMATION,R_98_9_PERSONAL) ) ).

( (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))