Context                Previous, Next                Top


39_a_freedoom
If a monster gets injured by another monster, it'll retaliate against the one that injured it (this is called monster in-fighting).

%3 r_0039_0001__If If r_0039_0004__gets gets r_0039_0001__If->r_0039_0004__gets [restriction] r_0039_0011___apos_ll 'll r_0039_0001__If->r_0039_0011___apos_ll [scope] r_0039_0005__injured injured r_0039_0004__gets->r_0039_0005__injured [scope] r_0039_0012__retaliate retaliate r_0039_0011___apos_ll->r_0039_0012__retaliate [scope] r_0039_0002__a_r_0039_0003__monster a monster r_0039_0005__injured->r_0039_0002__a_r_0039_0003__monster [arg1] r_0039_0007__another_r_0039_0008__monster another monster r_0039_0005__injured->r_0039_0007__another_r_0039_0008__monster [arg0] r_0039_0012__retaliate->r_0039_0002__a_r_0039_0003__monster [arg0] r_0039_0014__the_r_0039_0015__one the one r_0039_0012__retaliate->r_0039_0014__the_r_0039_0015__one against [clr] r_0039_0016__that_r_0039_0017__injured that injured r_0039_0016__that_r_0039_0017__injured->r_0039_0002__a_r_0039_0003__monster [arg1] r_0039_0016__that_r_0039_0017__injured->r_0039_0014__the_r_0039_0015__one [arg0] 
arc(r_0039_0001__If, r_0039_0004__gets, restriction).
arc(r_0039_0001__If, r_0039_0011___apos_ll, scope).
arc(r_0039_0004__gets, r_0039_0005__injured, scope).
arc(r_0039_0005__injured, r_0039_0002__a_r_0039_0003__monster, arg1).
arc(r_0039_0005__injured, r_0039_0007__another_r_0039_0008__monster, arg0).
arc(r_0039_0011___apos_ll, r_0039_0012__retaliate, scope).
arc(r_0039_0012__retaliate, r_0039_0002__a_r_0039_0003__monster, arg0).
arc(r_0039_0012__retaliate, r_0039_0014__the_r_0039_0015__one, r_0039_0013__against_clr37).
arc(r_0039_0016__that_r_0039_0017__injured, r_0039_0002__a_r_0039_0003__monster, arg1).
arc(r_0039_0016__that_r_0039_0017__injured, r_0039_0014__the_r_0039_0015__one, arg0).


%3 r_0039_0001__If If r_0039_0004__gets_r_0039_0005__injured gets injured r_0039_0001__If->r_0039_0004__gets_r_0039_0005__injured [restriction] r_0039_0011___apos_ll_r_0039_0012__retaliate 'll retaliate r_0039_0001__If->r_0039_0011___apos_ll_r_0039_0012__retaliate [scope] r_0039_0002__a_r_0039_0003__monster a monster r_0039_0004__gets_r_0039_0005__injured->r_0039_0002__a_r_0039_0003__monster [arg1] r_0039_0007__another_r_0039_0008__monster another monster r_0039_0004__gets_r_0039_0005__injured->r_0039_0007__another_r_0039_0008__monster [arg0] r_0039_0011___apos_ll_r_0039_0012__retaliate->r_0039_0002__a_r_0039_0003__monster [arg0] r_0039_0014__the_r_0039_0015__one the one r_0039_0011___apos_ll_r_0039_0012__retaliate->r_0039_0014__the_r_0039_0015__one against [clr] r_0039_0016__that_r_0039_0017__injured that injured r_0039_0016__that_r_0039_0017__injured->r_0039_0002__a_r_0039_0003__monster [arg1] r_0039_0016__that_r_0039_0017__injured->r_0039_0014__the_r_0039_0015__one [arg0] 
fof(formula,axiom,
    ? [R_39_16_THAT_INJURED,R_39_14_THE_ONE,R_39_2_A_MONSTER] :
      ( the_one(R_39_14_THE_ONE)
      & a_monster(R_39_2_A_MONSTER)
      & ! [R_39_4_GETS_INJURED,R_39_7_ANOTHER_MONSTER] :
          ( ( another_monster(R_39_7_ANOTHER_MONSTER)
            & gets_injured(R_39_4_GETS_INJURED,R_39_7_ANOTHER_MONSTER,R_39_2_A_MONSTER) )
         => ? [R_39_11__APOS_LL_RETALIATE] :
              ( _apos_ll_retaliate(R_39_11__APOS_LL_RETALIATE,R_39_2_A_MONSTER)
              & against_clr37(R_39_11__APOS_LL_RETALIATE,R_39_14_THE_ONE) ) )
      & that_injured(R_39_16_THAT_INJURED,R_39_14_THE_ONE,R_39_2_A_MONSTER) ) ).


