42_a_freedoom
Be aware though, that a monster can not be injured by a projectile launched by another of the same species.
( (IP-IMP (BE;_La_ Be;{be})
(ADJP-PRD (ADJ aware;{aware})
(CP-THT *ICH*-145))
(ADVP-NIM (ADV though;{though}))
(PUNC ,)
(CP-THT-EPD-145 (IP-SUB (C that;{that})
(NP-SBJ (D a;{a})
(N monster;{monster}))
(MD;_cat_Vi_ can;{can})
(NEG not;{not})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (VVN;_Tn_ injured;{injure})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D a;{a})
(N projectile;{projectile})
(IP-PPL (VVN;_Tn_ launched;{launch})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D;_nphd_ another;{another})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJ same;{same}))
(NS species;{specie}))))))))))))
(PUNC .))
(ID 42_a_freedoom))
arc(r_0042_0001__Be,r_0042_0002__aware,prd).
arc(r_0042_0001__Be,r_0042_0003__though,nim).
arc(r_0042_0001__Be,z_0042_5002,arg0).
arc(r_0042_0002__aware,r_0042_0009__not,emb).
arc(r_0042_0008__can,r_0042_0010__be,scope).
arc(r_0042_0009__not,r_0042_0008__can,keep_scope).
arc(r_0042_0010__be,r_0042_0011__injured,scope).
arc(r_0042_0011__injured,r_0042_0006__a_r_0042_0007__monster,arg1).
arc(r_0042_0011__injured,r_0042_0013__a_r_0042_0014__projectile,r_0042_0012__by_arg0).
arc(r_0042_0015__launched,r_0042_0013__a_r_0042_0014__projectile,inv_arg1).
arc(r_0042_0015__launched,r_0042_0017__another,r_0042_0016__by_arg0).
arc(r_0042_0017__another,r_0042_0019__the_r_0042_0021__species,r_0042_0018__of).
arc(r_0042_0019__the_r_0042_0021__species,r_0042_0020__same,attrib).
fof(formula,axiom,
? [R_0042_0002__AWARE,R_0042_0003__THOUGH,Z_0042_5002,R_0042_0001__BE] :
( r_0042_0003__though(R_0042_0003__THOUGH)
& z_0042_5002(Z_0042_5002)
& r_0042_0001__Be(R_0042_0001__BE)
& has_arg0(R_0042_0001__BE,Z_0042_5002)
& has_nim(R_0042_0001__BE,R_0042_0003__THOUGH)
& has_prd(R_0042_0001__BE,R_0042_0002__AWARE)
& r_0042_0002__aware(R_0042_0002__AWARE)
& has_emb(R_0042_0002__AWARE,R_0042_0009__NOT)
& ~ ? [R_0042_0006__A_R_0042_0007__MONSTER,R_0042_0020__SAME,R_0042_0019__THE_R_0042_0021__SPECIES,R_0042_0017__ANOTHER,R_0042_0015__LAUNCHED,R_0042_0013__A_R_0042_0014__PROJECTILE,R_0042_0008__CAN_R_0042_0010__BE_R_0042_0011__INJURED] :
( r_0042_0006__a_r_0042_0007__monster(R_0042_0006__A_R_0042_0007__MONSTER)
& r_0042_0020__same(R_0042_0020__SAME)
& r_0042_0008__can_r_0042_0010__be_r_0042_0011__injured(R_0042_0008__CAN_R_0042_0010__BE_R_0042_0011__INJURED)
& has_r_0042_0012__by_arg0(R_0042_0008__CAN_R_0042_0010__BE_R_0042_0011__INJURED,R_0042_0013__A_R_0042_0014__PROJECTILE)
& r_0042_0013__a_r_0042_0014__projectile(R_0042_0013__A_R_0042_0014__PROJECTILE)
& has_inv_arg1(R_0042_0013__A_R_0042_0014__PROJECTILE,R_0042_0015__LAUNCHED)
& r_0042_0015__launched(R_0042_0015__LAUNCHED)
& has_r_0042_0016__by_arg0(R_0042_0015__LAUNCHED,R_0042_0017__ANOTHER)
& r_0042_0017__another(R_0042_0017__ANOTHER)
& has_r_0042_0018__of(R_0042_0017__ANOTHER,R_0042_0019__THE_R_0042_0021__SPECIES)
& r_0042_0019__the_r_0042_0021__species(R_0042_0019__THE_R_0042_0021__SPECIES)
& has_attrib(R_0042_0019__THE_R_0042_0021__SPECIES,R_0042_0020__SAME)
& has_arg1(R_0042_0008__CAN_R_0042_0010__BE_R_0042_0011__INJURED,R_0042_0006__A_R_0042_0007__MONSTER) ) ) ).