TSPC 138_a_law

138_a_law_h15a119
(ii) The Purpose of Utilization of all retained personal data (except in cases falling under any of items (i) to (iii) of paragraph (4) of Article 18)

( (FRAG (LST (PULB -LRB-)
             (LS ii)
             (PURB -RRB-))
        (NP (D The;{the})
            (N Purpose;{purpose})
            (PP (P-ROLE of;{of})
                (NP (N Utilization;{utilization})
                    (PP (P-ROLE of;{of})
                        (NP (Q all;{all})
                            (ADJP (ADJ retained;{retained}))
                            (ADJP (ADJ personal;{personal}))
                            (NS data;{data})))))
            (PULB -LRB-)
            (PRN (PP (P-ROLE except;{except})
                     (P-ROLE in;{in})
                     (NP (NS cases;{case})
                         (IP-PPL (VAG;_Ipr_ falling;{fall[under]})
                                 (PP-CLR (P-ROLE under;{under})
                                         (NP (D;_nphd_ any;{any})
                                             (PP (P-ROLE of;{of})
                                                 (NP (NS items;{item})
                                                     (PULB -LRB-)
                                                     (N i;{I})
                                                     (PURB -RRB-)
                                                     (PP (P-ROLE to;{to})
                                                         (NP (PULB -LRB-)
                                                             (N iii;{iii})
                                                             (PURB -RRB-)))
                                                     (PP (P-ROLE of;{of})
                                                         (NP (N paragraph;{paragraph})
                                                             (PULB -LRB-)
                                                             (NUM 4)
                                                             (PURB -RRB-)
                                                             (PP (P-ROLE of;{of})
                                                                 (NP (N Article;{article})
                                                                     (NUM 18)))))))))))))
            (PURB -RRB-)))
  (ID 138_a_law_h15a119;112_4_24_1ii))

arc(r_0138_0004__The_r_0138_0005__Purpose,r_0138_0007__Utilization,r_0138_0006__of).
arc(r_0138_0004__The_r_0138_0005__Purpose,r_0138_0016__cases,prnr_0138_0014__except_r_0138_0015__in).
arc(r_0138_0007__Utilization,r_0138_0012__data,r_0138_0008__of).
arc(r_0138_0009__all__quant,r_0138_0007__Utilization,scope).
arc(r_0138_0009__all__quant,r_0138_0012__data,restriction).
arc(r_0138_0012__data,r_0138_0010__retained,attrib).
arc(r_0138_0012__data,r_0138_0011__personal,attrib).
arc(r_0138_0017__falling_r_0138_0018__under,r_0138_0016__cases,inv_arg0).
arc(r_0138_0017__falling_r_0138_0018__under,r_0138_0019__any,arg1).
arc(r_0138_0019__any,r_0138_0021__items_r_0138_0023__i,r_0138_0020__of).
arc(r_0138_0021__items_r_0138_0023__i,r_0138_0027__iii,r_0138_0025__to).
arc(r_0138_0021__items_r_0138_0023__i,r_0138_0030__paragraph_r_0138_0032__4,r_0138_0029__of).
arc(r_0138_0030__paragraph_r_0138_0032__4,r_0138_0035__Article_r_0138_0036__18,r_0138_0034__of).
arc(z_0138_5015,r_0138_0004__The_r_0138_0005__Purpose,z_0138_5002).

fof(formula,axiom,
    ! [R_0138_0012__DATA,R_0138_0010__RETAINED,R_0138_0011__PERSONAL] :
      ( ( r_0138_0010__retained(R_0138_0010__RETAINED)
        & r_0138_0011__personal(R_0138_0011__PERSONAL)
        & r_0138_0012__data(R_0138_0012__DATA)
        & has_attrib(R_0138_0012__DATA,R_0138_0011__PERSONAL)
        & has_attrib(R_0138_0012__DATA,R_0138_0010__RETAINED) )
     => ? [R_0138_0007__UTILIZATION,R_0138_0027__III,R_0138_0035__ARTICLE_R_0138_0036__18,R_0138_0030__PARAGRAPH_R_0138_0032__4,R_0138_0021__ITEMS_R_0138_0023__I,R_0138_0019__ANY,R_0138_0017__FALLING_R_0138_0018__UNDER,R_0138_0016__CASES,R_0138_0004__THE_R_0138_0005__PURPOSE,Z_0138_5015] :
          ( r_0138_0027__iii(R_0138_0027__III)
          & r_0138_0035__Article_r_0138_0036__18(R_0138_0035__ARTICLE_R_0138_0036__18)
          & z_0138_5015(Z_0138_5015)
          & has_z_0138_5002(Z_0138_5015,R_0138_0004__THE_R_0138_0005__PURPOSE)
          & r_0138_0004__The_r_0138_0005__Purpose(R_0138_0004__THE_R_0138_0005__PURPOSE)
          & has_prnr_0138_0014__except_r_0138_0015__in(R_0138_0004__THE_R_0138_0005__PURPOSE,R_0138_0016__CASES)
          & r_0138_0016__cases(R_0138_0016__CASES)
          & has_inv_arg0(R_0138_0016__CASES,R_0138_0017__FALLING_R_0138_0018__UNDER)
          & r_0138_0017__falling_r_0138_0018__under(R_0138_0017__FALLING_R_0138_0018__UNDER)
          & has_arg1(R_0138_0017__FALLING_R_0138_0018__UNDER,R_0138_0019__ANY)
          & r_0138_0019__any(R_0138_0019__ANY)
          & has_r_0138_0020__of(R_0138_0019__ANY,R_0138_0021__ITEMS_R_0138_0023__I)
          & r_0138_0021__items_r_0138_0023__i(R_0138_0021__ITEMS_R_0138_0023__I)
          & has_r_0138_0029__of(R_0138_0021__ITEMS_R_0138_0023__I,R_0138_0030__PARAGRAPH_R_0138_0032__4)
          & r_0138_0030__paragraph_r_0138_0032__4(R_0138_0030__PARAGRAPH_R_0138_0032__4)
          & has_r_0138_0034__of(R_0138_0030__PARAGRAPH_R_0138_0032__4,R_0138_0035__ARTICLE_R_0138_0036__18)
          & has_r_0138_0025__to(R_0138_0021__ITEMS_R_0138_0023__I,R_0138_0027__III)
          & has_r_0138_0006__of(R_0138_0004__THE_R_0138_0005__PURPOSE,R_0138_0007__UTILIZATION)
          & r_0138_0007__Utilization(R_0138_0007__UTILIZATION)
          & has_r_0138_0008__of(R_0138_0007__UTILIZATION,R_0138_0012__DATA) ) ) ).