Context                Previous, Next                Top


42_a_freedoom
Be aware though, that a monster can not be injured by a projectile launched by another of the same species.

%3 r_0042_0001__Be Be r_0042_0002__aware aware r_0042_0001__Be->r_0042_0002__aware [prd] r_0042_0003__though though r_0042_0001__Be->r_0042_0003__though [nim] z_000_42_a_freedoom_1 r_0042_0001__Be->z_000_42_a_freedoom_1 [arg0] r_0042_0005__that_r_0042_0008__can_r_0042_0009__not that can not r_0042_0002__aware->r_0042_0005__that_r_0042_0008__can_r_0042_0009__not [emb] r_0042_0010__be be r_0042_0005__that_r_0042_0008__can_r_0042_0009__not->r_0042_0010__be [scope] r_0042_0011__injured injured r_0042_0010__be->r_0042_0011__injured [scope] r_0042_0006__a_r_0042_0007__monster a monster r_0042_0011__injured->r_0042_0006__a_r_0042_0007__monster [arg1] r_0042_0013__a_r_0042_0014__projectile a projectile r_0042_0011__injured->r_0042_0013__a_r_0042_0014__projectile [arg0] r_0042_0015__launched launched r_0042_0015__launched->r_0042_0013__a_r_0042_0014__projectile [arg1] r_0042_0017__another another r_0042_0015__launched->r_0042_0017__another [arg0] r_0042_0019__the_r_0042_0021__species the species r_0042_0017__another->r_0042_0019__the_r_0042_0021__species of r_0042_0020__same same r_0042_0019__the_r_0042_0021__species->r_0042_0020__same [attrib] 
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_0005__that_r_0042_0008__can_r_0042_0009__not, emb15).
arc(r_0042_0005__that_r_0042_0008__can_r_0042_0009__not, r_0042_0010__be, 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).


