TSPC 9_a_planetoid

9_a_planetoid
You will then have to contend with a mutant, while also being attacked by bombers, spores and megacytes; all of which are to be avoided at all costs and killed before going on to the next wave.

arc(r_0009_0002__will, r_0009_0004__have, scope).
arc(r_0009_0004__have, r_0009_0003__then, nim8).
arc(r_0009_0004__have, r_0009_0005__to_r_0009_0006__contend, scope).
arc(r_0009_0005__to_r_0009_0006__contend, r_0009_0001__You, arg0).
arc(r_0009_0005__to_r_0009_0006__contend, r_0009_0008__a_r_0009_0009__mutant, r_0009_0007__with_clr21).
arc(r_0009_0011__while, r_0009_0002__will, scope).
arc(r_0009_0011__while, r_0009_0013__being, restriction).
arc(r_0009_0013__being, r_0009_0012__also, nim32).
arc(r_0009_0013__being, r_0009_0014__attacked, scope).
arc(r_0009_0014__attacked, r_0009_0001__You, arg1).
arc(r_0009_0014__attacked, r_0009_0019__and, arg0).
arc(r_0009_0019__and, r_0009_0016__bombers, conj1).
arc(r_0009_0019__and, r_0009_0018__spores, conj2).
arc(r_0009_0019__and, r_0009_0020__megacytes, conj3).
arc(r_0009_0022__all_quant, r_0009_0025__are, scope).
arc(r_0009_0022__all_quant, z_000_9_a_planetoid_64, restriction).
arc(r_0009_0025__are, r_0009_0026__to_r_0009_0027__be, scope).
arc(r_0009_0026__to_r_0009_0027__be, r_0009_0032__and, scope).
arc(r_0009_0028__avoided, r_0009_0031__costs, r_0009_0029__at_nim90).
arc(r_0009_0028__avoided, z_000_9_a_planetoid_64, arg1).
arc(r_0009_0028__avoided, z_000_9_a_planetoid_83, arg0).
arc(r_0009_0030__all_quant, r_0009_0028__avoided, scope).
arc(r_0009_0030__all_quant, r_0009_0031__costs, restriction).
arc(r_0009_0032__and, r_0009_0030__all_quant, conj1).
arc(r_0009_0032__and, r_0009_0033__killed, conj2).
arc(r_0009_0033__killed, z_000_9_a_planetoid_64, arg1).
arc(r_0009_0033__killed, z_000_9_a_planetoid_99, arg0).
arc(r_0009_0034__before, r_0009_0022__all_quant, scope).
arc(r_0009_0034__before, r_0009_0035__going_r_0009_0036__on, restriction).
arc(r_0009_0035__going_r_0009_0036__on, r_0009_0038__the_r_0009_0040__wave, r_0009_0037__to_clr114).
arc(r_0009_0035__going_r_0009_0036__on, z_000_9_a_planetoid_106, arg0).
arc(r_0009_0038__the_r_0009_0040__wave, r_0009_0039__next, attrib117).
arc(z_000_9_a_planetoid_64, r_0009_0019__and, r_0009_0023__of).

