TSPC 140_a_law

140_a_law_h15a119
(iv) In addition to what is listed in the preceding three items, such matters, specified by a Cabinet Order, as being necessary for ensuring the proper handling of retained personal data

arc(r_0140_0005__addition, z_000_140_a_law_h15a119_18, r_0140_0006__to).
arc(r_0140_0008__is, r_0140_0009__listed, scope).
arc(r_0140_0009__listed, r_0140_0011__the_r_0140_0013__three_r_0140_0014__items, r_0140_0010__in_nim33).
arc(r_0140_0009__listed, z_000_140_a_law_h15a119_18, arg1).
arc(r_0140_0009__listed, z_000_140_a_law_h15a119_26, arg0).
arc(r_0140_0011__the_r_0140_0013__three_r_0140_0014__items, r_0140_0012__preceding, attrib36).
arc(r_0140_0017__matters, r_0140_0016__such, attrib46).
arc(r_0140_0019__specified, r_0140_0017__matters, arg1).
arc(r_0140_0019__specified, r_0140_0021__a_r_0140_0022__Cabinet_r_0140_0023__Order, arg0).
arc(r_0140_0019__specified, r_0140_0026__being, prd).
arc(r_0140_0026__being, r_0140_0027__necessary, prd).
arc(r_0140_0026__being, z_000_140_a_law_h15a119_71, arg0).
arc(r_0140_0027__necessary, r_0140_0029__ensuring, r_0140_0028__for).
arc(r_0140_0029__ensuring, r_0140_0030__the_r_0140_0032__handling, arg1).
arc(r_0140_0029__ensuring, z_000_140_a_law_h15a119_80, arg0).
arc(r_0140_0030__the_r_0140_0032__handling, r_0140_0031__proper, attrib86).
arc(r_0140_0030__the_r_0140_0032__handling, r_0140_0036__data, r_0140_0033__of).
arc(r_0140_0036__data, r_0140_0034__retained, attrib95).
arc(r_0140_0036__data, r_0140_0035__personal, attrib98).
arc(z_000_140_a_law_h15a119_1, r_0140_0005__addition, r_0140_0004__In_nim12).
arc(z_000_140_a_law_h15a119_1, r_0140_0017__matters, nim45).

