( (IP-MAT (ILYR (ILYR (NP-SBJ;{CIRCLE} (PRO It;{it}))
                      (ADVP-NIM (ADV also;{also}))
                      (VBP;_Tn_ encourages;{encourage})
                      (NP-OB1 (N monster;{monster})
                              (N in_<hyphen>_fighting;{infighting})))
                (PUNC ;)
                (CONJP (ILYR (PP-SCON (P-CONN if;{if})
                                      (IP-PPL3 (NP-LGS *)
                                               (DON;_Tn_ done;{do})
                                               (ADVP-NIM (ADV effectively;{effectively}))))
                             (PUNC ,)
                             (ILYR (ILYR (NP-SBJ;{MONSTER3} (PRO they;{they}))
                                         (MD;_cat_Vi_ <apos>ll;{will})
                                         (IP-INF-CAT (VB;_Tn_ spend;{spend})
                                                     (NP-OB1 (NP-GEN;{MONSTER3} (PRO;_genm_ their;{their}))
                                                             (N energy;{energy})))
                                         (PP-SCON (IP-PPL (VAG;_Tn_ killing;{kill})
                                                          (NP-OB1 (PNX each_other;{each_other})))))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-SBJ (PRO you;{you}))
                                                (MD;_cat_Vi_ <apos>ll;{will})
                                                (IP-INF-CAT (VB;_Ipr_ save;{save[on]})
                                                            (PP-CLR (P-ROLE on;{on})
                                                                    (NP (N ammunition;{ammunition}))))))))))
          (PUNC .))
  (ID 47_a_freedoom))

arc(r_0047_0003__encourages,r_0047_0001__It,arg0).
arc(r_0047_0003__encourages,r_0047_0002__also,nim).
arc(r_0047_0003__encourages,r_0047_0004__monster_r_0047_0005__in__hyphen__fighting,arg1).
arc(r_0047_0007__if,r_0047_0008__done,restriction).
arc(r_0047_0007__if,r_0047_0018__and,scope).
arc(r_0047_0008__done,r_0047_0009__effectively,nim).
arc(r_0047_0008__done,z_0047_5007,arg1).
arc(r_0047_0008__done,z_0047_5009___star_,arg0).
arc(r_0047_0012___apos_ll,r_0047_0013__spend,scope).
arc(r_0047_0013__spend,r_0047_0011__they,arg0).
arc(r_0047_0013__spend,r_0047_0015__energy,arg1).
arc(r_0047_0015__energy,r_0047_0011__they,gen).
arc(r_0047_0016__killing,r_0047_0011__they,arg0).
arc(r_0047_0016__killing,r_0047_0017__each_other,arg1).
arc(r_0047_0018__and,r_0047_0020___apos_ll,conj2).
arc(r_0047_0018__and,z_0047_5011,conj1).
arc(r_0047_0020___apos_ll,r_0047_0021__save_r_0047_0022__on,scope).
arc(r_0047_0021__save_r_0047_0022__on,r_0047_0019__you,arg0).
arc(r_0047_0021__save_r_0047_0022__on,r_0047_0023__ammunition,arg1).
arc(z_0047_5001,r_0047_0003__encourages,conj1).
arc(z_0047_5001,r_0047_0007__if,conj2).
arc(z_0047_5011,r_0047_0012___apos_ll,scope).
arc(z_0047_5011,r_0047_0016__killing,restriction).