%3 r_0042_0019__the_r_0042_0021__species the species r_0042_0020__same same r_0042_0019__the_r_0042_0021__species->r_0042_0020__same [attrib] r_0042_0017__another another r_0042_0017__another->r_0042_0019__the_r_0042_0021__species of r_0042_0015__launched launched r_0042_0015__launched->r_0042_0017__another [arg0] r_0042_0013__a_r_0042_0014__projectile a projectile r_0042_0015__launched->r_0042_0013__a_r_0042_0014__projectile [arg1] r_0042_0005__that_r_0042_0008__can_r_0042_0009__not_r_0042_0010__be_r_0042_0011__injured that can not be injured r_0042_0005__that_r_0042_0008__can_r_0042_0009__not_r_0042_0010__be_r_0042_0011__injured->r_0042_0013__a_r_0042_0014__projectile [arg0] r_0042_0006__a_r_0042_0007__monster a monster r_0042_0005__that_r_0042_0008__can_r_0042_0009__not_r_0042_0010__be_r_0042_0011__injured->r_0042_0006__a_r_0042_0007__monster [arg1] r_0042_0002__aware aware r_0042_0002__aware->r_0042_0005__that_r_0042_0008__can_r_0042_0009__not_r_0042_0010__be_r_0042_0011__injured [emb] r_0042_0001__Be Be r_0042_0001__Be->r_0042_0002__aware [prd] z_000_42_a_freedoom_1 r_0042_0001__Be->z_000_42_a_freedoom_1 [arg0] r_0042_0003__though though r_0042_0001__Be->r_0042_0003__though [nim] 
fof(formula,axiom,
    ? [R_0042_0006__A_R_0042_0007__MONSTER,R_0042_0013__A_R_0042_0014__PROJECTILE,R_0042_0005__THAT_R_0042_0008__CAN_R_0042_0009__NOT_R_0042_0010__BE_R_0042_0011__INJURED,R_0042_0002__AWARE,R_0042_0003__THOUGH,Z_000_42_A_FREEDOOM_1,R_0042_0001__BE,R_0042_0020__SAME,R_0042_0019__THE_R_0042_0021__SPECIES,R_0042_0017__ANOTHER,R_0042_0015__LAUNCHED] :
      ( r_0042_0003__though(R_0042_0003__THOUGH)
      & r_0042_0006__a_r_0042_0007__monster(R_0042_0006__A_R_0042_0007__MONSTER)
      & r_0042_0013__a_r_0042_0014__projectile(R_0042_0013__A_R_0042_0014__PROJECTILE)
      & r_0042_0020__same(R_0042_0020__SAME)
      & z_000_42_a_freedoom_1(Z_000_42_A_FREEDOOM_1)
      & r_0042_0015__launched(R_0042_0015__LAUNCHED)
      & has_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_attrib56(R_0042_0019__THE_R_0042_0021__SPECIES,R_0042_0020__SAME)
      & has_arg1(R_0042_0015__LAUNCHED,R_0042_0013__A_R_0042_0014__PROJECTILE)
      & r_0042_0001__Be(R_0042_0001__BE)
      & has_arg0(R_0042_0001__BE,Z_000_42_A_FREEDOOM_1)
      & has_nim9(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_emb15(R_0042_0002__AWARE,R_0042_0005__THAT_R_0042_0008__CAN_R_0042_0009__NOT_R_0042_0010__BE_R_0042_0011__INJURED)
      & ~ ( has_arg0(R_0042_0005__THAT_R_0042_0008__CAN_R_0042_0009__NOT_R_0042_0010__BE_R_0042_0011__INJURED,R_0042_0013__A_R_0042_0014__PROJECTILE)
          & has_arg1(R_0042_0005__THAT_R_0042_0008__CAN_R_0042_0009__NOT_R_0042_0010__BE_R_0042_0011__INJURED,R_0042_0006__A_R_0042_0007__MONSTER) ) ) ).


n42_a_freedoom n42_a_freedoom__1_1_1 Be n42_a_freedoom__1_2_1_1 aware n42_a_freedoom__1_2_2_1 *ICH*-145 n42_a_freedoom__1_3_1_1 though n42_a_freedoom__1_4_1 , n42_a_freedoom__1_5_1_1_1 that n42_a_freedoom__1_5_1_2_1_1 a n42_a_freedoom__1_5_1_2_2_1 monster n42_a_freedoom__1_5_1_3_1 can n42_a_freedoom__1_5_1_4_1 not n42_a_freedoom__1_5_1_5_1_1 be n42_a_freedoom__1_5_1_5_2_1_1 injured n42_a_freedoom__1_5_1_5_2_2_1_1 by n42_a_freedoom__1_5_1_5_2_2_2_1_1 a n42_a_freedoom__1_5_1_5_2_2_2_2_1 projectile n42_a_freedoom__1_5_1_5_2_2_2_3_1_1 launched n42_a_freedoom__1_5_1_5_2_2_2_3_2_1_1 by n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_1_1 another n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_1_1 of n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_1_1 the n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_2_1_1 same n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_3_1 species n42_a_freedoom__1_6_1 . n42_a_freedoom__1 IP-IMP n42_a_freedoom__1_1 BE;_La_ n42_a_freedoom__1->n42_a_freedoom__1_1 n42_a_freedoom__1_2 ADJP-PRD n42_a_freedoom__1->n42_a_freedoom__1_2 n42_a_freedoom__1_3 ADVP-NIM n42_a_freedoom__1->n42_a_freedoom__1_3 n42_a_freedoom__1_4 PUNC n42_a_freedoom__1->n42_a_freedoom__1_4 n42_a_freedoom__1_5 CP-THT-EPD-145 n42_a_freedoom__1->n42_a_freedoom__1_5 n42_a_freedoom__1_6 PUNC n42_a_freedoom__1->n42_a_freedoom__1_6 n42_a_freedoom__1_1->n42_a_freedoom__1_1_1 n42_a_freedoom__1_2_1 ADJ n42_a_freedoom__1_2->n42_a_freedoom__1_2_1 n42_a_freedoom__1_2_2 CP-THT n42_a_freedoom__1_2->n42_a_freedoom__1_2_2 n42_a_freedoom__1_2_1->n42_a_freedoom__1_2_1_1 n42_a_freedoom__1_2_2->n42_a_freedoom__1_2_2_1 n42_a_freedoom__1_3_1 ADV n42_a_freedoom__1_3->n42_a_freedoom__1_3_1 n42_a_freedoom__1_3_1->n42_a_freedoom__1_3_1_1 n42_a_freedoom__1_4->n42_a_freedoom__1_4_1 n42_a_freedoom__1_5_1 IP-SUB n42_a_freedoom__1_5->n42_a_freedoom__1_5_1 n42_a_freedoom__1_5_1_1 C n42_a_freedoom__1_5_1->n42_a_freedoom__1_5_1_1 n42_a_freedoom__1_5_1_2 NP-SBJ n42_a_freedoom__1_5_1->n42_a_freedoom__1_5_1_2 n42_a_freedoom__1_5_1_3 MD;_cat_Vi_ n42_a_freedoom__1_5_1->n42_a_freedoom__1_5_1_3 n42_a_freedoom__1_5_1_4 NEG n42_a_freedoom__1_5_1->n42_a_freedoom__1_5_1_4 n42_a_freedoom__1_5_1_5 IP-INF-CAT n42_a_freedoom__1_5_1->n42_a_freedoom__1_5_1_5 n42_a_freedoom__1_5_1_1->n42_a_freedoom__1_5_1_1_1 n42_a_freedoom__1_5_1_2_1 D n42_a_freedoom__1_5_1_2->n42_a_freedoom__1_5_1_2_1 n42_a_freedoom__1_5_1_2_2 N n42_a_freedoom__1_5_1_2->n42_a_freedoom__1_5_1_2_2 n42_a_freedoom__1_5_1_2_1->n42_a_freedoom__1_5_1_2_1_1 n42_a_freedoom__1_5_1_2_2->n42_a_freedoom__1_5_1_2_2_1 n42_a_freedoom__1_5_1_3->n42_a_freedoom__1_5_1_3_1 n42_a_freedoom__1_5_1_4->n42_a_freedoom__1_5_1_4_1 n42_a_freedoom__1_5_1_5_1 BE;_cat_VePASS_ n42_a_freedoom__1_5_1_5->n42_a_freedoom__1_5_1_5_1 n42_a_freedoom__1_5_1_5_2 IP-PPL-CAT n42_a_freedoom__1_5_1_5->n42_a_freedoom__1_5_1_5_2 n42_a_freedoom__1_5_1_5_1->n42_a_freedoom__1_5_1_5_1_1 n42_a_freedoom__1_5_1_5_2_1 VVN;_Tn_ n42_a_freedoom__1_5_1_5_2->n42_a_freedoom__1_5_1_5_2_1 n42_a_freedoom__1_5_1_5_2_2 PP-LGS n42_a_freedoom__1_5_1_5_2->n42_a_freedoom__1_5_1_5_2_2 n42_a_freedoom__1_5_1_5_2_1->n42_a_freedoom__1_5_1_5_2_1_1 n42_a_freedoom__1_5_1_5_2_2_1 P-ROLE;_lgs_ n42_a_freedoom__1_5_1_5_2_2->n42_a_freedoom__1_5_1_5_2_2_1 n42_a_freedoom__1_5_1_5_2_2_2 NP n42_a_freedoom__1_5_1_5_2_2->n42_a_freedoom__1_5_1_5_2_2_2 n42_a_freedoom__1_5_1_5_2_2_1->n42_a_freedoom__1_5_1_5_2_2_1_1 n42_a_freedoom__1_5_1_5_2_2_2_1 D n42_a_freedoom__1_5_1_5_2_2_2->n42_a_freedoom__1_5_1_5_2_2_2_1 n42_a_freedoom__1_5_1_5_2_2_2_2 N n42_a_freedoom__1_5_1_5_2_2_2->n42_a_freedoom__1_5_1_5_2_2_2_2 n42_a_freedoom__1_5_1_5_2_2_2_3 IP-PPL n42_a_freedoom__1_5_1_5_2_2_2->n42_a_freedoom__1_5_1_5_2_2_2_3 n42_a_freedoom__1_5_1_5_2_2_2_1->n42_a_freedoom__1_5_1_5_2_2_2_1_1 n42_a_freedoom__1_5_1_5_2_2_2_2->n42_a_freedoom__1_5_1_5_2_2_2_2_1 n42_a_freedoom__1_5_1_5_2_2_2_3_1 VVN;_Tn_ n42_a_freedoom__1_5_1_5_2_2_2_3->n42_a_freedoom__1_5_1_5_2_2_2_3_1 n42_a_freedoom__1_5_1_5_2_2_2_3_2 PP-LGS n42_a_freedoom__1_5_1_5_2_2_2_3->n42_a_freedoom__1_5_1_5_2_2_2_3_2 n42_a_freedoom__1_5_1_5_2_2_2_3_1->n42_a_freedoom__1_5_1_5_2_2_2_3_1_1 n42_a_freedoom__1_5_1_5_2_2_2_3_2_1 P-ROLE;_lgs_ n42_a_freedoom__1_5_1_5_2_2_2_3_2->n42_a_freedoom__1_5_1_5_2_2_2_3_2_1 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2 NP n42_a_freedoom__1_5_1_5_2_2_2_3_2->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2 n42_a_freedoom__1_5_1_5_2_2_2_3_2_1->n42_a_freedoom__1_5_1_5_2_2_2_3_2_1_1 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_1 D;_nphd_ n42_a_freedoom__1_5_1_5_2_2_2_3_2_2->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_1 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2 PP n42_a_freedoom__1_5_1_5_2_2_2_3_2_2->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_1->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_1_1 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_1 P-ROLE n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_1 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2 NP n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_1->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_1_1 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_1 D n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_1 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_2 ADJP n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_2 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_3 NS n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_3 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_1->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_1_1 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_2_1 ADJ n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_2->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_2_1 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_2_1->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_2_1_1 n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_3->n42_a_freedoom__1_5_1_5_2_2_2_3_2_2_2_2_3_1 n42_a_freedoom__1_6->n42_a_freedoom__1_6_1 
( (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))