42_a_freedoom
Be aware though, that a monster can not be injured by a projectile launched by another of the same species.
arc(r_0042_0001__Be, r_0042_0002__aware, prd).
arc(r_0042_0001__Be, r_0042_0003__though, nim9).
arc(r_0042_0001__Be, z_000_42_a_freedoom_1, arg0).
arc(r_0042_0002__aware, r_0042_0009__not, emb15).
arc(r_0042_0005__that_r_0042_0008__can, r_0042_0010__be, scope).
arc(r_0042_0009__not, r_0042_0005__that_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, arg0).
arc(r_0042_0015__launched, r_0042_0013__a_r_0042_0014__projectile, arg1).
arc(r_0042_0015__launched, r_0042_0017__another, 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, attrib56).
fof(formula,axiom,
? [R_42_1_BE,Z_42_A_FREEDOOM_1,R_42_3_THOUGH,R_42_2_AWARE,R_42_15_LAUNCHED,R_42_17_ANOTHER,R_42_19_THE_SPECIES,R_42_20_SAME,R_42_13_A_PROJECTILE] :
( though(R_42_3_THOUGH)
& same(R_42_20_SAME)
& a_projectile(R_42_13_A_PROJECTILE)
& be(R_42_1_BE,Z_42_A_FREEDOOM_1,R_42_2_AWARE)
& aware(R_42_2_AWARE)
& emb15(R_42_2_AWARE,R_42_9_NOT)
& ~ ? [R_42_5_THAT_CAN_BE_INJURED,R_42_6_A_MONSTER] :
( a_monster(R_42_6_A_MONSTER)
& that_can_be_injured(R_42_5_THAT_CAN_BE_INJURED,R_42_13_A_PROJECTILE,R_42_6_A_MONSTER) )
& nim9(R_42_1_BE,R_42_3_THOUGH)
& launched(R_42_15_LAUNCHED,R_42_17_ANOTHER,R_42_13_A_PROJECTILE)
& another(R_42_17_ANOTHER)
& of(R_42_17_ANOTHER,R_42_19_THE_SPECIES)
& the_species(R_42_19_THE_SPECIES)
& attrib56(R_42_19_THE_SPECIES,R_42_20_SAME) ) ).
( (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))