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_0016__that_r_0039_0017__injured that injured r_0039_0014__the_r_0039_0015__one the one r_0039_0016__that_r_0039_0017__injured->r_0039_0014__the_r_0039_0015__one [arg0] r_0039_0002__a_r_0039_0003__monster a monster r_0039_0016__that_r_0039_0017__injured->r_0039_0002__a_r_0039_0003__monster [arg1] r_0039_0011___apos_ll_r_0039_0012__retaliate 'll retaliate r_0039_0011___apos_ll_r_0039_0012__retaliate->r_0039_0014__the_r_0039_0015__one against [clr] r_0039_0011___apos_ll_r_0039_0012__retaliate->r_0039_0002__a_r_0039_0003__monster [arg0] r_0039_0004__gets_r_0039_0005__injured gets injured 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_0001__If If r_0039_0001__If->r_0039_0011___apos_ll_r_0039_0012__retaliate [scope] r_0039_0001__If->r_0039_0004__gets_r_0039_0005__injured [restriction] 
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__1_1_1_1 If n39_a_freedoom__1_1_2_1_1_1 a n39_a_freedoom__1_1_2_1_2_1 monster n39_a_freedoom__1_1_2_2_1 gets n39_a_freedoom__1_1_2_3_1_1 injured n39_a_freedoom__1_1_2_3_2_1_1 by n39_a_freedoom__1_1_2_3_2_2_1_1 another n39_a_freedoom__1_1_2_3_2_2_2_1 monster n39_a_freedoom__1_2_1 , n39_a_freedoom__1_3_1_1 it n39_a_freedoom__1_4_1 'll n39_a_freedoom__1_5_1_1 retaliate n39_a_freedoom__1_5_2_1_1 against n39_a_freedoom__1_5_2_2_1_1 the n39_a_freedoom__1_5_2_2_2_1 one n39_a_freedoom__1_5_2_2_3_1_1 that n39_a_freedoom__1_5_2_2_3_2_1 *T* n39_a_freedoom__1_5_2_2_3_3_1 injured n39_a_freedoom__1_5_2_2_3_4_1_1 it n39_a_freedoom__1_6_1 -LRB- n39_a_freedoom__1_7_1_1_1_1 this n39_a_freedoom__1_7_1_2_1 is n39_a_freedoom__1_7_1_3_1_1 * n39_a_freedoom__1_7_1_3_2_1 called n39_a_freedoom__1_7_1_3_3_1_1 monster n39_a_freedoom__1_7_1_3_3_2_1 in-fighting n39_a_freedoom__1_8_1 -RRB- n39_a_freedoom__1_9_1 . n39_a_freedoom__1 IP-MAT n39_a_freedoom__1_1 PP-SCON n39_a_freedoom__1->n39_a_freedoom__1_1 n39_a_freedoom__1_2 PUNC n39_a_freedoom__1->n39_a_freedoom__1_2 n39_a_freedoom__1_3 NP-SBJ n39_a_freedoom__1->n39_a_freedoom__1_3 n39_a_freedoom__1_4 MD;_cat_Vi_ n39_a_freedoom__1->n39_a_freedoom__1_4 n39_a_freedoom__1_5 IP-INF-CAT n39_a_freedoom__1->n39_a_freedoom__1_5 n39_a_freedoom__1_6 PULB n39_a_freedoom__1->n39_a_freedoom__1_6 n39_a_freedoom__1_7 PRN n39_a_freedoom__1->n39_a_freedoom__1_7 n39_a_freedoom__1_8 PURB n39_a_freedoom__1->n39_a_freedoom__1_8 n39_a_freedoom__1_9 PUNC n39_a_freedoom__1->n39_a_freedoom__1_9 n39_a_freedoom__1_1_1 P-CONN n39_a_freedoom__1_1->n39_a_freedoom__1_1_1 n39_a_freedoom__1_1_2 IP-ADV n39_a_freedoom__1_1->n39_a_freedoom__1_1_2 n39_a_freedoom__1_1_1->n39_a_freedoom__1_1_1_1 n39_a_freedoom__1_1_2_1 NP-SBJ n39_a_freedoom__1_1_2->n39_a_freedoom__1_1_2_1 n39_a_freedoom__1_1_2_2 VBP;_cat_VePASS_ n39_a_freedoom__1_1_2->n39_a_freedoom__1_1_2_2 n39_a_freedoom__1_1_2_3 IP-PPL-CAT n39_a_freedoom__1_1_2->n39_a_freedoom__1_1_2_3 n39_a_freedoom__1_1_2_1_1 D n39_a_freedoom__1_1_2_1->n39_a_freedoom__1_1_2_1_1 n39_a_freedoom__1_1_2_1_2 N n39_a_freedoom__1_1_2_1->n39_a_freedoom__1_1_2_1_2 n39_a_freedoom__1_1_2_1_1->n39_a_freedoom__1_1_2_1_1_1 n39_a_freedoom__1_1_2_1_2->n39_a_freedoom__1_1_2_1_2_1 n39_a_freedoom__1_1_2_2->n39_a_freedoom__1_1_2_2_1 n39_a_freedoom__1_1_2_3_1 VVN;_Tn_ n39_a_freedoom__1_1_2_3->n39_a_freedoom__1_1_2_3_1 n39_a_freedoom__1_1_2_3_2 PP-LGS n39_a_freedoom__1_1_2_3->n39_a_freedoom__1_1_2_3_2 n39_a_freedoom__1_1_2_3_1->n39_a_freedoom__1_1_2_3_1_1 n39_a_freedoom__1_1_2_3_2_1 P-ROLE;_lgs_ n39_a_freedoom__1_1_2_3_2->n39_a_freedoom__1_1_2_3_2_1 n39_a_freedoom__1_1_2_3_2_2 NP n39_a_freedoom__1_1_2_3_2->n39_a_freedoom__1_1_2_3_2_2 n39_a_freedoom__1_1_2_3_2_1->n39_a_freedoom__1_1_2_3_2_1_1 n39_a_freedoom__1_1_2_3_2_2_1 D n39_a_freedoom__1_1_2_3_2_2->n39_a_freedoom__1_1_2_3_2_2_1 n39_a_freedoom__1_1_2_3_2_2_2 N n39_a_freedoom__1_1_2_3_2_2->n39_a_freedoom__1_1_2_3_2_2_2 n39_a_freedoom__1_1_2_3_2_2_1->n39_a_freedoom__1_1_2_3_2_2_1_1 n39_a_freedoom__1_1_2_3_2_2_2->n39_a_freedoom__1_1_2_3_2_2_2_1 n39_a_freedoom__1_2->n39_a_freedoom__1_2_1 n39_a_freedoom__1_3_1 PRO n39_a_freedoom__1_3->n39_a_freedoom__1_3_1 n39_a_freedoom__1_3_1->n39_a_freedoom__1_3_1_1 n39_a_freedoom__1_4->n39_a_freedoom__1_4_1 n39_a_freedoom__1_5_1 VB;_Ipr_ n39_a_freedoom__1_5->n39_a_freedoom__1_5_1 n39_a_freedoom__1_5_2 PP-CLR n39_a_freedoom__1_5->n39_a_freedoom__1_5_2 n39_a_freedoom__1_5_1->n39_a_freedoom__1_5_1_1 n39_a_freedoom__1_5_2_1 P-ROLE n39_a_freedoom__1_5_2->n39_a_freedoom__1_5_2_1 n39_a_freedoom__1_5_2_2 NP n39_a_freedoom__1_5_2->n39_a_freedoom__1_5_2_2 n39_a_freedoom__1_5_2_1->n39_a_freedoom__1_5_2_1_1 n39_a_freedoom__1_5_2_2_1 D n39_a_freedoom__1_5_2_2->n39_a_freedoom__1_5_2_2_1 n39_a_freedoom__1_5_2_2_2 N n39_a_freedoom__1_5_2_2->n39_a_freedoom__1_5_2_2_2 n39_a_freedoom__1_5_2_2_3 IP-REL n39_a_freedoom__1_5_2_2->n39_a_freedoom__1_5_2_2_3 n39_a_freedoom__1_5_2_2_1->n39_a_freedoom__1_5_2_2_1_1 n39_a_freedoom__1_5_2_2_2->n39_a_freedoom__1_5_2_2_2_1 n39_a_freedoom__1_5_2_2_3_1 C n39_a_freedoom__1_5_2_2_3->n39_a_freedoom__1_5_2_2_3_1 n39_a_freedoom__1_5_2_2_3_2 NP-SBJ n39_a_freedoom__1_5_2_2_3->n39_a_freedoom__1_5_2_2_3_2 n39_a_freedoom__1_5_2_2_3_3 VBD;_Tn_ n39_a_freedoom__1_5_2_2_3->n39_a_freedoom__1_5_2_2_3_3 n39_a_freedoom__1_5_2_2_3_4 NP-OB1 n39_a_freedoom__1_5_2_2_3->n39_a_freedoom__1_5_2_2_3_4 n39_a_freedoom__1_5_2_2_3_1->n39_a_freedoom__1_5_2_2_3_1_1 n39_a_freedoom__1_5_2_2_3_2->n39_a_freedoom__1_5_2_2_3_2_1 n39_a_freedoom__1_5_2_2_3_3->n39_a_freedoom__1_5_2_2_3_3_1 n39_a_freedoom__1_5_2_2_3_4_1 PRO n39_a_freedoom__1_5_2_2_3_4->n39_a_freedoom__1_5_2_2_3_4_1 n39_a_freedoom__1_5_2_2_3_4_1->n39_a_freedoom__1_5_2_2_3_4_1_1 n39_a_freedoom__1_6->n39_a_freedoom__1_6_1 n39_a_freedoom__1_7_1 IP-MAT n39_a_freedoom__1_7->n39_a_freedoom__1_7_1 n39_a_freedoom__1_7_1_1 NP-SBJ n39_a_freedoom__1_7_1->n39_a_freedoom__1_7_1_1 n39_a_freedoom__1_7_1_2 BEP;_cat_VePASS_ n39_a_freedoom__1_7_1->n39_a_freedoom__1_7_1_2 n39_a_freedoom__1_7_1_3 IP-PPL-CAT n39_a_freedoom__1_7_1->n39_a_freedoom__1_7_1_3 n39_a_freedoom__1_7_1_1_1 D;_nphd_ n39_a_freedoom__1_7_1_1->n39_a_freedoom__1_7_1_1_1 n39_a_freedoom__1_7_1_1_1->n39_a_freedoom__1_7_1_1_1_1 n39_a_freedoom__1_7_1_2->n39_a_freedoom__1_7_1_2_1 n39_a_freedoom__1_7_1_3_1 NP-LGS n39_a_freedoom__1_7_1_3->n39_a_freedoom__1_7_1_3_1 n39_a_freedoom__1_7_1_3_2 VVN;_Cn.n_ n39_a_freedoom__1_7_1_3->n39_a_freedoom__1_7_1_3_2 n39_a_freedoom__1_7_1_3_3 NP-PRD n39_a_freedoom__1_7_1_3->n39_a_freedoom__1_7_1_3_3 n39_a_freedoom__1_7_1_3_1->n39_a_freedoom__1_7_1_3_1_1 n39_a_freedoom__1_7_1_3_2->n39_a_freedoom__1_7_1_3_2_1 n39_a_freedoom__1_7_1_3_3_1 N n39_a_freedoom__1_7_1_3_3->n39_a_freedoom__1_7_1_3_3_1 n39_a_freedoom__1_7_1_3_3_2 N n39_a_freedoom__1_7_1_3_3->n39_a_freedoom__1_7_1_3_3_2 n39_a_freedoom__1_7_1_3_3_1->n39_a_freedoom__1_7_1_3_3_1_1 n39_a_freedoom__1_7_1_3_3_2->n39_a_freedoom__1_7_1_3_3_2_1 n39_a_freedoom__1_8->n39_a_freedoom__1_8_1 n39_a_freedoom__1_9->n39_a_freedoom__1_9_1 
( (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))