47_a_freedoom
It also encourages monster in-fighting; if done effectively, they'll spend their energy killing each other and you'll save on ammunition.

%3 r_0047_0003__encourages encourages r_0047_0001__It It r_0047_0003__encourages->r_0047_0001__It [arg0] r_0047_0002__also also r_0047_0003__encourages->r_0047_0002__also [nim] r_0047_0004__monster_r_0047_0005__in__hyphen__fighting monster in-fighting r_0047_0003__encourages->r_0047_0004__monster_r_0047_0005__in__hyphen__fighting [arg1] r_0047_0007__if if r_0047_0008__done done r_0047_0007__if->r_0047_0008__done [restriction] r_0047_0018__and and r_0047_0007__if->r_0047_0018__and [scope] r_0047_0009__effectively effectively r_0047_0008__done->r_0047_0009__effectively [nim] z_000_47_a_freedoom_24 r_0047_0008__done->z_000_47_a_freedoom_24 [arg1] z_000_47_a_freedoom_25 r_0047_0008__done->z_000_47_a_freedoom_25 [arg0] r_0047_0020___apos_ll 'll r_0047_0018__and->r_0047_0020___apos_ll [conj2] z_000_47_a_freedoom_50 r_0047_0018__and->z_000_47_a_freedoom_50 [conj1] r_0047_0012___apos_ll 'll r_0047_0013__spend spend r_0047_0012___apos_ll->r_0047_0013__spend [scope] r_0047_0011__they they r_0047_0013__spend->r_0047_0011__they [arg0] r_0047_0015__energy energy r_0047_0013__spend->r_0047_0015__energy [arg1] r_0047_0015__energy->r_0047_0011__they [gen] r_0047_0016__killing killing r_0047_0016__killing->r_0047_0004__monster_r_0047_0005__in__hyphen__fighting [arg1] r_0047_0016__killing->r_0047_0011__they [arg0] r_0047_0021__save save r_0047_0020___apos_ll->r_0047_0021__save [scope] z_000_47_a_freedoom_50->r_0047_0012___apos_ll [scope] z_000_47_a_freedoom_50->r_0047_0016__killing [restriction] r_0047_0019__you you r_0047_0021__save->r_0047_0019__you [arg0] r_0047_0023__ammunition ammunition r_0047_0021__save->r_0047_0023__ammunition on [clr] z_000_47_a_freedoom_2 z_000_47_a_freedoom_2->r_0047_0003__encourages [conj1] z_000_47_a_freedoom_2->r_0047_0007__if [conj2]
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).



