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_12_1_AS_WELL_AS,R_12_2_GETTING,R_12_3_MONEY,R_12_5_THE_CUBS,R_12_8_GOT,R_12_9_MONEY,R_12_7_JOHN] :
( money(R_12_3_MONEY)
& the_cubs(R_12_5_THE_CUBS)
& money(R_12_9_MONEY)
& john(R_12_7_JOHN)
& as_well_as(R_12_1_AS_WELL_AS)
& conj1(R_12_1_AS_WELL_AS,R_12_2_GETTING)
& getting(R_12_2_GETTING,R_12_7_JOHN,R_12_3_MONEY)
& for_nim14(R_12_2_GETTING,R_12_5_THE_CUBS)
& conj2(R_12_1_AS_WELL_AS,R_12_8_GOT)
& got(R_12_8_GOT,R_12_7_JOHN,R_12_9_MONEY)
& for_nim30(R_12_8_GOT,R_12_7_JOHN) ) ).
( (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))