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_140_8_IS_LISTED,Z_140_A_LAW_H15A119_26,R_140_11_THE_THREE_ITEMS,R_140_12_PRECEDING,R_140_19_SPECIFIED,R_140_21_A_CABINET_ORDER,R_140_26_BEING,Z_140_A_LAW_H15A119_71,R_140_27_NECESSARY,R_140_29_ENSURING,Z_140_A_LAW_H15A119_80,R_140_30_THE_HANDLING,R_140_31_PROPER,R_140_36_DATA,R_140_34_RETAINED,R_140_35_PERSONAL,Z_140_A_LAW_H15A119_1,R_140_17_MATTERS,R_140_16_SUCH,R_140_5_ADDITION,Z_140_A_LAW_H15A119_18] :
      ( preceding(R_140_12_PRECEDING)
      & a_Cabinet_Order(R_140_21_A_CABINET_ORDER)
      & proper(R_140_31_PROPER)
      & retained(R_140_34_RETAINED)
      & personal(R_140_35_PERSONAL)
      & such(R_140_16_SUCH)
      & is_listed(R_140_8_IS_LISTED,Z_140_A_LAW_H15A119_26,Z_140_A_LAW_H15A119_18)
      & in_nim33(R_140_8_IS_LISTED,R_140_11_THE_THREE_ITEMS)
      & the_three_items(R_140_11_THE_THREE_ITEMS)
      & attrib36(R_140_11_THE_THREE_ITEMS,R_140_12_PRECEDING)
      & specified(R_140_19_SPECIFIED,R_140_21_A_CABINET_ORDER,R_140_17_MATTERS,R_140_26_BEING)
      & matters(R_140_17_MATTERS)
      & attrib46(R_140_17_MATTERS,R_140_16_SUCH)
      & being(R_140_26_BEING,Z_140_A_LAW_H15A119_71,R_140_27_NECESSARY)
      & necessary(R_140_27_NECESSARY)
      & for(R_140_27_NECESSARY,R_140_29_ENSURING)
      & ensuring(R_140_29_ENSURING,Z_140_A_LAW_H15A119_80,R_140_30_THE_HANDLING)
      & the_handling(R_140_30_THE_HANDLING)
      & attrib86(R_140_30_THE_HANDLING,R_140_31_PROPER)
      & of(R_140_30_THE_HANDLING,R_140_36_DATA)
      & data(R_140_36_DATA)
      & attrib95(R_140_36_DATA,R_140_34_RETAINED)
      & attrib98(R_140_36_DATA,R_140_35_PERSONAL)
      & z_140_a_law_h15a119_1(Z_140_A_LAW_H15A119_1)
      & nim45(Z_140_A_LAW_H15A119_1,R_140_17_MATTERS)
      & in_nim12(Z_140_A_LAW_H15A119_1,R_140_5_ADDITION)
      & addition(R_140_5_ADDITION)
      & to(R_140_5_ADDITION,Z_140_A_LAW_H15A119_18) ) ).

( (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))