%3 z_000_47_a_freedoom_50 r_0047_0016__killing killing z_000_47_a_freedoom_50->r_0047_0016__killing [conj1] r_0047_0012___apos_ll_r_0047_0013__spend 'll spend z_000_47_a_freedoom_50->r_0047_0012___apos_ll_r_0047_0013__spend [conj2] r_0047_0011__they they r_0047_0016__killing->r_0047_0011__they [arg0] r_0047_0004__monster_r_0047_0005__in__hyphen__fighting monster in-fighting r_0047_0016__killing->r_0047_0004__monster_r_0047_0005__in__hyphen__fighting [arg1] r_0047_0012___apos_ll_r_0047_0013__spend->r_0047_0011__they [arg0] r_0047_0015__energy energy r_0047_0012___apos_ll_r_0047_0013__spend->r_0047_0015__energy [arg1] z_000_47_a_freedoom_2 r_0047_0007__if if z_000_47_a_freedoom_2->r_0047_0007__if [conj2] r_0047_0003__encourages encourages z_000_47_a_freedoom_2->r_0047_0003__encourages [conj1] r_0047_0018__and and r_0047_0007__if->r_0047_0018__and [scope] r_0047_0008__done done r_0047_0007__if->r_0047_0008__done [restriction] r_0047_0003__encourages->r_0047_0004__monster_r_0047_0005__in__hyphen__fighting [arg1] r_0047_0002__also also r_0047_0003__encourages->r_0047_0002__also [nim] r_0047_0001__It It r_0047_0003__encourages->r_0047_0001__It [arg0] r_0047_0020___apos_ll_r_0047_0021__save 'll save r_0047_0023__ammunition ammunition r_0047_0020___apos_ll_r_0047_0021__save->r_0047_0023__ammunition on [clr] r_0047_0019__you you r_0047_0020___apos_ll_r_0047_0021__save->r_0047_0019__you [arg0] r_0047_0018__and->z_000_47_a_freedoom_50 [conj1] r_0047_0018__and->r_0047_0020___apos_ll_r_0047_0021__save [conj2] r_0047_0015__energy->r_0047_0011__they [gen] z_000_47_a_freedoom_25 r_0047_0008__done->z_000_47_a_freedoom_25 [arg0] z_000_47_a_freedoom_24 r_0047_0008__done->z_000_47_a_freedoom_24 [arg1] r_0047_0009__effectively effectively r_0047_0008__done->r_0047_0009__effectively [nim]
fof(formula,axiom,
    ? [Z_47_A_FREEDOOM_2,R_47_3_ENCOURAGES,R_47_1_IT,R_47_4_MONSTER_IN_HYPHEN_FIGHTING,R_47_2_ALSO] :
      ( it(R_47_1_IT)
      & monster_in_hyphen_fighting(R_47_4_MONSTER_IN_HYPHEN_FIGHTING)
      & also(R_47_2_ALSO)
      & ! [R_47_8_DONE,Z_47_A_FREEDOOM_25,Z_47_A_FREEDOOM_24,R_47_9_EFFECTIVELY] :
          ( ( effectively(R_47_9_EFFECTIVELY)
            & done(R_47_8_DONE,Z_47_A_FREEDOOM_25,Z_47_A_FREEDOOM_24)
            & nim29(R_47_8_DONE,R_47_9_EFFECTIVELY) )
         => ? [R_47_18_AND,Z_47_A_FREEDOOM_50,R_47_16_KILLING,R_47_12__APOS_LL_SPEND,R_47_15_ENERGY,R_47_11_THEY,R_47_20__APOS_LL_SAVE,R_47_19_YOU,R_47_23_AMMUNITION] :
              ( they(R_47_11_THEY)
              & you(R_47_19_YOU)
              & ammunition(R_47_23_AMMUNITION)
              & and(R_47_18_AND)
              & conj1(R_47_18_AND,Z_47_A_FREEDOOM_50)
              & z_47_a_freedoom_50(Z_47_A_FREEDOOM_50)
              & conj1(Z_47_A_FREEDOOM_50,R_47_16_KILLING)
              & killing(R_47_16_KILLING,R_47_11_THEY,R_47_4_MONSTER_IN_HYPHEN_FIGHTING)
              & conj2(Z_47_A_FREEDOOM_50,R_47_12__APOS_LL_SPEND)
              & _apos_ll_spend(R_47_12__APOS_LL_SPEND,R_47_11_THEY,R_47_15_ENERGY)
              & energy(R_47_15_ENERGY)
              & gen(R_47_15_ENERGY,R_47_11_THEY)
              & conj2(R_47_18_AND,R_47_20__APOS_LL_SAVE)
              & _apos_ll_save(R_47_20__APOS_LL_SAVE,R_47_19_YOU)
              & on_clr72(R_47_20__APOS_LL_SAVE,R_47_23_AMMUNITION) ) )
      & conj2(CONJ2)
      & z_47_a_freedoom_2(Z_47_A_FREEDOOM_2)
      & conj1(Z_47_A_FREEDOOM_2,R_47_3_ENCOURAGES)
      & encourages(R_47_3_ENCOURAGES,R_47_1_IT,R_47_4_MONSTER_IN_HYPHEN_FIGHTING)
      & nim7(R_47_3_ENCOURAGES,R_47_2_ALSO) ) ).



