12_a_stories_09_m12
As well as getting money for the cubs John got money for himself.
arc(r_0012_0001__As_well_as, r_0012_0002__getting, restriction).
arc(r_0012_0001__As_well_as, r_0012_0008__got, scope).
arc(r_0012_0002__getting, r_0012_0003__money, arg1).
arc(r_0012_0002__getting, r_0012_0005__the_r_0012_0006__cubs, r_0012_0004__for_nim14).
arc(r_0012_0002__getting, r_0012_0007__John, arg0).
arc(r_0012_0008__got, r_0012_0007__John, arg0).
arc(r_0012_0008__got, r_0012_0007__John, r_0012_0010__for_nim30).
arc(r_0012_0008__got, r_0012_0009__money, arg1).
fof(formula,axiom,
? [R_0012_0003__MONEY,R_0012_0005__THE_R_0012_0006__CUBS,R_0012_0007__JOHN,R_0012_0002__GETTING,R_0012_0009__MONEY,R_0012_0008__GOT,R_0012_0001__AS_WELL_AS] :
( r_0012_0003__money(R_0012_0003__MONEY)
& r_0012_0005__the_r_0012_0006__cubs(R_0012_0005__THE_R_0012_0006__CUBS)
& r_0012_0007__John(R_0012_0007__JOHN)
& r_0012_0009__money(R_0012_0009__MONEY)
& r_0012_0001__As_well_as(R_0012_0001__AS_WELL_AS)
& has_conj2(R_0012_0001__AS_WELL_AS,R_0012_0008__GOT)
& r_0012_0008__got(R_0012_0008__GOT)
& has_arg1(R_0012_0008__GOT,R_0012_0009__MONEY)
& has_r_0012_0010__for_nim30(R_0012_0008__GOT,R_0012_0007__JOHN)
& has_arg0(R_0012_0008__GOT,R_0012_0007__JOHN)
& has_conj1(R_0012_0001__AS_WELL_AS,R_0012_0002__GETTING)
& r_0012_0002__getting(R_0012_0002__GETTING)
& has_arg0(R_0012_0002__GETTING,R_0012_0007__JOHN)
& has_r_0012_0004__for_nim14(R_0012_0002__GETTING,R_0012_0005__THE_R_0012_0006__CUBS)
& has_arg1(R_0012_0002__GETTING,R_0012_0003__MONEY) ) ).
( (IP-MAT (PP-SCON (P-CONN As_well_as;{as_well_as})
(IP-PPL2 (VAG;_Tn_ getting;{get})
(NP-OB1 (N money;{money}))
(PP-NIM (P-ROLE for;{for})
(NP (D the;{the})
(NS cubs;{cub})))))
(NP-SBJ;{JOHN} (NPR John;{John}))
(VBD;_Tn_ got;{get})
(NP-OB1 (N money;{money}))
(PP-NIM (P-ROLE for;{for})
(NP;{JOHN} (PNX himself;{himself})))
(PUNC .))
(ID 12_a_stories_09_m12))