283_a_law_h15a119
the purpose for literary work
arc(r_0283_0001__the_r_0283_0002__purpose, r_0283_0005__work, r_0283_0003__for).
arc(r_0283_0005__work, r_0283_0004__literary, attrib11).
arc(z_000_283_a_law_h15a119_1, r_0283_0001__the_r_0283_0002__purpose, nim2).
fof(formula,axiom,
? [Z_283_A_LAW_H15A119_1,R_283_1_THE_PURPOSE,R_283_5_WORK,R_283_4_LITERARY] :
( literary(R_283_4_LITERARY)
& z_283_a_law_h15a119_1(Z_283_A_LAW_H15A119_1)
& nim2(Z_283_A_LAW_H15A119_1,R_283_1_THE_PURPOSE)
& the_purpose(R_283_1_THE_PURPOSE)
& for(R_283_1_THE_PURPOSE,R_283_5_WORK)
& work(R_283_5_WORK)
& attrib11(R_283_5_WORK,R_283_4_LITERARY) ) ).
( (FRAG (NP (D the;{the})
(N purpose;{purpose})
(PP (P-ROLE for;{for})
(NP (ADJP (ADJ literary;{literary}))
(N work;{work})))))
(ID 283_a_law_h15a119;221_5_50_1ii))