n47_a_freedoom n47_a_freedoom__1_1_1_1_1_1 It n47_a_freedoom__1_1_1_2_1_1 also n47_a_freedoom__1_1_1_3_1 encourages n47_a_freedoom__1_1_1_4_1_1 monster n47_a_freedoom__1_1_1_4_2_1 in-fighting n47_a_freedoom__1_1_2_1 ; n47_a_freedoom__1_1_3_1_1_1_1 if n47_a_freedoom__1_1_3_1_1_2_1_1 * n47_a_freedoom__1_1_3_1_1_2_2_1 done n47_a_freedoom__1_1_3_1_1_2_3_1_1 effectively n47_a_freedoom__1_1_3_1_2_1 , n47_a_freedoom__1_1_3_1_3_1_1_1_1 they n47_a_freedoom__1_1_3_1_3_1_2_1 'll n47_a_freedoom__1_1_3_1_3_1_3_1_1 spend n47_a_freedoom__1_1_3_1_3_1_3_2_1_1_1 their n47_a_freedoom__1_1_3_1_3_1_3_2_2_1 energy n47_a_freedoom__1_1_3_1_3_1_4_1_1_1 killing n47_a_freedoom__1_1_3_1_3_1_4_1_2_1_1 each_other n47_a_freedoom__1_1_3_1_3_2_1_1 and n47_a_freedoom__1_1_3_1_3_2_2_1_1_1 you n47_a_freedoom__1_1_3_1_3_2_2_2_1 'll n47_a_freedoom__1_1_3_1_3_2_2_3_1_1 save n47_a_freedoom__1_1_3_1_3_2_2_3_2_1_1 on n47_a_freedoom__1_1_3_1_3_2_2_3_2_2_1_1 ammunition n47_a_freedoom__1_2_1 . n47_a_freedoom__1 IP-MAT n47_a_freedoom__1_1 ILYR n47_a_freedoom__1->n47_a_freedoom__1_1 n47_a_freedoom__1_2 PUNC n47_a_freedoom__1->n47_a_freedoom__1_2 n47_a_freedoom__1_1_1 ILYR n47_a_freedoom__1_1->n47_a_freedoom__1_1_1 n47_a_freedoom__1_1_2 PUNC n47_a_freedoom__1_1->n47_a_freedoom__1_1_2 n47_a_freedoom__1_1_3 CONJP n47_a_freedoom__1_1->n47_a_freedoom__1_1_3 n47_a_freedoom__1_1_1_1 NP-SBJ n47_a_freedoom__1_1_1->n47_a_freedoom__1_1_1_1 n47_a_freedoom__1_1_1_2 ADVP-NIM n47_a_freedoom__1_1_1->n47_a_freedoom__1_1_1_2 n47_a_freedoom__1_1_1_3 VBP;_Tn_ n47_a_freedoom__1_1_1->n47_a_freedoom__1_1_1_3 n47_a_freedoom__1_1_1_4 NP-OB1 n47_a_freedoom__1_1_1->n47_a_freedoom__1_1_1_4 n47_a_freedoom__1_1_1_1_1 PRO n47_a_freedoom__1_1_1_1->n47_a_freedoom__1_1_1_1_1 n47_a_freedoom__1_1_1_1_1->n47_a_freedoom__1_1_1_1_1_1 n47_a_freedoom__1_1_1_2_1 ADV n47_a_freedoom__1_1_1_2->n47_a_freedoom__1_1_1_2_1 n47_a_freedoom__1_1_1_2_1->n47_a_freedoom__1_1_1_2_1_1 n47_a_freedoom__1_1_1_3->n47_a_freedoom__1_1_1_3_1 n47_a_freedoom__1_1_1_4_1 N n47_a_freedoom__1_1_1_4->n47_a_freedoom__1_1_1_4_1 n47_a_freedoom__1_1_1_4_2 N n47_a_freedoom__1_1_1_4->n47_a_freedoom__1_1_1_4_2 n47_a_freedoom__1_1_1_4_1->n47_a_freedoom__1_1_1_4_1_1 n47_a_freedoom__1_1_1_4_2->n47_a_freedoom__1_1_1_4_2_1 n47_a_freedoom__1_1_2->n47_a_freedoom__1_1_2_1 n47_a_freedoom__1_1_3_1 ILYR n47_a_freedoom__1_1_3->n47_a_freedoom__1_1_3_1 n47_a_freedoom__1_1_3_1_1 PP-SCON n47_a_freedoom__1_1_3_1->n47_a_freedoom__1_1_3_1_1 n47_a_freedoom__1_1_3_1_2 PUNC n47_a_freedoom__1_1_3_1->n47_a_freedoom__1_1_3_1_2 n47_a_freedoom__1_1_3_1_3 ILYR n47_a_freedoom__1_1_3_1->n47_a_freedoom__1_1_3_1_3 n47_a_freedoom__1_1_3_1_1_1 P-CONN n47_a_freedoom__1_1_3_1_1->n47_a_freedoom__1_1_3_1_1_1 n47_a_freedoom__1_1_3_1_1_2 IP-PPL3 n47_a_freedoom__1_1_3_1_1->n47_a_freedoom__1_1_3_1_1_2 n47_a_freedoom__1_1_3_1_1_1->n47_a_freedoom__1_1_3_1_1_1_1 n47_a_freedoom__1_1_3_1_1_2_1 NP-LGS n47_a_freedoom__1_1_3_1_1_2->n47_a_freedoom__1_1_3_1_1_2_1 n47_a_freedoom__1_1_3_1_1_2_2 DON;_Tn_ n47_a_freedoom__1_1_3_1_1_2->n47_a_freedoom__1_1_3_1_1_2_2 n47_a_freedoom__1_1_3_1_1_2_3 ADVP-NIM n47_a_freedoom__1_1_3_1_1_2->n47_a_freedoom__1_1_3_1_1_2_3 n47_a_freedoom__1_1_3_1_1_2_1->n47_a_freedoom__1_1_3_1_1_2_1_1 n47_a_freedoom__1_1_3_1_1_2_2->n47_a_freedoom__1_1_3_1_1_2_2_1 n47_a_freedoom__1_1_3_1_1_2_3_1 ADV n47_a_freedoom__1_1_3_1_1_2_3->n47_a_freedoom__1_1_3_1_1_2_3_1 n47_a_freedoom__1_1_3_1_1_2_3_1->n47_a_freedoom__1_1_3_1_1_2_3_1_1 n47_a_freedoom__1_1_3_1_2->n47_a_freedoom__1_1_3_1_2_1 n47_a_freedoom__1_1_3_1_3_1 ILYR n47_a_freedoom__1_1_3_1_3->n47_a_freedoom__1_1_3_1_3_1 n47_a_freedoom__1_1_3_1_3_2 CONJP n47_a_freedoom__1_1_3_1_3->n47_a_freedoom__1_1_3_1_3_2 n47_a_freedoom__1_1_3_1_3_1_1 NP-SBJ n47_a_freedoom__1_1_3_1_3_1->n47_a_freedoom__1_1_3_1_3_1_1 n47_a_freedoom__1_1_3_1_3_1_2 MD;_cat_Vi_ n47_a_freedoom__1_1_3_1_3_1->n47_a_freedoom__1_1_3_1_3_1_2 n47_a_freedoom__1_1_3_1_3_1_3 IP-INF-CAT n47_a_freedoom__1_1_3_1_3_1->n47_a_freedoom__1_1_3_1_3_1_3 n47_a_freedoom__1_1_3_1_3_1_4 PP-SCON n47_a_freedoom__1_1_3_1_3_1->n47_a_freedoom__1_1_3_1_3_1_4 n47_a_freedoom__1_1_3_1_3_1_1_1 PRO n47_a_freedoom__1_1_3_1_3_1_1->n47_a_freedoom__1_1_3_1_3_1_1_1 n47_a_freedoom__1_1_3_1_3_1_1_1->n47_a_freedoom__1_1_3_1_3_1_1_1_1 n47_a_freedoom__1_1_3_1_3_1_2->n47_a_freedoom__1_1_3_1_3_1_2_1 n47_a_freedoom__1_1_3_1_3_1_3_1 VB;_Tn_ n47_a_freedoom__1_1_3_1_3_1_3->n47_a_freedoom__1_1_3_1_3_1_3_1 n47_a_freedoom__1_1_3_1_3_1_3_2 NP-OB1 n47_a_freedoom__1_1_3_1_3_1_3->n47_a_freedoom__1_1_3_1_3_1_3_2 n47_a_freedoom__1_1_3_1_3_1_3_1->n47_a_freedoom__1_1_3_1_3_1_3_1_1 n47_a_freedoom__1_1_3_1_3_1_3_2_1 NP-GEN n47_a_freedoom__1_1_3_1_3_1_3_2->n47_a_freedoom__1_1_3_1_3_1_3_2_1 n47_a_freedoom__1_1_3_1_3_1_3_2_2 N n47_a_freedoom__1_1_3_1_3_1_3_2->n47_a_freedoom__1_1_3_1_3_1_3_2_2 n47_a_freedoom__1_1_3_1_3_1_3_2_1_1 PRO;_genm_ n47_a_freedoom__1_1_3_1_3_1_3_2_1->n47_a_freedoom__1_1_3_1_3_1_3_2_1_1 n47_a_freedoom__1_1_3_1_3_1_3_2_1_1->n47_a_freedoom__1_1_3_1_3_1_3_2_1_1_1 n47_a_freedoom__1_1_3_1_3_1_3_2_2->n47_a_freedoom__1_1_3_1_3_1_3_2_2_1 n47_a_freedoom__1_1_3_1_3_1_4_1 IP-PPL n47_a_freedoom__1_1_3_1_3_1_4->n47_a_freedoom__1_1_3_1_3_1_4_1 n47_a_freedoom__1_1_3_1_3_1_4_1_1 VAG;_Tn_ n47_a_freedoom__1_1_3_1_3_1_4_1->n47_a_freedoom__1_1_3_1_3_1_4_1_1 n47_a_freedoom__1_1_3_1_3_1_4_1_2 NP-OB1 n47_a_freedoom__1_1_3_1_3_1_4_1->n47_a_freedoom__1_1_3_1_3_1_4_1_2 n47_a_freedoom__1_1_3_1_3_1_4_1_1->n47_a_freedoom__1_1_3_1_3_1_4_1_1_1 n47_a_freedoom__1_1_3_1_3_1_4_1_2_1 PNX n47_a_freedoom__1_1_3_1_3_1_4_1_2->n47_a_freedoom__1_1_3_1_3_1_4_1_2_1 n47_a_freedoom__1_1_3_1_3_1_4_1_2_1->n47_a_freedoom__1_1_3_1_3_1_4_1_2_1_1 n47_a_freedoom__1_1_3_1_3_2_1 CONJ n47_a_freedoom__1_1_3_1_3_2->n47_a_freedoom__1_1_3_1_3_2_1 n47_a_freedoom__1_1_3_1_3_2_2 ILYR n47_a_freedoom__1_1_3_1_3_2->n47_a_freedoom__1_1_3_1_3_2_2 n47_a_freedoom__1_1_3_1_3_2_1->n47_a_freedoom__1_1_3_1_3_2_1_1 n47_a_freedoom__1_1_3_1_3_2_2_1 NP-SBJ n47_a_freedoom__1_1_3_1_3_2_2->n47_a_freedoom__1_1_3_1_3_2_2_1 n47_a_freedoom__1_1_3_1_3_2_2_2 MD;_cat_Vi_ n47_a_freedoom__1_1_3_1_3_2_2->n47_a_freedoom__1_1_3_1_3_2_2_2 n47_a_freedoom__1_1_3_1_3_2_2_3 IP-INF-CAT n47_a_freedoom__1_1_3_1_3_2_2->n47_a_freedoom__1_1_3_1_3_2_2_3 n47_a_freedoom__1_1_3_1_3_2_2_1_1 PRO n47_a_freedoom__1_1_3_1_3_2_2_1->n47_a_freedoom__1_1_3_1_3_2_2_1_1 n47_a_freedoom__1_1_3_1_3_2_2_1_1->n47_a_freedoom__1_1_3_1_3_2_2_1_1_1 n47_a_freedoom__1_1_3_1_3_2_2_2->n47_a_freedoom__1_1_3_1_3_2_2_2_1 n47_a_freedoom__1_1_3_1_3_2_2_3_1 VB;_Ipr_ n47_a_freedoom__1_1_3_1_3_2_2_3->n47_a_freedoom__1_1_3_1_3_2_2_3_1 n47_a_freedoom__1_1_3_1_3_2_2_3_2 PP-CLR n47_a_freedoom__1_1_3_1_3_2_2_3->n47_a_freedoom__1_1_3_1_3_2_2_3_2 n47_a_freedoom__1_1_3_1_3_2_2_3_1->n47_a_freedoom__1_1_3_1_3_2_2_3_1_1 n47_a_freedoom__1_1_3_1_3_2_2_3_2_1 P-ROLE n47_a_freedoom__1_1_3_1_3_2_2_3_2->n47_a_freedoom__1_1_3_1_3_2_2_3_2_1 n47_a_freedoom__1_1_3_1_3_2_2_3_2_2 NP n47_a_freedoom__1_1_3_1_3_2_2_3_2->n47_a_freedoom__1_1_3_1_3_2_2_3_2_2 n47_a_freedoom__1_1_3_1_3_2_2_3_2_1->n47_a_freedoom__1_1_3_1_3_2_2_3_2_1_1 n47_a_freedoom__1_1_3_1_3_2_2_3_2_2_1 N n47_a_freedoom__1_1_3_1_3_2_2_3_2_2->n47_a_freedoom__1_1_3_1_3_2_2_3_2_2_1 n47_a_freedoom__1_1_3_1_3_2_2_3_2_2_1->n47_a_freedoom__1_1_3_1_3_2_2_3_2_2_1_1 n47_a_freedoom__1_2->n47_a_freedoom__1_2_1
( (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))