14_a_goodwill
I was on welfare and without my diploma.
arc(r_0014_0002__was, r_0014_0001__I, arg0).
arc(r_0014_0002__was, r_0014_0004__welfare, r_0014_0003__on_clr10).
arc(r_0014_0002__was, r_0014_0008__diploma, r_0014_0005__and_r_0014_0006__without_nim18).
arc(r_0014_0008__diploma, r_0014_0001__I, gen).
fof(formula,axiom,
? [R_0014_0001__I,R_0014_0004__WELFARE,R_0014_0008__DIPLOMA,R_0014_0002__WAS] :
( r_0014_0001__I(R_0014_0001__I)
& r_0014_0004__welfare(R_0014_0004__WELFARE)
& r_0014_0002__was(R_0014_0002__WAS)
& has_r_0014_0005__and_r_0014_0006__without_nim18(R_0014_0002__WAS,R_0014_0008__DIPLOMA)
& r_0014_0008__diploma(R_0014_0008__DIPLOMA)
& has_gen(R_0014_0008__DIPLOMA,R_0014_0001__I)
& has_r_0014_0003__on_clr10(R_0014_0002__WAS,R_0014_0004__WELFARE)
& has_arg0(R_0014_0002__WAS,R_0014_0001__I) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(BED;_Ipr_ was;{be[on]})
(PP-CLR (P-ROLE on;{on})
(NP (N welfare;{welfare})))
(PP-NIM (CONJ and;{and})
(P-ROLE without;{without})
(NP (NP-GEN (PRO;_genm_ my;{my}))
(N diploma;{diploma})))
(PUNC .))
(ID 14_a_goodwill))