TSPC 124_a_law

124_a_law_h15a119
(i) The fact that the provision to a third party is the Purpose of Utilization

( (FRAG (LST (PULB -LRB-)
             (LS i)
             (PURB -RRB-))
        (NP (D The;{the})
            (N fact;{fact})
            (CP-THT (IP-SUB (C that;{that})
                            (NP-SBJ (D the;{the})
                                    (N provision;{provision})
                                    (PP (P-ROLE to;{to})
                                        (NP (D a;{a})
                                            (NUM third;{third})
                                            (N party;{party}))))
                            (BEP;_Ln_ is;{be})
                            (NP-PRD (D the;{the})
                                    (N Purpose;{purpose})
                                    (PP (P-ROLE of;{of})
                                        (NP (N Utilization;{utilization}))))))))
  (ID 124_a_law_h15a119;99_4_23_2i))

arc(r_0124_0004__The_r_0124_0005__fact,r_0124_0013__is,emb).
arc(r_0124_0007__the_r_0124_0008__provision,r_0124_0010__a_r_0124_0011__third_r_0124_0012__party,r_0124_0009__to).
arc(r_0124_0013__is,r_0124_0007__the_r_0124_0008__provision,arg0).
arc(r_0124_0013__is,r_0124_0014__the_r_0124_0015__Purpose,prd).
arc(r_0124_0014__the_r_0124_0015__Purpose,r_0124_0017__Utilization,r_0124_0016__of).
arc(z_0124_5010,r_0124_0004__The_r_0124_0005__fact,z_0124_5002).

fof(formula,axiom,
    ? [R_0124_0010__A_R_0124_0011__THIRD_R_0124_0012__PARTY,R_0124_0007__THE_R_0124_0008__PROVISION,R_0124_0017__UTILIZATION,R_0124_0014__THE_R_0124_0015__PURPOSE,R_0124_0013__IS,R_0124_0004__THE_R_0124_0005__FACT,Z_0124_5010] :
      ( r_0124_0010__a_r_0124_0011__third_r_0124_0012__party(R_0124_0010__A_R_0124_0011__THIRD_R_0124_0012__PARTY)
      & r_0124_0017__Utilization(R_0124_0017__UTILIZATION)
      & z_0124_5010(Z_0124_5010)
      & has_z_0124_5002(Z_0124_5010,R_0124_0004__THE_R_0124_0005__FACT)
      & r_0124_0004__The_r_0124_0005__fact(R_0124_0004__THE_R_0124_0005__FACT)
      & has_emb(R_0124_0004__THE_R_0124_0005__FACT,R_0124_0013__IS)
      & r_0124_0013__is(R_0124_0013__IS)
      & has_prd(R_0124_0013__IS,R_0124_0014__THE_R_0124_0015__PURPOSE)
      & r_0124_0014__the_r_0124_0015__Purpose(R_0124_0014__THE_R_0124_0015__PURPOSE)
      & has_r_0124_0016__of(R_0124_0014__THE_R_0124_0015__PURPOSE,R_0124_0017__UTILIZATION)
      & has_arg0(R_0124_0013__IS,R_0124_0007__THE_R_0124_0008__PROVISION)
      & r_0124_0007__the_r_0124_0008__provision(R_0124_0007__THE_R_0124_0008__PROVISION)
      & has_r_0124_0009__to(R_0124_0007__THE_R_0124_0008__PROVISION,R_0124_0010__A_R_0124_0011__THIRD_R_0124_0012__PARTY) ) ).