TSPC 134_a_law

134_a_law_h15a119
(Public Announcement of Matters Concerning Retained Personal Data, etc.)

( (FRAG (PULB -LRB-)
        (NP (ADJP (ADJ Public;{public}))
            (N Announcement;{announcement})
            (PP (P-ROLE of;{of})
                (NP (NS Matters;{matter})
                    (IP-PPL (VAG;__ Concerning;{concern})
                            (NP-OB1 (IP-PPL (VVN;__ Retained;{retain}))
                                    (ADJP (ADJ Personal;{personal}))
                                    (NS Data;{data})
                                    (PUNC ,)
                                    (ADVP (ADV etc<dot>)))))))
        (PURB -RRB-))
  (ID 134_a_law_h15a119;109_4))

arc(r_0134_0003__Announcement,r_0134_0002__Public,attrib).
arc(r_0134_0003__Announcement,r_0134_0005__Matters,r_0134_0004__of).
arc(r_0134_0006__Concerning,r_0134_0005__Matters,inv_arg0).
arc(r_0134_0006__Concerning,r_0134_0009__Data,arg1).
arc(r_0134_0007__Retained,r_0134_0009__Data,inv_arg0).
arc(r_0134_0009__Data,r_0134_0008__Personal,attrib).
arc(r_0134_0009__Data,r_0134_0011__etc_dot_,qual).
arc(z_0134_5011,r_0134_0003__Announcement,z_0134_5002).

fof(formula,axiom,
    ? [R_0134_0002__PUBLIC,R_0134_0007__RETAINED,R_0134_0008__PERSONAL,R_0134_0011__ETC_DOT_,R_0134_0009__DATA,R_0134_0006__CONCERNING,R_0134_0005__MATTERS,R_0134_0003__ANNOUNCEMENT,Z_0134_5011] :
      ( r_0134_0002__Public(R_0134_0002__PUBLIC)
      & r_0134_0007__Retained(R_0134_0007__RETAINED)
      & r_0134_0008__Personal(R_0134_0008__PERSONAL)
      & r_0134_0011__etc_dot_(R_0134_0011__ETC_DOT_)
      & z_0134_5011(Z_0134_5011)
      & has_z_0134_5002(Z_0134_5011,R_0134_0003__ANNOUNCEMENT)
      & r_0134_0003__Announcement(R_0134_0003__ANNOUNCEMENT)
      & has_r_0134_0004__of(R_0134_0003__ANNOUNCEMENT,R_0134_0005__MATTERS)
      & r_0134_0005__Matters(R_0134_0005__MATTERS)
      & has_inv_arg0(R_0134_0005__MATTERS,R_0134_0006__CONCERNING)
      & r_0134_0006__Concerning(R_0134_0006__CONCERNING)
      & has_arg1(R_0134_0006__CONCERNING,R_0134_0009__DATA)
      & r_0134_0009__Data(R_0134_0009__DATA)
      & has_qual(R_0134_0009__DATA,R_0134_0011__ETC_DOT_)
      & has_attrib(R_0134_0009__DATA,R_0134_0008__PERSONAL)
      & has_inv_arg0(R_0134_0009__DATA,R_0134_0007__RETAINED)
      & has_attrib(R_0134_0003__ANNOUNCEMENT,R_0134_0002__PUBLIC) ) ).