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).
( (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))
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,r_0039_0006__by_arg0).
arc(r_0039_0011___apos_ll,r_0039_0012__retaliate_r_0039_0013__against,scope).
arc(r_0039_0011___apos_ll,r_0039_0021__is,prn).
arc(r_0039_0012__retaliate_r_0039_0013__against,r_0039_0002__a_r_0039_0003__monster,arg0).
arc(r_0039_0012__retaliate_r_0039_0013__against,r_0039_0014__the_r_0039_0015__one,arg1).
arc(r_0039_0017__injured,r_0039_0002__a_r_0039_0003__monster,arg1).
arc(r_0039_0017__injured,r_0039_0014__the_r_0039_0015__one,inv_arg0).
arc(r_0039_0021__is,r_0039_0022__called,scope).
arc(r_0039_0022__called,r_0039_0020__this,arg1).
arc(r_0039_0022__called,r_0039_0023__monster_r_0039_0024__in__hyphen__fighting,prd).
arc(r_0039_0022__called,z_0039_5011___star_,arg0).
fof(formula,axiom,
! [R_0039_0004__GETS_R_0039_0005__INJURED,R_0039_0002__A_R_0039_0003__MONSTER,R_0039_0007__ANOTHER_R_0039_0008__MONSTER] :
( ( r_0039_0002__a_r_0039_0003__monster(R_0039_0002__A_R_0039_0003__MONSTER)
& r_0039_0007__another_r_0039_0008__monster(R_0039_0007__ANOTHER_R_0039_0008__MONSTER)
& r_0039_0004__gets_r_0039_0005__injured(R_0039_0004__GETS_R_0039_0005__INJURED)
& has_r_0039_0006__by_arg0(R_0039_0004__GETS_R_0039_0005__INJURED,R_0039_0007__ANOTHER_R_0039_0008__MONSTER)
& has_arg1(R_0039_0004__GETS_R_0039_0005__INJURED,R_0039_0002__A_R_0039_0003__MONSTER) )
=> ? [R_0039_0020__THIS,R_0039_0023__MONSTER_R_0039_0024__IN__HYPHEN__FIGHTING,Z_0039_5011___STAR_,R_0039_0021__IS_R_0039_0022__CALLED,R_0039_0017__INJURED,R_0039_0014__THE_R_0039_0015__ONE,R_0039_0011___APOS_LL_R_0039_0012__RETALIATE_R_0039_0013__AGAINST] :
( r_0039_0020__this(R_0039_0020__THIS)
& r_0039_0023__monster_r_0039_0024__in__hyphen__fighting(R_0039_0023__MONSTER_R_0039_0024__IN__HYPHEN__FIGHTING)
& z_0039_5011___star_(Z_0039_5011___STAR_)
& r_0039_0011___apos_ll_r_0039_0012__retaliate_r_0039_0013__against(R_0039_0011___APOS_LL_R_0039_0012__RETALIATE_R_0039_0013__AGAINST)
& has_arg1(R_0039_0011___APOS_LL_R_0039_0012__RETALIATE_R_0039_0013__AGAINST,R_0039_0014__THE_R_0039_0015__ONE)
& r_0039_0014__the_r_0039_0015__one(R_0039_0014__THE_R_0039_0015__ONE)
& has_inv_arg0(R_0039_0014__THE_R_0039_0015__ONE,R_0039_0017__INJURED)
& r_0039_0017__injured(R_0039_0017__INJURED)
& has_arg1(R_0039_0017__INJURED,R_0039_0002__A_R_0039_0003__MONSTER)
& has_arg0(R_0039_0011___APOS_LL_R_0039_0012__RETALIATE_R_0039_0013__AGAINST,R_0039_0002__A_R_0039_0003__MONSTER)
& has_prn(R_0039_0011___APOS_LL_R_0039_0012__RETALIATE_R_0039_0013__AGAINST,R_0039_0021__IS_R_0039_0022__CALLED)
& r_0039_0021__is_r_0039_0022__called(R_0039_0021__IS_R_0039_0022__CALLED)
& has_arg0(R_0039_0021__IS_R_0039_0022__CALLED,Z_0039_5011___STAR_)
& has_prd(R_0039_0021__IS_R_0039_0022__CALLED,R_0039_0023__MONSTER_R_0039_0024__IN__HYPHEN__FIGHTING)
& has_arg1(R_0039_0021__IS_R_0039_0022__CALLED,R_0039_0020__THIS) ) ) ).