TSPC 130_a_law

130_a_law_h15a119
(i) Cases in which a business operator handling personal information entrust the handling of personal data in whole or in part within the scope necessary for the achievement of the Purpose of Utilization

( (FRAG (LST (PULB -LRB-)
             (LS i)
             (PURB -RRB-))
        (NP (NS Cases;{case})
            (IP-REL (PP-NIM (P-ROLE in;{in})
                            (NP (RPRO which;{which})))
                    (NP-SBJ (D a;{a})
                            (N business;{business})
                            (N operator;{operator})
                            (IP-PPL (VAG;_Tn_ handling;{handle})
                                    (NP-OB1 (ADJP (ADJ personal;{personal}))
                                            (N information;{information}))))
                    (VBP;__ entrust;{entrust})
                    (NP-OB1 (D the;{the})
                            (N handling;{handling})
                            (PP (P-ROLE of;{of})
                                (NP (ADJP (ADJ personal;{personal}))
                                    (NS data;{data})
                                    (PP (PP (P-ROLE in;{in})
                                            (NP (N whole;{whole})))
                                        (CONJP (CONJ or;{or})
                                               (PP (P-ROLE in;{in})
                                                   (NP (N part;{part}))))))))
                    (PP-NIM (P-ROLE within;{within})
                            (NP (D the;{the})
                                (N scope;{scope})
                                (ADJP (ADJ necessary;{necessary})
                                      (PP (P-ROLE for;{for})
                                          (NP (D the;{the})
                                              (N achievement;{achievement})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D the;{the})
                                                      (N Purpose;{purpose})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (N Utilization;{utilization})))))))))))))
  (ID 130_a_law_h15a119;105_4_23_4i))

arc(r_0130_0010__handling,r_0130_0007__a_r_0130_0008__business_r_0130_0009__operator,inv_arg0).
arc(r_0130_0010__handling,r_0130_0012__information,arg1).
arc(r_0130_0012__information,r_0130_0011__personal,attrib).
arc(r_0130_0013__entrust,r_0130_0004__Cases,r_0130_0005__in__nim).
arc(r_0130_0013__entrust,r_0130_0007__a_r_0130_0008__business_r_0130_0009__operator,arg0).
arc(r_0130_0013__entrust,r_0130_0014__the_r_0130_0015__handling,arg1).
arc(r_0130_0013__entrust,r_0130_0025__the_r_0130_0026__scope,r_0130_0024__within__nim).
arc(r_0130_0014__the_r_0130_0015__handling,r_0130_0018__data,r_0130_0016__of).
arc(r_0130_0018__data,r_0130_0017__personal,attrib).
arc(r_0130_0018__data,r_0130_0021__or,z_0130_5012).
arc(r_0130_0021__or,r_0130_0020__whole,r_0130_0019__in).
arc(r_0130_0021__or,r_0130_0023__part,r_0130_0022__in).
arc(r_0130_0025__the_r_0130_0026__scope,r_0130_0027__necessary,attrib).
arc(r_0130_0027__necessary,r_0130_0029__the_r_0130_0030__achievement,r_0130_0028__for).
arc(r_0130_0029__the_r_0130_0030__achievement,r_0130_0032__the_r_0130_0033__Purpose,r_0130_0031__of).
arc(r_0130_0032__the_r_0130_0033__Purpose,r_0130_0035__Utilization,r_0130_0034__of).
arc(z_0130_5022,r_0130_0004__Cases,z_0130_5002).

