arc(r_0047_0003__encourages, r_0047_0001__It, arg0).
arc(r_0047_0003__encourages, r_0047_0002__also, nim7).
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, nim29).
arc(r_0047_0008__done, z_000_47_a_freedoom_24, arg1).
arc(r_0047_0008__done, z_000_47_a_freedoom_25, 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_0004__monster_r_0047_0005__in__hyphen__fighting, arg1).
arc(r_0047_0016__killing, r_0047_0011__they, arg0).
arc(r_0047_0018__and, r_0047_0020___apos_ll, conj2).
arc(r_0047_0018__and, z_000_47_a_freedoom_50, conj1).
arc(r_0047_0020___apos_ll, r_0047_0021__save, scope).
arc(r_0047_0021__save, r_0047_0019__you, arg0).
arc(r_0047_0021__save, r_0047_0023__ammunition, r_0047_0022__on_clr72).
arc(z_000_47_a_freedoom_2, r_0047_0003__encourages, conj1).
arc(z_000_47_a_freedoom_2, r_0047_0007__if, conj2).
arc(z_000_47_a_freedoom_50, r_0047_0012___apos_ll, scope).
arc(z_000_47_a_freedoom_50, 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_000_47_A_FREEDOOM_2] :
      ( 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_000_47_a_freedoom_2(Z_000_47_A_FREEDOOM_2)
      & ! [R_0047_0008__DONE,R_0047_0009__EFFECTIVELY,Z_000_47_A_FREEDOOM_24,Z_000_47_A_FREEDOOM_25] :
          ( ( r_0047_0009__effectively(R_0047_0009__EFFECTIVELY)
            & z_000_47_a_freedoom_24(Z_000_47_A_FREEDOOM_24)
            & z_000_47_a_freedoom_25(Z_000_47_A_FREEDOOM_25)
            & r_0047_0008__done(R_0047_0008__DONE)
            & has_arg0(R_0047_0008__DONE,Z_000_47_A_FREEDOOM_25)
            & has_arg1(R_0047_0008__DONE,Z_000_47_A_FREEDOOM_24)
            & has_nim29(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_0011__THEY,R_0047_0015__ENERGY,R_0047_0012___APOS_LL_R_0047_0013__SPEND,R_0047_0016__KILLING,Z_000_47_A_FREEDOOM_50,R_0047_0018__AND] :
              ( r_0047_0011__they(R_0047_0011__THEY)
              & 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_000_47_A_FREEDOOM_50)
              & z_000_47_a_freedoom_50(Z_000_47_A_FREEDOOM_50)
              & has_conj1(Z_000_47_A_FREEDOOM_50,R_0047_0016__KILLING)
              & r_0047_0016__killing(R_0047_0016__KILLING)
              & has_arg0(R_0047_0016__KILLING,R_0047_0011__THEY)
              & has_arg1(R_0047_0016__KILLING,R_0047_0004__MONSTER_R_0047_0005__IN__HYPHEN__FIGHTING)
              & has_conj2(Z_000_47_A_FREEDOOM_50,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_0020___apos_ll_r_0047_0021__save(R_0047_0020___APOS_LL_R_0047_0021__SAVE)
              & has_r_0047_0022__on_clr72(R_0047_0020___APOS_LL_R_0047_0021__SAVE,R_0047_0023__AMMUNITION)
              & has_arg0(R_0047_0020___APOS_LL_R_0047_0021__SAVE,R_0047_0019__YOU) ) )
      & has_conj1(Z_000_47_A_FREEDOOM_2,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_nim7(R_0047_0003__ENCOURAGES,R_0047_0002__ALSO)
      & has_arg0(R_0047_0003__ENCOURAGES,R_0047_0001__IT) ) ).

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