fof(formula,axiom,
    ? [R_0140_0012__PRECEDING,R_0140_0011__THE_R_0140_0013__THREE_R_0140_0014__ITEMS,Z_000_140_A_LAW_H15A119_18,Z_000_140_A_LAW_H15A119_26,R_0140_0008__IS_R_0140_0009__LISTED,R_0140_0016__SUCH,R_0140_0017__MATTERS,R_0140_0021__A_R_0140_0022__CABINET_R_0140_0023__ORDER,R_0140_0031__PROPER,R_0140_0034__RETAINED,R_0140_0035__PERSONAL,R_0140_0036__DATA,R_0140_0030__THE_R_0140_0032__HANDLING,Z_000_140_A_LAW_H15A119_80,R_0140_0029__ENSURING,R_0140_0027__NECESSARY,Z_000_140_A_LAW_H15A119_71,R_0140_0026__BEING,R_0140_0019__SPECIFIED,R_0140_0005__ADDITION,Z_000_140_A_LAW_H15A119_1] :
      ( r_0140_0012__preceding(R_0140_0012__PRECEDING)
      & r_0140_0016__such(R_0140_0016__SUCH)
      & r_0140_0021__a_r_0140_0022__Cabinet_r_0140_0023__Order(R_0140_0021__A_R_0140_0022__CABINET_R_0140_0023__ORDER)
      & r_0140_0031__proper(R_0140_0031__PROPER)
      & r_0140_0034__retained(R_0140_0034__RETAINED)
      & r_0140_0035__personal(R_0140_0035__PERSONAL)
      & z_000_140_a_law_h15a119_18(Z_000_140_A_LAW_H15A119_18)
      & z_000_140_a_law_h15a119_26(Z_000_140_A_LAW_H15A119_26)
      & z_000_140_a_law_h15a119_71(Z_000_140_A_LAW_H15A119_71)
      & z_000_140_a_law_h15a119_80(Z_000_140_A_LAW_H15A119_80)
      & z_000_140_a_law_h15a119_1(Z_000_140_A_LAW_H15A119_1)
      & has_nim45(Z_000_140_A_LAW_H15A119_1,R_0140_0017__MATTERS)
      & r_0140_0017__matters(R_0140_0017__MATTERS)
      & has_attrib46(R_0140_0017__MATTERS,R_0140_0016__SUCH)
      & has_r_0140_0004__In_nim12(Z_000_140_A_LAW_H15A119_1,R_0140_0005__ADDITION)
      & r_0140_0005__addition(R_0140_0005__ADDITION)
      & has_r_0140_0006__to(R_0140_0005__ADDITION,Z_000_140_A_LAW_H15A119_18)
      & r_0140_0019__specified(R_0140_0019__SPECIFIED)
      & has_prd(R_0140_0019__SPECIFIED,R_0140_0026__BEING)
      & r_0140_0026__being(R_0140_0026__BEING)
      & has_arg0(R_0140_0026__BEING,Z_000_140_A_LAW_H15A119_71)
      & has_prd(R_0140_0026__BEING,R_0140_0027__NECESSARY)
      & r_0140_0027__necessary(R_0140_0027__NECESSARY)
      & has_r_0140_0028__for(R_0140_0027__NECESSARY,R_0140_0029__ENSURING)
      & r_0140_0029__ensuring(R_0140_0029__ENSURING)
      & has_arg0(R_0140_0029__ENSURING,Z_000_140_A_LAW_H15A119_80)
      & has_arg1(R_0140_0029__ENSURING,R_0140_0030__THE_R_0140_0032__HANDLING)
      & r_0140_0030__the_r_0140_0032__handling(R_0140_0030__THE_R_0140_0032__HANDLING)
      & has_r_0140_0033__of(R_0140_0030__THE_R_0140_0032__HANDLING,R_0140_0036__DATA)
      & r_0140_0036__data(R_0140_0036__DATA)
      & has_attrib98(R_0140_0036__DATA,R_0140_0035__PERSONAL)
      & has_attrib95(R_0140_0036__DATA,R_0140_0034__RETAINED)
      & has_attrib86(R_0140_0030__THE_R_0140_0032__HANDLING,R_0140_0031__PROPER)
      & has_arg0(R_0140_0019__SPECIFIED,R_0140_0021__A_R_0140_0022__CABINET_R_0140_0023__ORDER)
      & has_arg1(R_0140_0019__SPECIFIED,R_0140_0017__MATTERS)
      & r_0140_0008__is_r_0140_0009__listed(R_0140_0008__IS_R_0140_0009__LISTED)
      & has_arg0(R_0140_0008__IS_R_0140_0009__LISTED,Z_000_140_A_LAW_H15A119_26)
      & has_arg1(R_0140_0008__IS_R_0140_0009__LISTED,Z_000_140_A_LAW_H15A119_18)
      & has_r_0140_0010__in_nim33(R_0140_0008__IS_R_0140_0009__LISTED,R_0140_0011__THE_R_0140_0013__THREE_R_0140_0014__ITEMS)
      & r_0140_0011__the_r_0140_0013__three_r_0140_0014__items(R_0140_0011__THE_R_0140_0013__THREE_R_0140_0014__ITEMS)
      & has_attrib36(R_0140_0011__THE_R_0140_0013__THREE_R_0140_0014__ITEMS,R_0140_0012__PRECEDING) ) ).

( (FRAG (PULB -LRB-)
        (LST (LS iv))
        (PURB -RRB-)
        (PP-TPC-NIM (P-ROLE In;{in})
                    (NP (N addition;{addition})
                        (PP (P-ROLE to;{to})
                            (NP (IP-REL (NP-SBJ (RPRO what;{what}))
                                        (BEP;_cat_VePASS_ is;{be})
                                        (IP-PPL-CAT (NP-LGS *)
                                                    (VVN;_Tn.pr_ listed;{list})
                                                    (PP-NIM (P-ROLE in;{in})
                                                            (NP (D the;{the})
                                                                (ADJP (ADJ preceding;{preceding}))
                                                                (NUM three;{three})
                                                                (NS items;{item})))))))))
        (PUNC ,)
        (NP (ADJP (ADJ;_such_ such;{such}))
            (NS matters;{matter})
            (PUNC ,)
            (IP-PPL (VVN;__ specified;{specify})
                    (PP-LGS (P-ROLE;_lgs_ by;{by})
                            (NP (D a;{a})
                                (N Cabinet;{cabinet})
                                (N Order;{order})))
                    (PUNC ,)
                    (PP-PRD (P-ROLE as;{as})
                            (IP-PPL (BAG;_La_ being;{be})
                                    (ADJP-PRD (ADJ necessary;{necessary})
                                              (PP (P-ROLE for;{for})
                                                  (IP-PPL (VAG;_Tn_ ensuring;{ensure})
                                                          (NP-OB1 (D the;{the})
                                                                  (ADJP (ADJ proper;{proper}))
                                                                  (N handling;{handling})
                                                                  (PP (P-ROLE of;{of})
                                                                      (NP (ADJP (ADJ retained;{retained}))
                                                                          (ADJP (ADJ personal;{personal}))
                                                                          (NS data;{data}))))))))))))
  (ID 140_a_law_h15a119;114_4_24_1iv))