fof(formula,axiom,
    ? [R_0009_0003__THEN,R_0009_0001__YOU,R_0009_0008__A_R_0009_0009__MUTANT,R_0009_0002__WILL_R_0009_0004__HAVE_R_0009_0005__TO_R_0009_0006__CONTEND,R_0009_0012__ALSO,R_0009_0016__BOMBERS,R_0009_0018__SPORES,R_0009_0020__MEGACYTES,R_0009_0019__AND,R_0009_0013__BEING_R_0009_0014__ATTACKED,R_0009_0011__WHILE,R_0009_0039__NEXT,R_0009_0038__THE_R_0009_0040__WAVE,Z_000_9_A_PLANETOID_106,R_0009_0035__GOING_R_0009_0036__ON,R_0009_0034__BEFORE] :
      ( r_0009_0001__You(R_0009_0001__YOU)
      & r_0009_0003__then(R_0009_0003__THEN)
      & r_0009_0008__a_r_0009_0009__mutant(R_0009_0008__A_R_0009_0009__MUTANT)
      & r_0009_0012__also(R_0009_0012__ALSO)
      & r_0009_0016__bombers(R_0009_0016__BOMBERS)
      & r_0009_0018__spores(R_0009_0018__SPORES)
      & r_0009_0020__megacytes(R_0009_0020__MEGACYTES)
      & r_0009_0039__next(R_0009_0039__NEXT)
      & z_000_9_a_planetoid_106(Z_000_9_A_PLANETOID_106)
      & r_0009_0034__before(R_0009_0034__BEFORE)
      & has_conj1(R_0009_0034__BEFORE,R_0009_0035__GOING_R_0009_0036__ON)
      & r_0009_0035__going_r_0009_0036__on(R_0009_0035__GOING_R_0009_0036__ON)
      & has_arg0(R_0009_0035__GOING_R_0009_0036__ON,Z_000_9_A_PLANETOID_106)
      & has_r_0009_0037__to_clr114(R_0009_0035__GOING_R_0009_0036__ON,R_0009_0038__THE_R_0009_0040__WAVE)
      & r_0009_0038__the_r_0009_0040__wave(R_0009_0038__THE_R_0009_0040__WAVE)
      & has_attrib117(R_0009_0038__THE_R_0009_0040__WAVE,R_0009_0039__NEXT)
      & ! [Z_000_9_A_PLANETOID_64] :
          ( ( z_000_9_a_planetoid_64(Z_000_9_A_PLANETOID_64)
            & has_r_0009_0023__of(Z_000_9_A_PLANETOID_64,R_0009_0019__AND) )
         => ? [Z_000_9_A_PLANETOID_99,R_0009_0033__KILLED,R_0009_0032__AND,R_0009_0025__ARE_R_0009_0026__TO_R_0009_0027__BE] :
              ( z_000_9_a_planetoid_99(Z_000_9_A_PLANETOID_99)
              & r_0009_0025__are_r_0009_0026__to_r_0009_0027__be(R_0009_0025__ARE_R_0009_0026__TO_R_0009_0027__BE)
              & has_keep_scope(R_0009_0025__ARE_R_0009_0026__TO_R_0009_0027__BE,R_0009_0032__AND)
              & r_0009_0032__and(R_0009_0032__AND)
              & has_conj2(R_0009_0032__AND,R_0009_0033__KILLED)
              & r_0009_0033__killed(R_0009_0033__KILLED)
              & has_arg0(R_0009_0033__KILLED,Z_000_9_A_PLANETOID_99)
              & has_arg1(R_0009_0033__KILLED,Z_000_9_A_PLANETOID_64)
              & ! [R_0009_0031__COSTS] :
                  ( r_0009_0031__costs(R_0009_0031__COSTS)
                 => ? [Z_000_9_A_PLANETOID_83,R_0009_0028__AVOIDED] :
                      ( z_000_9_a_planetoid_83(Z_000_9_A_PLANETOID_83)
                      & r_0009_0028__avoided(R_0009_0028__AVOIDED)
                      & has_arg0(R_0009_0028__AVOIDED,Z_000_9_A_PLANETOID_83)
                      & has_arg1(R_0009_0028__AVOIDED,Z_000_9_A_PLANETOID_64)
                      & has_r_0009_0029__at_nim90(R_0009_0028__AVOIDED,R_0009_0031__COSTS) ) ) ) )
      & r_0009_0011__while(R_0009_0011__WHILE)
      & has_conj1(R_0009_0011__WHILE,R_0009_0013__BEING_R_0009_0014__ATTACKED)
      & r_0009_0013__being_r_0009_0014__attacked(R_0009_0013__BEING_R_0009_0014__ATTACKED)
      & has_arg0(R_0009_0013__BEING_R_0009_0014__ATTACKED,R_0009_0019__AND)
      & r_0009_0019__and(R_0009_0019__AND)
      & has_conj3(R_0009_0019__AND,R_0009_0020__MEGACYTES)
      & has_conj2(R_0009_0019__AND,R_0009_0018__SPORES)
      & has_conj1(R_0009_0019__AND,R_0009_0016__BOMBERS)
      & has_arg1(R_0009_0013__BEING_R_0009_0014__ATTACKED,R_0009_0001__YOU)
      & has_nim32(R_0009_0013__BEING_R_0009_0014__ATTACKED,R_0009_0012__ALSO)
      & has_conj2(R_0009_0011__WHILE,R_0009_0002__WILL_R_0009_0004__HAVE_R_0009_0005__TO_R_0009_0006__CONTEND)
      & r_0009_0002__will_r_0009_0004__have_r_0009_0005__to_r_0009_0006__contend(R_0009_0002__WILL_R_0009_0004__HAVE_R_0009_0005__TO_R_0009_0006__CONTEND)
      & has_r_0009_0007__with_clr21(R_0009_0002__WILL_R_0009_0004__HAVE_R_0009_0005__TO_R_0009_0006__CONTEND,R_0009_0008__A_R_0009_0009__MUTANT)
      & has_arg0(R_0009_0002__WILL_R_0009_0004__HAVE_R_0009_0005__TO_R_0009_0006__CONTEND,R_0009_0001__YOU)
      & has_nim8(R_0009_0002__WILL_R_0009_0004__HAVE_R_0009_0005__TO_R_0009_0006__CONTEND,R_0009_0003__THEN) ) ).

( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (ADVP-NIM (ADV then;{then}))
                      (HV;_cat_Vt_ have;{have})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_Ipr_ contend;{contend[with]})
                                  (PP-CLR (P-ROLE with;{with})
                                          (NP (D a;{a})
                                              (N mutant;{mutant})))))
          (PUNC ,)
          (PP-SCON (P-CONN while;{while})
                   (IP-PPL (ADVP-NIM (ADV also;{also}))
                           (BAG;_cat_VePASS_ being;{be})
                           (IP-PPL-CAT (VVN;_Tn_ attacked;{attack})
                                       (PP-LGS (P-ROLE;_lgs_ by;{by})
                                               (NP (NLYR (NLYR (NS bombers;{bomber}))
                                                         (PUNC ,)
                                                         (CONJP (NLYR (NS spores;{spore})))
                                                         (CONJP (CONJ and;{and})
                                                                (NLYR (NS megacytes;{megacytes}))))
                                                   (PUNC ;)
                                                   (IP-REL (ILYR (NP-SBJ (Q;_nphd_ all;{all})
                                                                         (PP (P-ROLE of;{of})
                                                                             (NP (RPRO which;{which}))))
                                                                 (BEP;_cat_Vt_ are;{be})
                                                                 (IP-INF-CAT (TO to;{to})
                                                                             (BE;_cat_VePASS_ be;{be})
                                                                             (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                                                                                     (VVN;_Tn_ avoided;{avoid})
                                                                                                     (PP-NIM (P-ROLE at;{at})
                                                                                                             (NP (Q all;{all})
                                                                                                                 (NS costs;{cost}))))
                                                                                               (CONJP (CONJ and;{and})
                                                                                                      (ILYR (NP-LGS *)
                                                                                                            (VVN;_Tn_ killed;{kill})))))))
                                                           (PP-SCON (P-CONN before;{before})
                                                                    (IP-PPL3 (VAG;_phr_Vp.pr_ going;{go[on,to]})
                                                                             (RP on;{on})
                                                                             (PP-CLR (P-ROLE to;{to})
                                                                                     (NP (D the;{the})
                                                                                         (ADJP (ADJ next;{next}))
                                                                                         (N wave;{wave})))))))))))
          (PUNC .))
  (ID 9_a_planetoid))