TSPC 162_a_law

162_a_law_h15a119
However, this provision shall not apply to cases in which it costs large amount or otherwise difficult to discontinue using or to erase the retained personal data and in which the business operator takes necessary alternative measures to protect the rights and interests of the person.

( (IP-MAT (ADVP-NIM (ADV However;{however}))
          (PUNC ,)
          (NP-SBJ;{PROVISION} (D this;{this})
                              (N provision;{provision}))
          (MD;_cat_Vi_ shall;{shall})
          (NEG not;{not})
          (IP-INF-CAT (VB;_Ipr_ apply;{apply[to]})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (NS cases;{case})
                                  (IP-REL (ILYR (ILYR (PP-NIM (P-ROLE in;{in})
                                                              (NP (RPRO which;{which})))
                                                      (ILYR (ILYR (NP-SBJ;{PROVISION} (PRO it;{it}))
                                                                  (VBP;__ costs;{cost})
                                                                  (NP-OB1 (ADJP (ADJ large;{large}))
                                                                          (N amount;{amount})))
                                                            (CONJP (CONJ or;{or})
                                                                   (ILYR (ADVP-NIM (ADV otherwise;{otherwise}))
                                                                         (NP-SBJ (PRO;_provisional_ _*_))
                                                                         (ADJP-PRD (ADJ difficult;{difficult}))
                                                                         (IP-INF-NSBJ (ILYR (ILYR (TO to;{to})
                                                                                                  (VB;_cat_Vg_ discontinue;{discontinue})
                                                                                                  (IP-PPL-OB1 (VAG;_Tn_ using;{use})))
                                                                                            (CONJP (CONJ or;{or})
                                                                                                   (ILYR (TO to;{to})
                                                                                                         (VB;_Tn_ erase;{erase}))))
                                                                                      (NP-OB1 (D the;{the})
                                                                                              (ADJP (ADJ retained;{retained}))
                                                                                              (ADJP (ADJ personal;{personal}))
                                                                                              (NS data;{data})))))))
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (PP-NIM (P-ROLE in;{in})
                                                                     (NP (RPRO which;{which})))
                                                             (NP-SBJ (D the;{the})
                                                                     (N business;{business})
                                                                     (N operator;{operator}))
                                                             (VBP;__ takes;{take})
                                                             (NP-OB1 (ADJP (ADJ necessary;{necessary}))
                                                                     (NLYR (ADJP (ADJ alternative;{alternative}))
                                                                           (NS measures;{measure})))
                                                             (PP-SCON (IP-INF2 (TO to;{to})
                                                                               (VB;__ protect;{protect})
                                                                               (NP-OB1 (D the;{the})
                                                                                       (NLYR (NLYR (NS rights;{right}))
                                                                                             (CONJP (CONJ and;{and})
                                                                                                    (NLYR (NS interests;{interest}))))
                                                                                       (PP (P-ROLE of;{of})
                                                                                           (NP (D the;{the})
                                                                                               (N person;{person})))))))))))))
          (PUNC .))
  (ID 162_a_law_h15a119;130_4_27_1))

