12_a_goodwill
Because turning welfare recipients into tax payers just makes sense.
arc(r_0012_0001__Because, r_0012_0009__makes, restriction).
arc(r_0012_0001__Because, z_000_12_a_goodwill_1, scope).
arc(r_0012_0002__turning, r_0012_0003__welfare_r_0012_0004__recipients, arg1).
arc(r_0012_0002__turning, r_0012_0006__tax_r_0012_0007__payers, r_0012_0005__into_clr17).
arc(r_0012_0002__turning, z_000_12_a_goodwill_6, arg0).
arc(r_0012_0009__makes, r_0012_0002__turning, arg0).
arc(r_0012_0009__makes, r_0012_0008__just, nim22).
arc(r_0012_0009__makes, r_0012_0010__sense, prd).
fof(formula,axiom,
? [R_12_1_BECAUSE,R_12_9_MAKES,R_12_2_TURNING,Z_12_A_GOODWILL_6,R_12_3_WELFARE_RECIPIENTS,R_12_6_TAX_PAYERS,R_12_8_JUST,R_12_10_SENSE,Z_12_A_GOODWILL_1] :
( welfare_recipients(R_12_3_WELFARE_RECIPIENTS)
& tax_payers(R_12_6_TAX_PAYERS)
& just(R_12_8_JUST)
& sense(R_12_10_SENSE)
& because(R_12_1_BECAUSE)
& conj1(R_12_1_BECAUSE,R_12_9_MAKES)
& makes(R_12_9_MAKES,R_12_2_TURNING,R_12_10_SENSE)
& turning(R_12_2_TURNING,Z_12_A_GOODWILL_6,R_12_3_WELFARE_RECIPIENTS)
& into_clr17(R_12_2_TURNING,R_12_6_TAX_PAYERS)
& nim22(R_12_9_MAKES,R_12_8_JUST)
& conj2(R_12_1_BECAUSE,Z_12_A_GOODWILL_1) ) ).
( (FRAG (PP-SCON (P-CONN Because;{because})
(IP-ADV (IP-PPL-SBJ (VAG;_Tn.pr_ turning;{turn[into]})
(NP-OB1 (N welfare;{welfare})
(NS recipients;{recipient}))
(PP-CLR (P-ROLE into;{into})
(NP (N tax;{tax})
(NS payers;{payer}))))
(ADVP-NIM (ADV just;{just}))
(VBP;_Ln_ makes;{make})
(NP-PRD (N sense;{sense}))))
(PUNC .))
(ID 12_a_goodwill))