fof(formula,axiom,
    ? [R_0130_0004__CASES,R_0130_0011__PERSONAL,R_0130_0012__INFORMATION,R_0130_0010__HANDLING,R_0130_0007__A_R_0130_0008__BUSINESS_R_0130_0009__OPERATOR,R_0130_0017__PERSONAL,R_0130_0020__WHOLE,R_0130_0023__PART,R_0130_0021__OR,R_0130_0018__DATA,R_0130_0014__THE_R_0130_0015__HANDLING,R_0130_0035__UTILIZATION,R_0130_0032__THE_R_0130_0033__PURPOSE,R_0130_0029__THE_R_0130_0030__ACHIEVEMENT,R_0130_0027__NECESSARY,R_0130_0025__THE_R_0130_0026__SCOPE,R_0130_0013__ENTRUST,Z_0130_5022] :
      ( r_0130_0004__Cases(R_0130_0004__CASES)
      & r_0130_0011__personal(R_0130_0011__PERSONAL)
      & r_0130_0017__personal(R_0130_0017__PERSONAL)
      & r_0130_0020__whole(R_0130_0020__WHOLE)
      & r_0130_0023__part(R_0130_0023__PART)
      & r_0130_0035__Utilization(R_0130_0035__UTILIZATION)
      & z_0130_5022(Z_0130_5022)
      & has_z_0130_5002(Z_0130_5022,R_0130_0004__CASES)
      & r_0130_0013__entrust(R_0130_0013__ENTRUST)
      & has_r_0130_0024__within__nim(R_0130_0013__ENTRUST,R_0130_0025__THE_R_0130_0026__SCOPE)
      & r_0130_0025__the_r_0130_0026__scope(R_0130_0025__THE_R_0130_0026__SCOPE)
      & has_attrib(R_0130_0025__THE_R_0130_0026__SCOPE,R_0130_0027__NECESSARY)
      & r_0130_0027__necessary(R_0130_0027__NECESSARY)
      & has_r_0130_0028__for(R_0130_0027__NECESSARY,R_0130_0029__THE_R_0130_0030__ACHIEVEMENT)
      & r_0130_0029__the_r_0130_0030__achievement(R_0130_0029__THE_R_0130_0030__ACHIEVEMENT)
      & has_r_0130_0031__of(R_0130_0029__THE_R_0130_0030__ACHIEVEMENT,R_0130_0032__THE_R_0130_0033__PURPOSE)
      & r_0130_0032__the_r_0130_0033__Purpose(R_0130_0032__THE_R_0130_0033__PURPOSE)
      & has_r_0130_0034__of(R_0130_0032__THE_R_0130_0033__PURPOSE,R_0130_0035__UTILIZATION)
      & has_arg1(R_0130_0013__ENTRUST,R_0130_0014__THE_R_0130_0015__HANDLING)
      & r_0130_0014__the_r_0130_0015__handling(R_0130_0014__THE_R_0130_0015__HANDLING)
      & has_r_0130_0016__of(R_0130_0014__THE_R_0130_0015__HANDLING,R_0130_0018__DATA)
      & r_0130_0018__data(R_0130_0018__DATA)
      & has_z_0130_5012(R_0130_0018__DATA,R_0130_0021__OR)
      & r_0130_0021__or(R_0130_0021__OR)
      & has_r_0130_0022__in(R_0130_0021__OR,R_0130_0023__PART)
      & has_r_0130_0019__in(R_0130_0021__OR,R_0130_0020__WHOLE)
      & has_attrib(R_0130_0018__DATA,R_0130_0017__PERSONAL)
      & has_arg0(R_0130_0013__ENTRUST,R_0130_0007__A_R_0130_0008__BUSINESS_R_0130_0009__OPERATOR)
      & r_0130_0007__a_r_0130_0008__business_r_0130_0009__operator(R_0130_0007__A_R_0130_0008__BUSINESS_R_0130_0009__OPERATOR)
      & has_inv_arg0(R_0130_0007__A_R_0130_0008__BUSINESS_R_0130_0009__OPERATOR,R_0130_0010__HANDLING)
      & r_0130_0010__handling(R_0130_0010__HANDLING)
      & has_arg1(R_0130_0010__HANDLING,R_0130_0012__INFORMATION)
      & r_0130_0012__information(R_0130_0012__INFORMATION)
      & has_attrib(R_0130_0012__INFORMATION,R_0130_0011__PERSONAL)
      & has_r_0130_0005__in__nim(R_0130_0013__ENTRUST,R_0130_0004__CASES) ) ).