arc(r_0162_0005__shall,r_0162_0001__However,nim).
arc(r_0162_0005__shall,r_0162_0007__apply_r_0162_0008__to,scope).
arc(r_0162_0006__not,r_0162_0005__shall,keep_scope).
arc(r_0162_0007__apply_r_0162_0008__to,r_0162_0003__this_r_0162_0004__provision,arg0).
arc(r_0162_0007__apply_r_0162_0008__to,r_0162_0009__cases,arg1).
arc(r_0162_0013__costs,r_0162_0003__this_r_0162_0004__provision,arg0).
arc(r_0162_0013__costs,r_0162_0009__cases,r_0162_0010__in__nim).
arc(r_0162_0013__costs,r_0162_0015__amount,arg1).
arc(r_0162_0015__amount,r_0162_0014__large,attrib).
arc(r_0162_0016__or,r_0162_0013__costs,conj1).
arc(r_0162_0016__or,z_0162_5021,conj2).
arc(r_0162_0020__discontinue,r_0162_0021__using,arg1).
arc(r_0162_0020__discontinue,z_0162_5010,arg0).
arc(r_0162_0021__using,r_0162_0025__the_r_0162_0028__data,arg0).
arc(r_0162_0022__or,r_0162_0020__discontinue,conj1).
arc(r_0162_0022__or,r_0162_0024__erase,conj2).
arc(r_0162_0024__erase,r_0162_0025__the_r_0162_0028__data,arg1).
arc(r_0162_0024__erase,z_0162_5010,arg0).
arc(r_0162_0025__the_r_0162_0028__data,r_0162_0026__retained,attrib).
arc(r_0162_0025__the_r_0162_0028__data,r_0162_0027__personal,attrib).
arc(r_0162_0029__and,r_0162_0016__or,conj1).
arc(r_0162_0029__and,z_0162_5030,conj2).
arc(r_0162_0035__takes,r_0162_0009__cases,r_0162_0030__in__nim).
arc(r_0162_0035__takes,r_0162_0032__the_r_0162_0033__business_r_0162_0034__operator,arg0).
arc(r_0162_0035__takes,z_0162_5029,arg1).
arc(r_0162_0038__measures,r_0162_0037__alternative,attrib).
arc(r_0162_0040__protect,r_0162_0032__the_r_0162_0033__business_r_0162_0034__operator,arg0).
arc(r_0162_0040__protect,r_0162_0041__the_r_0162_0042__rights_r_0162_0043__and_r_0162_0044__interests,arg1).
arc(r_0162_0041__the_r_0162_0042__rights_r_0162_0043__and_r_0162_0044__interests,r_0162_0046__the_r_0162_0047__person,r_0162_0045__of).
arc(z_0162_5021,r_0162_0009__cases,r_0162_0010__in__nim).
arc(z_0162_5021,r_0162_0017__otherwise,nim).
arc(z_0162_5021,r_0162_0018__difficult,prd).
arc(z_0162_5021,r_0162_0022__or,arg0).
arc(z_0162_5029,r_0162_0036__necessary,attrib).
arc(z_0162_5029,r_0162_0038__measures,nim).
arc(z_0162_5030,r_0162_0035__takes,scope).
arc(z_0162_5030,r_0162_0040__protect,restriction).

