TSPC 145_a_law

145_a_law_h15a119
(3) When a business operator handling personal information has decided not to notify the Purpose of Utilization of such retained personal data as is requested under the preceding paragraph, the business operator shall notify the person of that effect without delay.

( (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;__ decided;{decide})
                                       (IP-INF-OB1 (ILYR (NEG not;{not})
                                                         (TO to;{to})
                                                         (VB;_Tn_ notify;{notify})
                                                         (NP-OB1 (D the;{the})
                                                                 (N Purpose;{purpose})
                                                                 (PP (P-ROLE of;{of})
                                                                     (NP (N Utilization;{utilization})
                                                                         (PP (P-ROLE of;{of})
                                                                             (NP (ADJP (ADJ;_such_ such;{such}))
                                                                                 (ADJP (ADJ retained;{retained}))
                                                                                 (ADJP (ADJ personal;{personal}))
                                                                                 (NS data;{data})))))))
                                                   (IP-CAR (NP-SBJ (RPRO as;{as}))
                                                           (BEP;_cat_VePASS_ is;{be})
                                                           (IP-PPL-CAT (NP-LGS *)
                                                                       (VVN;_Tn_ requested;{request})
                                                                       (PP-NIM (P-ROLE under;{under})
                                                                               (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 (VB;_Tn_ notify;{notify})
                      (NP-OB1 (D the;{the})
                              (N person;{person})
                              (PP (P-ROLE of;{of})
                                  (NP (D that;{that})
                                      (N effect;{effect}))))
                      (PP-NIM (P-ROLE without;{without})
                              (NP (N delay;{delay}))))
          (PUNC .))
  (ID 145_a_law_h15a119;118_4_24_3))

arc(r_0145_0004__When,r_0145_0011__has,restriction).
arc(r_0145_0004__When,r_0145_0036__shall,scope).
arc(r_0145_0008__handling,r_0145_0005__a_r_0145_0006__business_r_0145_0007__operator,inv_arg0).
arc(r_0145_0008__handling,r_0145_0010__information,arg1).
arc(r_0145_0010__information,r_0145_0009__personal,attrib).
arc(r_0145_0011__has,r_0145_0012__decided,scope).
arc(r_0145_0012__decided,r_0145_0005__a_r_0145_0006__business_r_0145_0007__operator,arg0).
arc(r_0145_0012__decided,r_0145_0013__not,arg1).
arc(r_0145_0013__not,r_0145_0015__notify,keep_scope).
arc(r_0145_0015__notify,r_0145_0005__a_r_0145_0006__business_r_0145_0007__operator,arg0).
arc(r_0145_0015__notify,r_0145_0016__the_r_0145_0017__Purpose,arg1).
arc(r_0145_0015__notify,z_0145_5015,nim).
arc(r_0145_0016__the_r_0145_0017__Purpose,r_0145_0019__Utilization,r_0145_0018__of).
arc(r_0145_0019__Utilization,r_0145_0024__data,r_0145_0020__of).
arc(r_0145_0024__data,r_0145_0021__such,attrib).
arc(r_0145_0024__data,r_0145_0022__retained,attrib).
arc(r_0145_0024__data,r_0145_0023__personal,attrib).
arc(r_0145_0026__is,r_0145_0027__requested,scope).
arc(r_0145_0027__requested,r_0145_0029__the_r_0145_0031__paragraph,r_0145_0028__under__nim).
arc(r_0145_0027__requested,z_0145_5012___star_,arg0).
arc(r_0145_0027__requested,z_0145_5015,arg1).
arc(r_0145_0029__the_r_0145_0031__paragraph,r_0145_0030__preceding,attrib).
arc(r_0145_0036__shall,r_0145_0037__notify,scope).
arc(r_0145_0037__notify,r_0145_0005__a_r_0145_0006__business_r_0145_0007__operator,arg0).
arc(r_0145_0037__notify,r_0145_0038__the_r_0145_0039__person,arg1).
arc(r_0145_0037__notify,r_0145_0044__delay,r_0145_0043__without__nim).
arc(r_0145_0038__the_r_0145_0039__person,r_0145_0041__that_r_0145_0042__effect,r_0145_0040__of).

fof(formula,axiom,
    ? [R_0145_0030__PRECEDING,R_0145_0029__THE_R_0145_0031__PARAGRAPH,Z_0145_5012___STAR_,Z_0145_5015,R_0145_0026__IS_R_0145_0027__REQUESTED] :
      ( r_0145_0030__preceding(R_0145_0030__PRECEDING)
      & z_0145_5012___star_(Z_0145_5012___STAR_)
      & z_0145_5015(Z_0145_5015)
      & r_0145_0026__is_r_0145_0027__requested(R_0145_0026__IS_R_0145_0027__REQUESTED)
      & has_arg1(R_0145_0026__IS_R_0145_0027__REQUESTED,Z_0145_5015)
      & has_arg0(R_0145_0026__IS_R_0145_0027__REQUESTED,Z_0145_5012___STAR_)
      & has_r_0145_0028__under__nim(R_0145_0026__IS_R_0145_0027__REQUESTED,R_0145_0029__THE_R_0145_0031__PARAGRAPH)
      & r_0145_0029__the_r_0145_0031__paragraph(R_0145_0029__THE_R_0145_0031__PARAGRAPH)
      & has_attrib(R_0145_0029__THE_R_0145_0031__PARAGRAPH,R_0145_0030__PRECEDING)
      & ! [R_0145_0011__HAS_R_0145_0012__DECIDED,R_0145_0009__PERSONAL,R_0145_0010__INFORMATION,R_0145_0008__HANDLING,R_0145_0005__A_R_0145_0006__BUSINESS_R_0145_0007__OPERATOR] :
          ( ( r_0145_0009__personal(R_0145_0009__PERSONAL)
            & r_0145_0011__has_r_0145_0012__decided(R_0145_0011__HAS_R_0145_0012__DECIDED)
            & has_arg1(R_0145_0011__HAS_R_0145_0012__DECIDED,R_0145_0013__NOT)
            & ~ ? [R_0145_0021__SUCH,R_0145_0022__RETAINED,R_0145_0023__PERSONAL,R_0145_0024__DATA,R_0145_0019__UTILIZATION,R_0145_0016__THE_R_0145_0017__PURPOSE,R_0145_0015__NOTIFY] :
                  ( r_0145_0021__such(R_0145_0021__SUCH)
                  & r_0145_0022__retained(R_0145_0022__RETAINED)
                  & r_0145_0023__personal(R_0145_0023__PERSONAL)
                  & ~ ( has_nim(R_0145_0015__NOTIFY,Z_0145_5015)
                      & has_arg1(R_0145_0015__NOTIFY,R_0145_0016__THE_R_0145_0017__PURPOSE)
                      & r_0145_0016__the_r_0145_0017__Purpose(R_0145_0016__THE_R_0145_0017__PURPOSE)
                      & has_r_0145_0018__of(R_0145_0016__THE_R_0145_0017__PURPOSE,R_0145_0019__UTILIZATION)
                      & r_0145_0019__Utilization(R_0145_0019__UTILIZATION)
                      & has_r_0145_0020__of(R_0145_0019__UTILIZATION,R_0145_0024__DATA)
                      & r_0145_0024__data(R_0145_0024__DATA)
                      & has_attrib(R_0145_0024__DATA,R_0145_0023__PERSONAL)
                      & has_attrib(R_0145_0024__DATA,R_0145_0022__RETAINED)
                      & has_attrib(R_0145_0024__DATA,R_0145_0021__SUCH)
                      & has_arg0(R_0145_0015__NOTIFY,R_0145_0005__A_R_0145_0006__BUSINESS_R_0145_0007__OPERATOR) ) )
            & has_arg0(R_0145_0011__HAS_R_0145_0012__DECIDED,R_0145_0005__A_R_0145_0006__BUSINESS_R_0145_0007__OPERATOR)
            & r_0145_0005__a_r_0145_0006__business_r_0145_0007__operator(R_0145_0005__A_R_0145_0006__BUSINESS_R_0145_0007__OPERATOR)
            & has_inv_arg0(R_0145_0005__A_R_0145_0006__BUSINESS_R_0145_0007__OPERATOR,R_0145_0008__HANDLING)
            & r_0145_0008__handling(R_0145_0008__HANDLING)
            & has_arg1(R_0145_0008__HANDLING,R_0145_0010__INFORMATION)
            & r_0145_0010__information(R_0145_0010__INFORMATION)
            & has_attrib(R_0145_0010__INFORMATION,R_0145_0009__PERSONAL) )
         => ? [R_0145_0041__THAT_R_0145_0042__EFFECT,R_0145_0038__THE_R_0145_0039__PERSON,R_0145_0044__DELAY,R_0145_0036__SHALL_R_0145_0037__NOTIFY] :
              ( r_0145_0041__that_r_0145_0042__effect(R_0145_0041__THAT_R_0145_0042__EFFECT)
              & r_0145_0044__delay(R_0145_0044__DELAY)
              & ~ ( has_r_0145_0043__without__nim(R_0145_0036__SHALL_R_0145_0037__NOTIFY,R_0145_0044__DELAY)
                  & has_arg1(R_0145_0036__SHALL_R_0145_0037__NOTIFY,R_0145_0038__THE_R_0145_0039__PERSON)
                  & r_0145_0038__the_r_0145_0039__person(R_0145_0038__THE_R_0145_0039__PERSON)
                  & has_r_0145_0040__of(R_0145_0038__THE_R_0145_0039__PERSON,R_0145_0041__THAT_R_0145_0042__EFFECT)
                  & has_arg0(R_0145_0036__SHALL_R_0145_0037__NOTIFY,R_0145_0005__A_R_0145_0006__BUSINESS_R_0145_0007__OPERATOR) ) ) ) ) ).