Context                Previous, Next                Top


25_a_freedoom
Many of the enemies in the game launch projectiles which must be dodged.

%3 r_0025_0003__the_r_0025_0004__enemies the enemies r_0025_0006__the_r_0025_0007__game the game r_0025_0003__the_r_0025_0004__enemies->r_0025_0006__the_r_0025_0007__game in r_0025_0008__launch launch r_0025_0009__projectiles projectiles r_0025_0008__launch->r_0025_0009__projectiles [arg1] z_000_25_a_freedoom_2 r_0025_0008__launch->z_000_25_a_freedoom_2 [arg0] z_000_25_a_freedoom_2->r_0025_0003__the_r_0025_0004__enemies of r_0025_0001__Many Many z_000_25_a_freedoom_2->r_0025_0001__Many [attrib] r_0025_0011__must must r_0025_0012__be be r_0025_0011__must->r_0025_0012__be [scope] r_0025_0013__dodged dodged r_0025_0012__be->r_0025_0013__dodged [scope] r_0025_0013__dodged->r_0025_0009__projectiles [arg1] z_000_25_a_freedoom_37 r_0025_0013__dodged->z_000_25_a_freedoom_37 [arg0] 
arc(r_0025_0003__the_r_0025_0004__enemies, r_0025_0006__the_r_0025_0007__game, r_0025_0005__in).
arc(r_0025_0008__launch, r_0025_0009__projectiles, arg1).
arc(r_0025_0008__launch, z_000_25_a_freedoom_2, arg0).
arc(r_0025_0011__must, r_0025_0012__be, scope).
arc(r_0025_0012__be, r_0025_0013__dodged, scope).
arc(r_0025_0013__dodged, r_0025_0009__projectiles, arg1).
arc(r_0025_0013__dodged, z_000_25_a_freedoom_37, arg0).
arc(z_000_25_a_freedoom_2, r_0025_0001__Many, attrib3).
arc(z_000_25_a_freedoom_2, r_0025_0003__the_r_0025_0004__enemies, r_0025_0002__of).


%3 z_000_25_a_freedoom_2 r_0025_0003__the_r_0025_0004__enemies the enemies z_000_25_a_freedoom_2->r_0025_0003__the_r_0025_0004__enemies of r_0025_0001__Many Many z_000_25_a_freedoom_2->r_0025_0001__Many [attrib] r_0025_0006__the_r_0025_0007__game the game r_0025_0003__the_r_0025_0004__enemies->r_0025_0006__the_r_0025_0007__game in r_0025_0011__must_r_0025_0012__be_r_0025_0013__dodged must be dodged z_000_25_a_freedoom_37 r_0025_0011__must_r_0025_0012__be_r_0025_0013__dodged->z_000_25_a_freedoom_37 [arg0] r_0025_0009__projectiles projectiles r_0025_0011__must_r_0025_0012__be_r_0025_0013__dodged->r_0025_0009__projectiles [arg1] r_0025_0008__launch launch r_0025_0008__launch->z_000_25_a_freedoom_2 [arg0] r_0025_0008__launch->r_0025_0009__projectiles [arg1] 
fof(formula,axiom,
    ? [R_0025_0009__PROJECTILES,R_0025_0001__MANY,R_0025_0006__THE_R_0025_0007__GAME,R_0025_0003__THE_R_0025_0004__ENEMIES,Z_000_25_A_FREEDOOM_2,R_0025_0008__LAUNCH,Z_000_25_A_FREEDOOM_37,R_0025_0011__MUST_R_0025_0012__BE_R_0025_0013__DODGED] :
      ( r_0025_0001__Many(R_0025_0001__MANY)
      & r_0025_0006__the_r_0025_0007__game(R_0025_0006__THE_R_0025_0007__GAME)
      & r_0025_0009__projectiles(R_0025_0009__PROJECTILES)
      & z_000_25_a_freedoom_37(Z_000_25_A_FREEDOOM_37)
      & r_0025_0011__must_r_0025_0012__be_r_0025_0013__dodged(R_0025_0011__MUST_R_0025_0012__BE_R_0025_0013__DODGED)
      & has_arg0(R_0025_0011__MUST_R_0025_0012__BE_R_0025_0013__DODGED,Z_000_25_A_FREEDOOM_37)
      & has_arg1(R_0025_0011__MUST_R_0025_0012__BE_R_0025_0013__DODGED,R_0025_0009__PROJECTILES)
      & r_0025_0008__launch(R_0025_0008__LAUNCH)
      & has_arg0(R_0025_0008__LAUNCH,Z_000_25_A_FREEDOOM_2)
      & z_000_25_a_freedoom_2(Z_000_25_A_FREEDOOM_2)
      & has_r_0025_0002__of(Z_000_25_A_FREEDOOM_2,R_0025_0003__THE_R_0025_0004__ENEMIES)
      & r_0025_0003__the_r_0025_0004__enemies(R_0025_0003__THE_R_0025_0004__ENEMIES)
      & has_r_0025_0005__in(R_0025_0003__THE_R_0025_0004__ENEMIES,R_0025_0006__THE_R_0025_0007__GAME)
      & has_attrib3(Z_000_25_A_FREEDOOM_2,R_0025_0001__MANY)
      & has_arg1(R_0025_0008__LAUNCH,R_0025_0009__PROJECTILES) ) ).