n39_a_freedoom n39_a_freedoom_4 If n39_a_freedoom_8 a n39_a_freedoom_10 monster n39_a_freedoom_12 gets n39_a_freedoom_15 injured n39_a_freedoom_18 by n39_a_freedoom_21 another n39_a_freedoom_23 monster n39_a_freedoom_25 , n39_a_freedoom_28 it n39_a_freedoom_30 'll n39_a_freedoom_33 retaliate n39_a_freedoom_36 against n39_a_freedoom_39 the n39_a_freedoom_41 one n39_a_freedoom_44 that n39_a_freedoom_46 *T* n39_a_freedoom_48 injured n39_a_freedoom_51 it n39_a_freedoom_53 -LRB- n39_a_freedoom_58 this n39_a_freedoom_60 is n39_a_freedoom_63 * n39_a_freedoom_65 called n39_a_freedoom_68 monster n39_a_freedoom_70 in-fighting n39_a_freedoom_72 -RRB- n39_a_freedoom_74 . n39_a_freedoom_1 IP-MAT n39_a_freedoom_2 PP-SCON n39_a_freedoom_1->n39_a_freedoom_2 n39_a_freedoom_24 PUNC n39_a_freedoom_1->n39_a_freedoom_24 n39_a_freedoom_26 NP-SBJ n39_a_freedoom_1->n39_a_freedoom_26 n39_a_freedoom_29 MD;_cat_Vi_ n39_a_freedoom_1->n39_a_freedoom_29 n39_a_freedoom_31 IP-INF-CAT n39_a_freedoom_1->n39_a_freedoom_31 n39_a_freedoom_52 PULB n39_a_freedoom_1->n39_a_freedoom_52 n39_a_freedoom_54 PRN n39_a_freedoom_1->n39_a_freedoom_54 n39_a_freedoom_71 PURB n39_a_freedoom_1->n39_a_freedoom_71 n39_a_freedoom_73 PUNC n39_a_freedoom_1->n39_a_freedoom_73 n39_a_freedoom_3 P-CONN n39_a_freedoom_2->n39_a_freedoom_3 n39_a_freedoom_5 IP-ADV n39_a_freedoom_2->n39_a_freedoom_5 n39_a_freedoom_3->n39_a_freedoom_4 n39_a_freedoom_6 NP-SBJ n39_a_freedoom_5->n39_a_freedoom_6 n39_a_freedoom_11 VBP;_cat_VePASS_ n39_a_freedoom_5->n39_a_freedoom_11 n39_a_freedoom_13 IP-PPL-CAT n39_a_freedoom_5->n39_a_freedoom_13 n39_a_freedoom_7 D n39_a_freedoom_6->n39_a_freedoom_7 n39_a_freedoom_9 N n39_a_freedoom_6->n39_a_freedoom_9 n39_a_freedoom_7->n39_a_freedoom_8 n39_a_freedoom_9->n39_a_freedoom_10 n39_a_freedoom_11->n39_a_freedoom_12 n39_a_freedoom_14 VVN;_Tn_ n39_a_freedoom_13->n39_a_freedoom_14 n39_a_freedoom_16 PP-LGS n39_a_freedoom_13->n39_a_freedoom_16 n39_a_freedoom_14->n39_a_freedoom_15 n39_a_freedoom_17 P-ROLE;_lgs_ n39_a_freedoom_16->n39_a_freedoom_17 n39_a_freedoom_19 NP n39_a_freedoom_16->n39_a_freedoom_19 n39_a_freedoom_17->n39_a_freedoom_18 n39_a_freedoom_20 D n39_a_freedoom_19->n39_a_freedoom_20 n39_a_freedoom_22 N n39_a_freedoom_19->n39_a_freedoom_22 n39_a_freedoom_20->n39_a_freedoom_21 n39_a_freedoom_22->n39_a_freedoom_23 n39_a_freedoom_24->n39_a_freedoom_25 n39_a_freedoom_27 PRO n39_a_freedoom_26->n39_a_freedoom_27 n39_a_freedoom_27->n39_a_freedoom_28 n39_a_freedoom_29->n39_a_freedoom_30 n39_a_freedoom_32 VB;_Ipr_ n39_a_freedoom_31->n39_a_freedoom_32 n39_a_freedoom_34 PP-CLR n39_a_freedoom_31->n39_a_freedoom_34 n39_a_freedoom_32->n39_a_freedoom_33 n39_a_freedoom_35 P-ROLE n39_a_freedoom_34->n39_a_freedoom_35 n39_a_freedoom_37 NP n39_a_freedoom_34->n39_a_freedoom_37 n39_a_freedoom_35->n39_a_freedoom_36 n39_a_freedoom_38 D n39_a_freedoom_37->n39_a_freedoom_38 n39_a_freedoom_40 N n39_a_freedoom_37->n39_a_freedoom_40 n39_a_freedoom_42 IP-REL n39_a_freedoom_37->n39_a_freedoom_42 n39_a_freedoom_38->n39_a_freedoom_39 n39_a_freedoom_40->n39_a_freedoom_41 n39_a_freedoom_43 C n39_a_freedoom_42->n39_a_freedoom_43 n39_a_freedoom_45 NP-SBJ n39_a_freedoom_42->n39_a_freedoom_45 n39_a_freedoom_47 VBD;_Tn_ n39_a_freedoom_42->n39_a_freedoom_47 n39_a_freedoom_49 NP-OB1 n39_a_freedoom_42->n39_a_freedoom_49 n39_a_freedoom_43->n39_a_freedoom_44 n39_a_freedoom_45->n39_a_freedoom_46 n39_a_freedoom_47->n39_a_freedoom_48 n39_a_freedoom_50 PRO n39_a_freedoom_49->n39_a_freedoom_50 n39_a_freedoom_50->n39_a_freedoom_51 n39_a_freedoom_52->n39_a_freedoom_53 n39_a_freedoom_55 IP-MAT n39_a_freedoom_54->n39_a_freedoom_55 n39_a_freedoom_56 NP-SBJ n39_a_freedoom_55->n39_a_freedoom_56 n39_a_freedoom_59 BEP;_cat_VePASS_ n39_a_freedoom_55->n39_a_freedoom_59 n39_a_freedoom_61 IP-PPL-CAT n39_a_freedoom_55->n39_a_freedoom_61 n39_a_freedoom_57 D;_nphd_ n39_a_freedoom_56->n39_a_freedoom_57 n39_a_freedoom_57->n39_a_freedoom_58 n39_a_freedoom_59->n39_a_freedoom_60 n39_a_freedoom_62 NP-LGS n39_a_freedoom_61->n39_a_freedoom_62 n39_a_freedoom_64 VVN;_Cn.n_ n39_a_freedoom_61->n39_a_freedoom_64 n39_a_freedoom_66 NP-PRD n39_a_freedoom_61->n39_a_freedoom_66 n39_a_freedoom_62->n39_a_freedoom_63 n39_a_freedoom_64->n39_a_freedoom_65 n39_a_freedoom_67 N n39_a_freedoom_66->n39_a_freedoom_67 n39_a_freedoom_69 N n39_a_freedoom_66->n39_a_freedoom_69 n39_a_freedoom_67->n39_a_freedoom_68 n39_a_freedoom_69->n39_a_freedoom_70 n39_a_freedoom_71->n39_a_freedoom_72 n39_a_freedoom_73->n39_a_freedoom_74 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{MONSTER1} (D a;{a})
                                              (N monster;{monster}))
                           (VBP;_cat_VePASS_ gets;{get})
                           (IP-PPL-CAT (VVN;_Tn_ injured;{injure})
                                       (PP-LGS (P-ROLE;_lgs_ by;{by})
                                               (NP;{MONSTER2} (D another;{another})
                                                              (N monster;{monster}))))))
          (PUNC ,)
          (NP-SBJ;{MONSTER1} (PRO it;{it}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (VB;_Ipr_ retaliate;{retaliate[against]})
                      (PP-CLR (P-ROLE against;{against})
                              (NP;{MONSTER2} (D the;{the})
                                             (N one;{one})
                                             (IP-REL (C that;{that})
                                                     (NP-SBJ *T*)
                                                     (VBD;_Tn_ injured;{injure})
                                                     (NP-OB1;{MONSTER1} (PRO it;{it}))))))
          (PULB -LRB-)
          (PRN (IP-MAT (NP-SBJ (D;_nphd_ this;{this}))
                       (BEP;_cat_VePASS_ is;{be})
                       (IP-PPL-CAT (NP-LGS *)
                                   (VVN;_Cn.n_ called;{call})
                                   (NP-PRD (N monster;{monster})
                                           (N in_<hyphen>_fighting;{infighting})))))
          (PURB -RRB-)
          (PUNC .))
  (ID 39_a_freedoom))