TSPC 119_a_law

119_a_law_h15a119
(i) Cases in which the provision of personal data is based on laws and regulations

( (FRAG (LST (PULB -LRB-)
             (LS i)
             (PURB -RRB-))
        (NP (NS Cases;{case})
            (IP-REL (PP-112 (P-ROLE in;{in})
                            (NP (RPRO which;{which})))
                    (NP-SBJ (D the;{the})
                            (N provision;{provision})
                            (PP (P-ROLE of;{of})
                                (NP (ADJP (ADJ personal;{personal}))
                                    (NS data;{data}))))
                    (BEP;_cat_VePASS_ is;{be})
                    (IP-PPL-CAT (PP-NIM *ICH*-112)
                                (NP-LGS *)
                                (VVN;_phr_Vn.pr_ based;{base[on]})
                                (PP-CLR (P-ROLE on;{on})
                                        (NP (NLYR (NLYR (NS laws;{law}))
                                                  (CONJP (CONJ and;{and})
                                                         (NLYR (NS regulations;{regulation}))))))))))
  (ID 119_a_law_h15a119;94_4_23_1i))

arc(r_0119_0007__the_r_0119_0008__provision,r_0119_0011__data,r_0119_0009__of).
arc(r_0119_0011__data,r_0119_0010__personal,attrib).
arc(r_0119_0012__is,r_0119_0013__based,scope).
arc(r_0119_0013__based,r_0119_0004__Cases,r_0119_0005__in__nim).
arc(r_0119_0013__based,r_0119_0007__the_r_0119_0008__provision,arg1).
arc(r_0119_0013__based,r_0119_0016__and,r_0119_0014__on__clr).
arc(r_0119_0013__based,z_0119_5011___star_,arg0).
arc(r_0119_0016__and,r_0119_0015__laws,conj1).
arc(r_0119_0016__and,r_0119_0017__regulations,conj2).
arc(z_0119_5014,r_0119_0004__Cases,z_0119_5002).

fof(formula,axiom,
    ? [R_0119_0004__CASES,R_0119_0010__PERSONAL,R_0119_0011__DATA,R_0119_0007__THE_R_0119_0008__PROVISION,R_0119_0015__LAWS,R_0119_0017__REGULATIONS,R_0119_0016__AND,Z_0119_5011___STAR_,R_0119_0012__IS_R_0119_0013__BASED,Z_0119_5014] :
      ( r_0119_0004__Cases(R_0119_0004__CASES)
      & r_0119_0010__personal(R_0119_0010__PERSONAL)
      & r_0119_0015__laws(R_0119_0015__LAWS)
      & r_0119_0017__regulations(R_0119_0017__REGULATIONS)
      & z_0119_5011___star_(Z_0119_5011___STAR_)
      & z_0119_5014(Z_0119_5014)
      & has_z_0119_5002(Z_0119_5014,R_0119_0004__CASES)
      & r_0119_0012__is_r_0119_0013__based(R_0119_0012__IS_R_0119_0013__BASED)
      & has_arg0(R_0119_0012__IS_R_0119_0013__BASED,Z_0119_5011___STAR_)
      & has_r_0119_0014__on__clr(R_0119_0012__IS_R_0119_0013__BASED,R_0119_0016__AND)
      & r_0119_0016__and(R_0119_0016__AND)
      & has_conj2(R_0119_0016__AND,R_0119_0017__REGULATIONS)
      & has_conj1(R_0119_0016__AND,R_0119_0015__LAWS)
      & has_arg1(R_0119_0012__IS_R_0119_0013__BASED,R_0119_0007__THE_R_0119_0008__PROVISION)
      & r_0119_0007__the_r_0119_0008__provision(R_0119_0007__THE_R_0119_0008__PROVISION)
      & has_r_0119_0009__of(R_0119_0007__THE_R_0119_0008__PROVISION,R_0119_0011__DATA)
      & r_0119_0011__data(R_0119_0011__DATA)
      & has_attrib(R_0119_0011__DATA,R_0119_0010__PERSONAL)
      & has_r_0119_0005__in__nim(R_0119_0012__IS_R_0119_0013__BASED,R_0119_0004__CASES) ) ).