n25_a_freedoom n25_a_freedoom__1_1_1_1_1 Many n25_a_freedoom__1_1_2_1_1 of n25_a_freedoom__1_1_2_2_1_1 the n25_a_freedoom__1_1_2_2_2_1 enemies n25_a_freedoom__1_1_2_2_3_1_1 in n25_a_freedoom__1_1_2_2_3_2_1_1 the n25_a_freedoom__1_1_2_2_3_2_2_1 game n25_a_freedoom__1_2_1 launch n25_a_freedoom__1_3_1_1 projectiles n25_a_freedoom__1_3_2_1_1_1 which n25_a_freedoom__1_3_2_2_1 must n25_a_freedoom__1_3_2_3_1_1 be n25_a_freedoom__1_3_2_3_2_1_1 * n25_a_freedoom__1_3_2_3_2_2_1 dodged n25_a_freedoom__1_4_1 . n25_a_freedoom__1 IP-MAT n25_a_freedoom__1_1 NP-SBJ n25_a_freedoom__1->n25_a_freedoom__1_1 n25_a_freedoom__1_2 VBP;_Tn_ n25_a_freedoom__1->n25_a_freedoom__1_2 n25_a_freedoom__1_3 NP-OB1 n25_a_freedoom__1->n25_a_freedoom__1_3 n25_a_freedoom__1_4 PUNC n25_a_freedoom__1->n25_a_freedoom__1_4 n25_a_freedoom__1_1_1 ADJP n25_a_freedoom__1_1->n25_a_freedoom__1_1_1 n25_a_freedoom__1_1_2 PP n25_a_freedoom__1_1->n25_a_freedoom__1_1_2 n25_a_freedoom__1_1_1_1 ADJ n25_a_freedoom__1_1_1->n25_a_freedoom__1_1_1_1 n25_a_freedoom__1_1_1_1->n25_a_freedoom__1_1_1_1_1 n25_a_freedoom__1_1_2_1 P-ROLE n25_a_freedoom__1_1_2->n25_a_freedoom__1_1_2_1 n25_a_freedoom__1_1_2_2 NP n25_a_freedoom__1_1_2->n25_a_freedoom__1_1_2_2 n25_a_freedoom__1_1_2_1->n25_a_freedoom__1_1_2_1_1 n25_a_freedoom__1_1_2_2_1 D n25_a_freedoom__1_1_2_2->n25_a_freedoom__1_1_2_2_1 n25_a_freedoom__1_1_2_2_2 NS n25_a_freedoom__1_1_2_2->n25_a_freedoom__1_1_2_2_2 n25_a_freedoom__1_1_2_2_3 PP n25_a_freedoom__1_1_2_2->n25_a_freedoom__1_1_2_2_3 n25_a_freedoom__1_1_2_2_1->n25_a_freedoom__1_1_2_2_1_1 n25_a_freedoom__1_1_2_2_2->n25_a_freedoom__1_1_2_2_2_1 n25_a_freedoom__1_1_2_2_3_1 P-ROLE n25_a_freedoom__1_1_2_2_3->n25_a_freedoom__1_1_2_2_3_1 n25_a_freedoom__1_1_2_2_3_2 NP n25_a_freedoom__1_1_2_2_3->n25_a_freedoom__1_1_2_2_3_2 n25_a_freedoom__1_1_2_2_3_1->n25_a_freedoom__1_1_2_2_3_1_1 n25_a_freedoom__1_1_2_2_3_2_1 D n25_a_freedoom__1_1_2_2_3_2->n25_a_freedoom__1_1_2_2_3_2_1 n25_a_freedoom__1_1_2_2_3_2_2 N n25_a_freedoom__1_1_2_2_3_2->n25_a_freedoom__1_1_2_2_3_2_2 n25_a_freedoom__1_1_2_2_3_2_1->n25_a_freedoom__1_1_2_2_3_2_1_1 n25_a_freedoom__1_1_2_2_3_2_2->n25_a_freedoom__1_1_2_2_3_2_2_1 n25_a_freedoom__1_2->n25_a_freedoom__1_2_1 n25_a_freedoom__1_3_1 NS n25_a_freedoom__1_3->n25_a_freedoom__1_3_1 n25_a_freedoom__1_3_2 IP-REL n25_a_freedoom__1_3->n25_a_freedoom__1_3_2 n25_a_freedoom__1_3_1->n25_a_freedoom__1_3_1_1 n25_a_freedoom__1_3_2_1 NP-SBJ n25_a_freedoom__1_3_2->n25_a_freedoom__1_3_2_1 n25_a_freedoom__1_3_2_2 MD;_cat_Vi_ n25_a_freedoom__1_3_2->n25_a_freedoom__1_3_2_2 n25_a_freedoom__1_3_2_3 IP-INF-CAT n25_a_freedoom__1_3_2->n25_a_freedoom__1_3_2_3 n25_a_freedoom__1_3_2_1_1 RPRO n25_a_freedoom__1_3_2_1->n25_a_freedoom__1_3_2_1_1 n25_a_freedoom__1_3_2_1_1->n25_a_freedoom__1_3_2_1_1_1 n25_a_freedoom__1_3_2_2->n25_a_freedoom__1_3_2_2_1 n25_a_freedoom__1_3_2_3_1 BE;_cat_VePASS_ n25_a_freedoom__1_3_2_3->n25_a_freedoom__1_3_2_3_1 n25_a_freedoom__1_3_2_3_2 IP-PPL-CAT n25_a_freedoom__1_3_2_3->n25_a_freedoom__1_3_2_3_2 n25_a_freedoom__1_3_2_3_1->n25_a_freedoom__1_3_2_3_1_1 n25_a_freedoom__1_3_2_3_2_1 NP-LGS n25_a_freedoom__1_3_2_3_2->n25_a_freedoom__1_3_2_3_2_1 n25_a_freedoom__1_3_2_3_2_2 VVN;_Tn_ n25_a_freedoom__1_3_2_3_2->n25_a_freedoom__1_3_2_3_2_2 n25_a_freedoom__1_3_2_3_2_1->n25_a_freedoom__1_3_2_3_2_1_1 n25_a_freedoom__1_3_2_3_2_2->n25_a_freedoom__1_3_2_3_2_2_1 n25_a_freedoom__1_4->n25_a_freedoom__1_4_1 
( (IP-MAT (NP-SBJ (ADJP (ADJ Many;{many}))
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (NS enemies;{enemy})
                          (PP (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N game;{game}))))))
          (VBP;_Tn_ launch;{launch})
          (NP-OB1;{PROJECTILES} (NS projectiles;{projectile})
                                (IP-REL (NP-SBJ (RPRO which;{which}))
                                        (MD;_cat_Vi_ must;{must})
                                        (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                    (IP-PPL-CAT (NP-LGS *)
                                                                (VVN;_Tn_ dodged;{dodge})))))
          (PUNC .))
  (ID 25_a_freedoom))