fof(formula,axiom,
    ? [R_0047_0001__IT,R_0047_0002__ALSO,R_0047_0004__MONSTER_R_0047_0005__IN__HYPHEN__FIGHTING,R_0047_0003__ENCOURAGES,Z_0047_5001] :
      ( r_0047_0001__It(R_0047_0001__IT)
      & r_0047_0002__also(R_0047_0002__ALSO)
      & r_0047_0004__monster_r_0047_0005__in__hyphen__fighting(R_0047_0004__MONSTER_R_0047_0005__IN__HYPHEN__FIGHTING)
      & z_0047_5001(Z_0047_5001)
      & ! [R_0047_0008__DONE,R_0047_0009__EFFECTIVELY,Z_0047_5007,Z_0047_5009___STAR_] :
          ( ( r_0047_0009__effectively(R_0047_0009__EFFECTIVELY)
            & z_0047_5007(Z_0047_5007)
            & z_0047_5009___star_(Z_0047_5009___STAR_)
            & r_0047_0008__done(R_0047_0008__DONE)
            & has_arg0(R_0047_0008__DONE,Z_0047_5009___STAR_)
            & has_arg1(R_0047_0008__DONE,Z_0047_5007)
            & has_nim(R_0047_0008__DONE,R_0047_0009__EFFECTIVELY) )
         => ? [R_0047_0019__YOU,R_0047_0023__AMMUNITION,R_0047_0020___APOS_LL_R_0047_0021__SAVE_R_0047_0022__ON,R_0047_0011__THEY,R_0047_0015__ENERGY,R_0047_0012___APOS_LL_R_0047_0013__SPEND,R_0047_0017__EACH_OTHER,R_0047_0016__KILLING,Z_0047_5011,R_0047_0018__AND] :
              ( r_0047_0011__they(R_0047_0011__THEY)
              & r_0047_0017__each_other(R_0047_0017__EACH_OTHER)
              & r_0047_0019__you(R_0047_0019__YOU)
              & r_0047_0023__ammunition(R_0047_0023__AMMUNITION)
              & r_0047_0018__and(R_0047_0018__AND)
              & has_conj1(R_0047_0018__AND,Z_0047_5011)
              & z_0047_5011(Z_0047_5011)
              & has_conj1(Z_0047_5011,R_0047_0016__KILLING)
              & r_0047_0016__killing(R_0047_0016__KILLING)
              & has_arg1(R_0047_0016__KILLING,R_0047_0017__EACH_OTHER)
              & has_arg0(R_0047_0016__KILLING,R_0047_0011__THEY)
              & has_conj2(Z_0047_5011,R_0047_0012___APOS_LL_R_0047_0013__SPEND)
              & r_0047_0012___apos_ll_r_0047_0013__spend(R_0047_0012___APOS_LL_R_0047_0013__SPEND)
              & has_arg1(R_0047_0012___APOS_LL_R_0047_0013__SPEND,R_0047_0015__ENERGY)
              & r_0047_0015__energy(R_0047_0015__ENERGY)
              & has_gen(R_0047_0015__ENERGY,R_0047_0011__THEY)
              & has_arg0(R_0047_0012___APOS_LL_R_0047_0013__SPEND,R_0047_0011__THEY)
              & has_conj2(R_0047_0018__AND,R_0047_0020___APOS_LL_R_0047_0021__SAVE_R_0047_0022__ON)
              & r_0047_0020___apos_ll_r_0047_0021__save_r_0047_0022__on(R_0047_0020___APOS_LL_R_0047_0021__SAVE_R_0047_0022__ON)
              & has_arg1(R_0047_0020___APOS_LL_R_0047_0021__SAVE_R_0047_0022__ON,R_0047_0023__AMMUNITION)
              & has_arg0(R_0047_0020___APOS_LL_R_0047_0021__SAVE_R_0047_0022__ON,R_0047_0019__YOU) ) )
      & has_conj1(Z_0047_5001,R_0047_0003__ENCOURAGES)
      & r_0047_0003__encourages(R_0047_0003__ENCOURAGES)
      & has_arg1(R_0047_0003__ENCOURAGES,R_0047_0004__MONSTER_R_0047_0005__IN__HYPHEN__FIGHTING)
      & has_nim(R_0047_0003__ENCOURAGES,R_0047_0002__ALSO)
      & has_arg0(R_0047_0003__ENCOURAGES,R_0047_0001__IT) ) ).