TSPC 125_a_law

125_a_law_h15a119
(ii) The items of the personal data to be provided to a third party

( (FRAG (LST (PULB -LRB-)
             (LS ii)
             (PURB -RRB-))
        (NP (D The;{the})
            (NS items;{item})
            (PP (P-ROLE of;{of})
                (NP (D the;{the})
                    (ADJP (ADJ personal;{personal}))
                    (NS data;{data})
                    (IP-INF-REL (NP-SBJ *T*)
                                (TO to;{to})
                                (BE;_cat_VePASS_ be;{be})
                                (IP-PPL-CAT (NP-LGS *)
                                            (VVN;_Dn.pr_ provided;{provide[to]})
                                            (PP-OB2 (P-ROLE to;{to})
                                                    (NP (D a;{a})
                                                        (NUM third;{third})
                                                        (N party;{party})))))))))
  (ID 125_a_law_h15a119;100_4_23_2ii))

arc(r_0125_0004__The_r_0125_0005__items,r_0125_0007__the_r_0125_0009__data,r_0125_0006__of).
arc(r_0125_0007__the_r_0125_0009__data,r_0125_0008__personal,attrib).
arc(r_0125_0011__be,r_0125_0012__provided_r_0125_0013__to,scope).
arc(r_0125_0012__provided_r_0125_0013__to,r_0125_0007__the_r_0125_0009__data,inv_arg1).
arc(r_0125_0012__provided_r_0125_0013__to,r_0125_0014__a_r_0125_0015__third_r_0125_0016__party,arg2).
arc(r_0125_0012__provided_r_0125_0013__to,z_0125_5010___star_,arg0).
arc(z_0125_5013,r_0125_0004__The_r_0125_0005__items,z_0125_5002).

fof(formula,axiom,
    ? [R_0125_0008__PERSONAL,R_0125_0014__A_R_0125_0015__THIRD_R_0125_0016__PARTY,Z_0125_5010___STAR_,R_0125_0011__BE_R_0125_0012__PROVIDED_R_0125_0013__TO,R_0125_0007__THE_R_0125_0009__DATA,R_0125_0004__THE_R_0125_0005__ITEMS,Z_0125_5013] :
      ( r_0125_0008__personal(R_0125_0008__PERSONAL)
      & r_0125_0014__a_r_0125_0015__third_r_0125_0016__party(R_0125_0014__A_R_0125_0015__THIRD_R_0125_0016__PARTY)
      & z_0125_5010___star_(Z_0125_5010___STAR_)
      & z_0125_5013(Z_0125_5013)
      & has_z_0125_5002(Z_0125_5013,R_0125_0004__THE_R_0125_0005__ITEMS)
      & r_0125_0004__The_r_0125_0005__items(R_0125_0004__THE_R_0125_0005__ITEMS)
      & has_r_0125_0006__of(R_0125_0004__THE_R_0125_0005__ITEMS,R_0125_0007__THE_R_0125_0009__DATA)
      & r_0125_0007__the_r_0125_0009__data(R_0125_0007__THE_R_0125_0009__DATA)
      & has_inv_arg1(R_0125_0007__THE_R_0125_0009__DATA,R_0125_0011__BE_R_0125_0012__PROVIDED_R_0125_0013__TO)
      & r_0125_0011__be_r_0125_0012__provided_r_0125_0013__to(R_0125_0011__BE_R_0125_0012__PROVIDED_R_0125_0013__TO)
      & has_arg0(R_0125_0011__BE_R_0125_0012__PROVIDED_R_0125_0013__TO,Z_0125_5010___STAR_)
      & has_arg2(R_0125_0011__BE_R_0125_0012__PROVIDED_R_0125_0013__TO,R_0125_0014__A_R_0125_0015__THIRD_R_0125_0016__PARTY)
      & has_attrib(R_0125_0007__THE_R_0125_0009__DATA,R_0125_0008__PERSONAL) ) ).