fof(formula,axiom,
    ? [R_0162_0003__THIS_R_0162_0004__PROVISION,R_0162_0009__CASES,R_0162_0014__LARGE,R_0162_0015__AMOUNT,R_0162_0013__COSTS,R_0162_0017__OTHERWISE,R_0162_0018__DIFFICULT,R_0162_0026__RETAINED,R_0162_0027__PERSONAL,R_0162_0025__THE_R_0162_0028__DATA,R_0162_0021__USING,Z_0162_5010,R_0162_0020__DISCONTINUE,R_0162_0024__ERASE,R_0162_0022__OR,Z_0162_5021,R_0162_0016__OR,R_0162_0032__THE_R_0162_0033__BUSINESS_R_0162_0034__OPERATOR,R_0162_0036__NECESSARY,R_0162_0037__ALTERNATIVE,R_0162_0038__MEASURES,Z_0162_5029,R_0162_0035__TAKES,R_0162_0046__THE_R_0162_0047__PERSON,R_0162_0041__THE_R_0162_0042__RIGHTS_R_0162_0043__AND_R_0162_0044__INTERESTS,R_0162_0040__PROTECT,Z_0162_5030,R_0162_0029__AND] :
      ( r_0162_0003__this_r_0162_0004__provision(R_0162_0003__THIS_R_0162_0004__PROVISION)
      & r_0162_0009__cases(R_0162_0009__CASES)
      & r_0162_0014__large(R_0162_0014__LARGE)
      & r_0162_0017__otherwise(R_0162_0017__OTHERWISE)
      & r_0162_0018__difficult(R_0162_0018__DIFFICULT)
      & r_0162_0026__retained(R_0162_0026__RETAINED)
      & r_0162_0027__personal(R_0162_0027__PERSONAL)
      & r_0162_0032__the_r_0162_0033__business_r_0162_0034__operator(R_0162_0032__THE_R_0162_0033__BUSINESS_R_0162_0034__OPERATOR)
      & r_0162_0036__necessary(R_0162_0036__NECESSARY)
      & r_0162_0037__alternative(R_0162_0037__ALTERNATIVE)
      & r_0162_0046__the_r_0162_0047__person(R_0162_0046__THE_R_0162_0047__PERSON)
      & z_0162_5010(Z_0162_5010)
      & r_0162_0029__and(R_0162_0029__AND)
      & has_conj2(R_0162_0029__AND,Z_0162_5030)
      & z_0162_5030(Z_0162_5030)
      & has_conj1(Z_0162_5030,R_0162_0040__PROTECT)
      & r_0162_0040__protect(R_0162_0040__PROTECT)
      & has_arg1(R_0162_0040__PROTECT,R_0162_0041__THE_R_0162_0042__RIGHTS_R_0162_0043__AND_R_0162_0044__INTERESTS)
      & r_0162_0041__the_r_0162_0042__rights_r_0162_0043__and_r_0162_0044__interests(R_0162_0041__THE_R_0162_0042__RIGHTS_R_0162_0043__AND_R_0162_0044__INTERESTS)
      & has_r_0162_0045__of(R_0162_0041__THE_R_0162_0042__RIGHTS_R_0162_0043__AND_R_0162_0044__INTERESTS,R_0162_0046__THE_R_0162_0047__PERSON)
      & has_arg0(R_0162_0040__PROTECT,R_0162_0032__THE_R_0162_0033__BUSINESS_R_0162_0034__OPERATOR)
      & has_conj2(Z_0162_5030,R_0162_0035__TAKES)
      & r_0162_0035__takes(R_0162_0035__TAKES)
      & has_arg1(R_0162_0035__TAKES,Z_0162_5029)
      & z_0162_5029(Z_0162_5029)
      & has_nim(Z_0162_5029,R_0162_0038__MEASURES)
      & r_0162_0038__measures(R_0162_0038__MEASURES)
      & has_attrib(R_0162_0038__MEASURES,R_0162_0037__ALTERNATIVE)
      & has_attrib(Z_0162_5029,R_0162_0036__NECESSARY)
      & has_arg0(R_0162_0035__TAKES,R_0162_0032__THE_R_0162_0033__BUSINESS_R_0162_0034__OPERATOR)
      & has_r_0162_0030__in__nim(R_0162_0035__TAKES,R_0162_0009__CASES)
      & has_conj1(R_0162_0029__AND,R_0162_0016__OR)
      & r_0162_0016__or(R_0162_0016__OR)
      & has_conj2(R_0162_0016__OR,Z_0162_5021)
      & z_0162_5021(Z_0162_5021)
      & has_arg0(Z_0162_5021,R_0162_0022__OR)
      & r_0162_0022__or(R_0162_0022__OR)
      & has_conj2(R_0162_0022__OR,R_0162_0024__ERASE)
      & r_0162_0024__erase(R_0162_0024__ERASE)
      & has_arg0(R_0162_0024__ERASE,Z_0162_5010)
      & has_arg1(R_0162_0024__ERASE,R_0162_0025__THE_R_0162_0028__DATA)
      & r_0162_0025__the_r_0162_0028__data(R_0162_0025__THE_R_0162_0028__DATA)
      & has_attrib(R_0162_0025__THE_R_0162_0028__DATA,R_0162_0027__PERSONAL)
      & has_attrib(R_0162_0025__THE_R_0162_0028__DATA,R_0162_0026__RETAINED)
      & has_conj1(R_0162_0022__OR,R_0162_0020__DISCONTINUE)
      & r_0162_0020__discontinue(R_0162_0020__DISCONTINUE)
      & has_arg0(R_0162_0020__DISCONTINUE,Z_0162_5010)
      & has_arg1(R_0162_0020__DISCONTINUE,R_0162_0021__USING)
      & r_0162_0021__using(R_0162_0021__USING)
      & has_arg0(R_0162_0021__USING,R_0162_0025__THE_R_0162_0028__DATA)
      & has_prd(Z_0162_5021,R_0162_0018__DIFFICULT)
      & has_nim(Z_0162_5021,R_0162_0017__OTHERWISE)
      & has_r_0162_0010__in__nim(Z_0162_5021,R_0162_0009__CASES)
      & has_conj1(R_0162_0016__OR,R_0162_0013__COSTS)
      & r_0162_0013__costs(R_0162_0013__COSTS)
      & has_arg1(R_0162_0013__COSTS,R_0162_0015__AMOUNT)
      & r_0162_0015__amount(R_0162_0015__AMOUNT)
      & has_attrib(R_0162_0015__AMOUNT,R_0162_0014__LARGE)
      & has_r_0162_0010__in__nim(R_0162_0013__COSTS,R_0162_0009__CASES)
      & has_arg0(R_0162_0013__COSTS,R_0162_0003__THIS_R_0162_0004__PROVISION)
      & ~ ? [R_0162_0001__HOWEVER,R_0162_0005__SHALL_R_0162_0007__APPLY_R_0162_0008__TO] :
            ( r_0162_0001__However(R_0162_0001__HOWEVER)
            & r_0162_0005__shall_r_0162_0007__apply_r_0162_0008__to(R_0162_0005__SHALL_R_0162_0007__APPLY_R_0162_0008__TO)
            & has_arg1(R_0162_0005__SHALL_R_0162_0007__APPLY_R_0162_0008__TO,R_0162_0009__CASES)
            & has_arg0(R_0162_0005__SHALL_R_0162_0007__APPLY_R_0162_0008__TO,R_0162_0003__THIS_R_0162_0004__PROVISION)
            & has_nim(R_0162_0005__SHALL_R_0162_0007__APPLY_R_0162_0008__TO,R_0162_0001__HOWEVER) ) ) ).