Context                Previous, Next                Top


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 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_r_0047_0021__save 'll save r_0047_0018__and->r_0047_0020___apos_ll_r_0047_0021__save [conj2] z_000_47_a_freedoom_50 r_0047_0018__and->z_000_47_a_freedoom_50 [conj1] r_0047_0012___apos_ll_r_0047_0013__spend 'll spend r_0047_0011__they they 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] 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_0019__you you r_0047_0020___apos_ll_r_0047_0021__save->r_0047_0019__you [arg0] r_0047_0023__ammunition ammunition r_0047_0020___apos_ll_r_0047_0021__save->r_0047_0023__ammunition on [clr] z_000_47_a_freedoom_50->r_0047_0012___apos_ll_r_0047_0013__spend [conj2] z_000_47_a_freedoom_50->r_0047_0016__killing [conj1] 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] 
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_6 It n47_a_freedoom_9 also n47_a_freedoom_11 encourages n47_a_freedoom_14 monster n47_a_freedoom_16 in-fighting n47_a_freedoom_18 ; n47_a_freedoom_23 if n47_a_freedoom_26 * n47_a_freedoom_28 done n47_a_freedoom_31 effectively n47_a_freedoom_33 , n47_a_freedoom_38 they n47_a_freedoom_40 'll n47_a_freedoom_43 spend n47_a_freedoom_47 their n47_a_freedoom_49 energy n47_a_freedoom_53 killing n47_a_freedoom_56 each_other n47_a_freedoom_59 and n47_a_freedoom_63 you n47_a_freedoom_65 'll n47_a_freedoom_68 save n47_a_freedoom_71 on n47_a_freedoom_74 ammunition n47_a_freedoom_76 . n47_a_freedoom_1 IP-MAT n47_a_freedoom_2 ILYR n47_a_freedoom_1->n47_a_freedoom_2 n47_a_freedoom_75 PUNC n47_a_freedoom_1->n47_a_freedoom_75 n47_a_freedoom_3 ILYR n47_a_freedoom_2->n47_a_freedoom_3 n47_a_freedoom_17 PUNC n47_a_freedoom_2->n47_a_freedoom_17 n47_a_freedoom_19 CONJP n47_a_freedoom_2->n47_a_freedoom_19 n47_a_freedoom_4 NP-SBJ n47_a_freedoom_3->n47_a_freedoom_4 n47_a_freedoom_7 ADVP-NIM n47_a_freedoom_3->n47_a_freedoom_7 n47_a_freedoom_10 VBP;_Tn_ n47_a_freedoom_3->n47_a_freedoom_10 n47_a_freedoom_12 NP-OB1 n47_a_freedoom_3->n47_a_freedoom_12 n47_a_freedoom_5 PRO n47_a_freedoom_4->n47_a_freedoom_5 n47_a_freedoom_5->n47_a_freedoom_6 n47_a_freedoom_8 ADV n47_a_freedoom_7->n47_a_freedoom_8 n47_a_freedoom_8->n47_a_freedoom_9 n47_a_freedoom_10->n47_a_freedoom_11 n47_a_freedoom_13 N n47_a_freedoom_12->n47_a_freedoom_13 n47_a_freedoom_15 N n47_a_freedoom_12->n47_a_freedoom_15 n47_a_freedoom_13->n47_a_freedoom_14 n47_a_freedoom_15->n47_a_freedoom_16 n47_a_freedoom_17->n47_a_freedoom_18 n47_a_freedoom_20 ILYR n47_a_freedoom_19->n47_a_freedoom_20 n47_a_freedoom_21 PP-SCON n47_a_freedoom_20->n47_a_freedoom_21 n47_a_freedoom_32 PUNC n47_a_freedoom_20->n47_a_freedoom_32 n47_a_freedoom_34 ILYR n47_a_freedoom_20->n47_a_freedoom_34 n47_a_freedoom_22 P-CONN n47_a_freedoom_21->n47_a_freedoom_22 n47_a_freedoom_24 IP-PPL3 n47_a_freedoom_21->n47_a_freedoom_24 n47_a_freedoom_22->n47_a_freedoom_23 n47_a_freedoom_25 NP-LGS n47_a_freedoom_24->n47_a_freedoom_25 n47_a_freedoom_27 DON;_Tn_ n47_a_freedoom_24->n47_a_freedoom_27 n47_a_freedoom_29 ADVP-NIM n47_a_freedoom_24->n47_a_freedoom_29 n47_a_freedoom_25->n47_a_freedoom_26 n47_a_freedoom_27->n47_a_freedoom_28 n47_a_freedoom_30 ADV n47_a_freedoom_29->n47_a_freedoom_30 n47_a_freedoom_30->n47_a_freedoom_31 n47_a_freedoom_32->n47_a_freedoom_33 n47_a_freedoom_35 ILYR n47_a_freedoom_34->n47_a_freedoom_35 n47_a_freedoom_57 CONJP n47_a_freedoom_34->n47_a_freedoom_57 n47_a_freedoom_36 NP-SBJ n47_a_freedoom_35->n47_a_freedoom_36 n47_a_freedoom_39 MD;_cat_Vi_ n47_a_freedoom_35->n47_a_freedoom_39 n47_a_freedoom_41 IP-INF-CAT n47_a_freedoom_35->n47_a_freedoom_41 n47_a_freedoom_50 PP-SCON n47_a_freedoom_35->n47_a_freedoom_50 n47_a_freedoom_37 PRO n47_a_freedoom_36->n47_a_freedoom_37 n47_a_freedoom_37->n47_a_freedoom_38 n47_a_freedoom_39->n47_a_freedoom_40 n47_a_freedoom_42 VB;_Tn_ n47_a_freedoom_41->n47_a_freedoom_42 n47_a_freedoom_44 NP-OB1 n47_a_freedoom_41->n47_a_freedoom_44 n47_a_freedoom_42->n47_a_freedoom_43 n47_a_freedoom_45 NP-GEN n47_a_freedoom_44->n47_a_freedoom_45 n47_a_freedoom_48 N n47_a_freedoom_44->n47_a_freedoom_48 n47_a_freedoom_46 PRO;_genm_ n47_a_freedoom_45->n47_a_freedoom_46 n47_a_freedoom_46->n47_a_freedoom_47 n47_a_freedoom_48->n47_a_freedoom_49 n47_a_freedoom_51 IP-PPL n47_a_freedoom_50->n47_a_freedoom_51 n47_a_freedoom_52 VAG;_Tn_ n47_a_freedoom_51->n47_a_freedoom_52 n47_a_freedoom_54 NP-OB1 n47_a_freedoom_51->n47_a_freedoom_54 n47_a_freedoom_52->n47_a_freedoom_53 n47_a_freedoom_55 PNX n47_a_freedoom_54->n47_a_freedoom_55 n47_a_freedoom_55->n47_a_freedoom_56 n47_a_freedoom_58 CONJ n47_a_freedoom_57->n47_a_freedoom_58 n47_a_freedoom_60 ILYR n47_a_freedoom_57->n47_a_freedoom_60 n47_a_freedoom_58->n47_a_freedoom_59 n47_a_freedoom_61 NP-SBJ n47_a_freedoom_60->n47_a_freedoom_61 n47_a_freedoom_64 MD;_cat_Vi_ n47_a_freedoom_60->n47_a_freedoom_64 n47_a_freedoom_66 IP-INF-CAT n47_a_freedoom_60->n47_a_freedoom_66 n47_a_freedoom_62 PRO n47_a_freedoom_61->n47_a_freedoom_62 n47_a_freedoom_62->n47_a_freedoom_63 n47_a_freedoom_64->n47_a_freedoom_65 n47_a_freedoom_67 VB;_Ipr_ n47_a_freedoom_66->n47_a_freedoom_67 n47_a_freedoom_69 PP-CLR n47_a_freedoom_66->n47_a_freedoom_69 n47_a_freedoom_67->n47_a_freedoom_68 n47_a_freedoom_70 P-ROLE n47_a_freedoom_69->n47_a_freedoom_70 n47_a_freedoom_72 NP n47_a_freedoom_69->n47_a_freedoom_72 n47_a_freedoom_70->n47_a_freedoom_71 n47_a_freedoom_73 N n47_a_freedoom_72->n47_a_freedoom_73 n47_a_freedoom_73->n47_a_freedoom_74 n47_a_freedoom_75->n47_a_freedoom_76 
( (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))