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.

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

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,inv_arg0).
arc(r_0098_0008__handling,r_0098_0010__information,arg1).
arc(r_0098_0010__information,r_0098_0009__personal,attrib).
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_0025__of,r_0098_0005__a_r_0098_0006__business_r_0098_0007__operator,arg0).
arc(r_0098_0022__notify_r_0098_0025__of,r_0098_0023__the_r_0098_0024__person,arg1).
arc(r_0098_0022__notify_r_0098_0025__of,r_0098_0026__the_r_0098_0028__Purpose,arg2).
arc(r_0098_0026__the_r_0098_0028__Purpose,r_0098_0027__changed,attrib).
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_r_0098_0025__of,conj1).
arc(r_0098_0031__or,r_0098_0033__announce,conj2).
arc(r_0098_0033__announce,r_0098_0005__a_r_0098_0006__business_r_0098_0007__operator,arg0).
arc(r_0098_0033__announce,r_0098_0032__publicly,nim).
arc(r_0098_0033__announce,r_0098_0034__it,arg1).

fof(formula,axiom,
    ! [R_0098_0011__HAS_R_0098_0012__CHANGED,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_0016__UTILIZATION,R_0098_0013__THE_R_0098_0014__PURPOSE] :
      ( ( r_0098_0009__personal(R_0098_0009__PERSONAL)
        & 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_0005__a_r_0098_0006__business_r_0098_0007__operator(R_0098_0005__A_R_0098_0006__BUSINESS_R_0098_0007__OPERATOR)
        & has_inv_arg0(R_0098_0005__A_R_0098_0006__BUSINESS_R_0098_0007__OPERATOR,R_0098_0008__HANDLING)
        & 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_attrib(R_0098_0010__INFORMATION,R_0098_0009__PERSONAL) )
     => ? [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_0025__OF,R_0098_0032__PUBLICLY,R_0098_0034__IT,R_0098_0033__ANNOUNCE,R_0098_0031__OR,R_0098_0021__SHALL] :
          ( 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_0034__it(R_0098_0034__IT)
          & 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_arg1(R_0098_0033__ANNOUNCE,R_0098_0034__IT)
          & has_nim(R_0098_0033__ANNOUNCE,R_0098_0032__PUBLICLY)
          & has_arg0(R_0098_0033__ANNOUNCE,R_0098_0005__A_R_0098_0006__BUSINESS_R_0098_0007__OPERATOR)
          & has_conj1(R_0098_0031__OR,R_0098_0022__NOTIFY_R_0098_0025__OF)
          & ~ ( has_arg2(R_0098_0022__NOTIFY_R_0098_0025__OF,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_attrib(R_0098_0026__THE_R_0098_0028__PURPOSE,R_0098_0027__CHANGED)
              & has_arg1(R_0098_0022__NOTIFY_R_0098_0025__OF,R_0098_0023__THE_R_0098_0024__PERSON)
              & has_arg0(R_0098_0022__NOTIFY_R_0098_0025__OF,R_0098_0005__A_R_0098_0006__BUSINESS_R_0098_0007__OPERATOR) ) ) ) ).