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 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_r_0025_0012__be_r_0025_0013__dodged must be dodged r_0025_0011__must_r_0025_0012__be_r_0025_0013__dodged->r_0025_0009__projectiles [arg1] 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]
fof(formula,axiom,
    ? [R_25_8_LAUNCH,Z_25_A_FREEDOOM_2,R_25_1_MANY,R_25_3_THE_ENEMIES,R_25_6_THE_GAME,R_25_11_MUST_BE_DODGED,Z_25_A_FREEDOOM_37,R_25_9_PROJECTILES] :
      ( many(R_25_1_MANY)
      & the_game(R_25_6_THE_GAME)
      & projectiles(R_25_9_PROJECTILES)
      & launch(R_25_8_LAUNCH,Z_25_A_FREEDOOM_2,R_25_9_PROJECTILES)
      & z_25_a_freedoom_2(Z_25_A_FREEDOOM_2)
      & attrib3(Z_25_A_FREEDOOM_2,R_25_1_MANY)
      & of(Z_25_A_FREEDOOM_2,R_25_3_THE_ENEMIES)
      & the_enemies(R_25_3_THE_ENEMIES)
      & in(R_25_3_THE_ENEMIES,R_25_6_THE_GAME)
      & must_be_dodged(R_25_11_MUST_BE_DODGED,Z_25_A_FREEDOOM_37,R_25_9_PROJECTILES) ) ).



n25_a_freedoom n25_a_freedoom_5 Many n25_a_freedoom_8 of n25_a_freedoom_11 the n25_a_freedoom_13 enemies n25_a_freedoom_16 in n25_a_freedoom_19 the n25_a_freedoom_21 game n25_a_freedoom_23 launch n25_a_freedoom_26 projectiles n25_a_freedoom_30 which n25_a_freedoom_32 must n25_a_freedoom_35 be n25_a_freedoom_38 * n25_a_freedoom_40 dodged n25_a_freedoom_42 . n25_a_freedoom_1 IP-MAT n25_a_freedoom_2 NP-SBJ n25_a_freedoom_1->n25_a_freedoom_2 n25_a_freedoom_22 VBP;_Tn_ n25_a_freedoom_1->n25_a_freedoom_22 n25_a_freedoom_24 NP-OB1 n25_a_freedoom_1->n25_a_freedoom_24 n25_a_freedoom_41 PUNC n25_a_freedoom_1->n25_a_freedoom_41 n25_a_freedoom_3 ADJP n25_a_freedoom_2->n25_a_freedoom_3 n25_a_freedoom_6 PP n25_a_freedoom_2->n25_a_freedoom_6 n25_a_freedoom_4 ADJ n25_a_freedoom_3->n25_a_freedoom_4 n25_a_freedoom_4->n25_a_freedoom_5 n25_a_freedoom_7 P-ROLE n25_a_freedoom_6->n25_a_freedoom_7 n25_a_freedoom_9 NP n25_a_freedoom_6->n25_a_freedoom_9 n25_a_freedoom_7->n25_a_freedoom_8 n25_a_freedoom_10 D n25_a_freedoom_9->n25_a_freedoom_10 n25_a_freedoom_12 NS n25_a_freedoom_9->n25_a_freedoom_12 n25_a_freedoom_14 PP n25_a_freedoom_9->n25_a_freedoom_14 n25_a_freedoom_10->n25_a_freedoom_11 n25_a_freedoom_12->n25_a_freedoom_13 n25_a_freedoom_15 P-ROLE n25_a_freedoom_14->n25_a_freedoom_15 n25_a_freedoom_17 NP n25_a_freedoom_14->n25_a_freedoom_17 n25_a_freedoom_15->n25_a_freedoom_16 n25_a_freedoom_18 D n25_a_freedoom_17->n25_a_freedoom_18 n25_a_freedoom_20 N n25_a_freedoom_17->n25_a_freedoom_20 n25_a_freedoom_18->n25_a_freedoom_19 n25_a_freedoom_20->n25_a_freedoom_21 n25_a_freedoom_22->n25_a_freedoom_23 n25_a_freedoom_25 NS n25_a_freedoom_24->n25_a_freedoom_25 n25_a_freedoom_27 IP-REL n25_a_freedoom_24->n25_a_freedoom_27 n25_a_freedoom_25->n25_a_freedoom_26 n25_a_freedoom_28 NP-SBJ n25_a_freedoom_27->n25_a_freedoom_28 n25_a_freedoom_31 MD;_cat_Vi_ n25_a_freedoom_27->n25_a_freedoom_31 n25_a_freedoom_33 IP-INF-CAT n25_a_freedoom_27->n25_a_freedoom_33 n25_a_freedoom_29 RPRO n25_a_freedoom_28->n25_a_freedoom_29 n25_a_freedoom_29->n25_a_freedoom_30 n25_a_freedoom_31->n25_a_freedoom_32 n25_a_freedoom_34 BE;_cat_VePASS_ n25_a_freedoom_33->n25_a_freedoom_34 n25_a_freedoom_36 IP-PPL-CAT n25_a_freedoom_33->n25_a_freedoom_36 n25_a_freedoom_34->n25_a_freedoom_35 n25_a_freedoom_37 NP-LGS n25_a_freedoom_36->n25_a_freedoom_37 n25_a_freedoom_39 VVN;_Tn_ n25_a_freedoom_36->n25_a_freedoom_39 n25_a_freedoom_37->n25_a_freedoom_38 n25_a_freedoom_39->n25_a_freedoom_40 n25_a_freedoom_41->n25_a_freedoom_42
( (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))