( (IP-MAT (NP-SBJ (D These;{these})
                  (N support;{support})
                  (NS costs;{cost}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ big;{big}))
                  (N drain;{drain})
                  (PP (P-ROLE on;{on})
                      (NP (NP-GEN (NPR America;{America})
                                  (GENM <apos>s))
                          (N dollar;{dollar})
                          (NS reserves;{reserve}))))
          (PUNC .))
  (ID 71_a_lob_a01))

arc(r_0071_0004__are,r_0071_0001__These_r_0071_0002__support_r_0071_0003__costs,arg0).
arc(r_0071_0004__are,r_0071_0005__a_r_0071_0007__drain,prd).
arc(r_0071_0005__a_r_0071_0007__drain,r_0071_0006__big,attrib).
arc(r_0071_0005__a_r_0071_0007__drain,r_0071_0011__dollar_r_0071_0012__reserves,r_0071_0008__on).
arc(r_0071_0011__dollar_r_0071_0012__reserves,r_0071_0009__America,gen).

fof(formula,axiom,
    ? [R_0071_0001__THESE_R_0071_0002__SUPPORT_R_0071_0003__COSTS,R_0071_0006__BIG,R_0071_0009__AMERICA,R_0071_0011__DOLLAR_R_0071_0012__RESERVES,R_0071_0005__A_R_0071_0007__DRAIN,R_0071_0004__ARE] :
      ( r_0071_0001__These_r_0071_0002__support_r_0071_0003__costs(R_0071_0001__THESE_R_0071_0002__SUPPORT_R_0071_0003__COSTS)
      & r_0071_0006__big(R_0071_0006__BIG)
      & r_0071_0009__America(R_0071_0009__AMERICA)
      & r_0071_0004__are(R_0071_0004__ARE)
      & has_prd(R_0071_0004__ARE,R_0071_0005__A_R_0071_0007__DRAIN)
      & r_0071_0005__a_r_0071_0007__drain(R_0071_0005__A_R_0071_0007__DRAIN)
      & has_r_0071_0008__on(R_0071_0005__A_R_0071_0007__DRAIN,R_0071_0011__DOLLAR_R_0071_0012__RESERVES)
      & r_0071_0011__dollar_r_0071_0012__reserves(R_0071_0011__DOLLAR_R_0071_0012__RESERVES)
      & has_gen(R_0071_0011__DOLLAR_R_0071_0012__RESERVES,R_0071_0009__AMERICA)
      & has_attrib(R_0071_0005__A_R_0071_0007__DRAIN,R_0071_0006__BIG)
      & has_arg0(R_0071_0004__ARE,R_0071_0001__THESE_R_0071_0002__SUPPORT_R_0071_0003__COSTS) ) ).