126_a_law_h15a119
(iii) The means or method of provision to a third party
arc(r_0126_0006__or, r_0126_0005__means, conj1).
arc(r_0126_0006__or, r_0126_0007__method, conj2).
arc(r_0126_0006__or, r_0126_0009__provision, r_0126_0008__of).
arc(r_0126_0009__provision, r_0126_0011__a_r_0126_0012__third_r_0126_0013__party, r_0126_0010__to).
arc(z_000_126_a_law_h15a119_1, r_0126_0006__or, nim9).
fof(formula,axiom,
? [Z_126_A_LAW_H15A119_1,R_126_6_OR,R_126_5_MEANS,R_126_7_METHOD,R_126_9_PROVISION,R_126_11_A_THIRD_PARTY] :
( means(R_126_5_MEANS)
& method(R_126_7_METHOD)
& a_third_party(R_126_11_A_THIRD_PARTY)
& z_126_a_law_h15a119_1(Z_126_A_LAW_H15A119_1)
& nim9(Z_126_A_LAW_H15A119_1,R_126_6_OR)
& or(R_126_6_OR)
& conj1(R_126_6_OR,R_126_5_MEANS)
& conj2(R_126_6_OR,R_126_7_METHOD)
& of(R_126_6_OR,R_126_9_PROVISION)
& provision(R_126_9_PROVISION)
& to(R_126_9_PROVISION,R_126_11_A_THIRD_PARTY) ) ).
( (FRAG (PULB -LRB-)
(LST (LS iii))
(PURB -RRB-)
(NP (D The;{the})
(NLYR (NLYR (N means;{mean}))
(CONJP (CONJ or;{or})
(NLYR (N method;{method}))))
(PP (P-ROLE of;{of})
(NP (N provision;{provision})
(PP (P-ROLE to;{to})
(NP (D a;{a})
(NUM third;{third})
(N party;{party})))))))
(ID 126_a_law_h15a119;101_4_23_2iii))