TSPC 25_a_freedoom

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

( (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))

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_0025_5005,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_0025_5009___star_,arg0).
arc(z_0025_5005,r_0025_0001__Many,attrib).
arc(z_0025_5005,r_0025_0003__the_r_0025_0004__enemies,r_0025_0002__of).

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_0025_5005,R_0025_0008__LAUNCH,Z_0025_5009___STAR_,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_0025_5009___star_(Z_0025_5009___STAR_)
      & 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_0025_5009___STAR_)
      & 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_0025_5005)
      & z_0025_5005(Z_0025_5005)
      & has_r_0025_0002__of(Z_0025_5005,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_attrib(Z_0025_5005,R_0025_0001__MANY)
      & has_arg1(R_0025_0008__LAUNCH,R_0025_0009__PROJECTILES) ) ).