( (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))

arc(r_0012_0001__Because,r_0012_0009__makes,restriction).
arc(r_0012_0001__Because,z_0012_5011,scope).
arc(r_0012_0002__turning_r_0012_0005__into,r_0012_0003__welfare_r_0012_0004__recipients,arg1).
arc(r_0012_0002__turning_r_0012_0005__into,r_0012_0006__tax_r_0012_0007__payers,arg2).
arc(r_0012_0002__turning_r_0012_0005__into,z_0012_5004,arg0).
arc(r_0012_0009__makes,r_0012_0002__turning_r_0012_0005__into,arg0).
arc(r_0012_0009__makes,r_0012_0008__just,nim).
arc(r_0012_0009__makes,r_0012_0010__sense,prd).

fof(formula,axiom,
    ? [R_0012_0003__WELFARE_R_0012_0004__RECIPIENTS,R_0012_0006__TAX_R_0012_0007__PAYERS,Z_0012_5004,R_0012_0002__TURNING_R_0012_0005__INTO,R_0012_0008__JUST,R_0012_0010__SENSE,R_0012_0009__MAKES,Z_0012_5011,R_0012_0001__BECAUSE] :
      ( r_0012_0003__welfare_r_0012_0004__recipients(R_0012_0003__WELFARE_R_0012_0004__RECIPIENTS)
      & r_0012_0006__tax_r_0012_0007__payers(R_0012_0006__TAX_R_0012_0007__PAYERS)
      & r_0012_0008__just(R_0012_0008__JUST)
      & r_0012_0010__sense(R_0012_0010__SENSE)
      & z_0012_5004(Z_0012_5004)
      & z_0012_5011(Z_0012_5011)
      & r_0012_0001__Because(R_0012_0001__BECAUSE)
      & has_conj2(R_0012_0001__BECAUSE,Z_0012_5011)
      & has_conj1(R_0012_0001__BECAUSE,R_0012_0009__MAKES)
      & r_0012_0009__makes(R_0012_0009__MAKES)
      & has_prd(R_0012_0009__MAKES,R_0012_0010__SENSE)
      & has_nim(R_0012_0009__MAKES,R_0012_0008__JUST)
      & has_arg0(R_0012_0009__MAKES,R_0012_0002__TURNING_R_0012_0005__INTO)
      & r_0012_0002__turning_r_0012_0005__into(R_0012_0002__TURNING_R_0012_0005__INTO)
      & has_arg0(R_0012_0002__TURNING_R_0012_0005__INTO,Z_0012_5004)
      & has_arg2(R_0012_0002__TURNING_R_0012_0005__INTO,R_0012_0006__TAX_R_0012_0007__PAYERS)
      & has_arg1(R_0012_0002__TURNING_R_0012_0005__INTO,R_0012_0003__WELFARE_R_0012_0004__RECIPIENTS) ) ).