3_a_thrust
In preparation for this, they have captured several starships, but they lack the essential power sources for these formidable craft, Klyston Pods.

%3 r_0003_0002__preparation preparation r_0003_0004__this this r_0003_0002__preparation->r_0003_0004__this for r_0003_0007__have have r_0003_0007__have->r_0003_0002__preparation In [nim] r_0003_0008__captured captured r_0003_0007__have->r_0003_0008__captured [scope] r_0003_0006__they they r_0003_0008__captured->r_0003_0006__they [arg0] r_0003_0010__starships starships r_0003_0008__captured->r_0003_0010__starships [arg1] r_0003_0009__several several r_0003_0010__starships->r_0003_0009__several [attrib] r_0003_0012__but but r_0003_0012__but->r_0003_0007__have [conj1] r_0003_0014__lack lack r_0003_0012__but->r_0003_0014__lack [conj2] r_0003_0013__they they r_0003_0014__lack->r_0003_0013__they [arg0] r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources the power sources r_0003_0014__lack->r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources [arg1] r_0003_0016__essential essential r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources->r_0003_0016__essential [attrib] r_0003_0020__these_r_0003_0022__craft these craft r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources->r_0003_0020__these_r_0003_0022__craft for r_0003_0021__formidable formidable r_0003_0020__these_r_0003_0022__craft->r_0003_0021__formidable [attrib] z_000_3_a_thrust_66 z_000_3_a_thrust_66->r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources [arg0] r_0003_0024__Klyston_r_0003_0025__Pods Klyston Pods z_000_3_a_thrust_66->r_0003_0024__Klyston_r_0003_0025__Pods [prd]
arc(r_0003_0002__preparation, r_0003_0004__this, r_0003_0003__for).
arc(r_0003_0007__have, r_0003_0002__preparation, r_0003_0001__In_nim7).
arc(r_0003_0007__have, r_0003_0008__captured, scope).
arc(r_0003_0008__captured, r_0003_0006__they, arg0).
arc(r_0003_0008__captured, r_0003_0010__starships, arg1).
arc(r_0003_0010__starships, r_0003_0009__several, attrib27).
arc(r_0003_0012__but, r_0003_0007__have, conj1).
arc(r_0003_0012__but, r_0003_0014__lack, conj2).
arc(r_0003_0014__lack, r_0003_0013__they, arg0).
arc(r_0003_0014__lack, r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources, arg1).
arc(r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources, r_0003_0016__essential, attrib46).
arc(r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources, r_0003_0020__these_r_0003_0022__craft, r_0003_0019__for).
arc(r_0003_0020__these_r_0003_0022__craft, r_0003_0021__formidable, attrib59).
arc(z_000_3_a_thrust_66, r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources, arg0).
arc(z_000_3_a_thrust_66, r_0003_0024__Klyston_r_0003_0025__Pods, prd).



%3 z_000_3_a_thrust_66 r_0003_0024__Klyston_r_0003_0025__Pods Klyston Pods z_000_3_a_thrust_66->r_0003_0024__Klyston_r_0003_0025__Pods [prd] r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources the power sources z_000_3_a_thrust_66->r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources [arg0] r_0003_0020__these_r_0003_0022__craft these craft r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources->r_0003_0020__these_r_0003_0022__craft for r_0003_0016__essential essential r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources->r_0003_0016__essential [attrib] r_0003_0021__formidable formidable r_0003_0020__these_r_0003_0022__craft->r_0003_0021__formidable [attrib] r_0003_0014__lack lack r_0003_0014__lack->r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources [arg1] r_0003_0013__they they r_0003_0014__lack->r_0003_0013__they [arg0] r_0003_0012__but but r_0003_0012__but->r_0003_0014__lack [conj2] r_0003_0007__have_r_0003_0008__captured have captured r_0003_0012__but->r_0003_0007__have_r_0003_0008__captured [conj1] r_0003_0010__starships starships r_0003_0007__have_r_0003_0008__captured->r_0003_0010__starships [arg1] r_0003_0006__they they r_0003_0007__have_r_0003_0008__captured->r_0003_0006__they [arg0] r_0003_0002__preparation preparation r_0003_0007__have_r_0003_0008__captured->r_0003_0002__preparation In [nim] r_0003_0009__several several r_0003_0010__starships->r_0003_0009__several [attrib] r_0003_0004__this this r_0003_0002__preparation->r_0003_0004__this for
fof(formula,axiom,
    ? [R_3_12_BUT,R_3_7_HAVE_CAPTURED,R_3_6_THEY,R_3_10_STARSHIPS,R_3_9_SEVERAL,R_3_2_PREPARATION,R_3_4_THIS,R_3_14_LACK,R_3_13_THEY,Z_3_A_THRUST_66,R_3_15_THE_POWER_SOURCES,R_3_16_ESSENTIAL,R_3_20_THESE_CRAFT,R_3_21_FORMIDABLE,R_3_24_KLYSTON_PODS] :
      ( they(R_3_6_THEY)
      & several(R_3_9_SEVERAL)
      & this(R_3_4_THIS)
      & they(R_3_13_THEY)
      & essential(R_3_16_ESSENTIAL)
      & formidable(R_3_21_FORMIDABLE)
      & klyston_Pods(R_3_24_KLYSTON_PODS)
      & but(R_3_12_BUT)
      & conj1(R_3_12_BUT,R_3_7_HAVE_CAPTURED)
      & have_captured(R_3_7_HAVE_CAPTURED,R_3_6_THEY,R_3_10_STARSHIPS)
      & starships(R_3_10_STARSHIPS)
      & attrib27(R_3_10_STARSHIPS,R_3_9_SEVERAL)
      & in_nim7(R_3_7_HAVE_CAPTURED,R_3_2_PREPARATION)
      & preparation(R_3_2_PREPARATION)
      & for(R_3_2_PREPARATION,R_3_4_THIS)
      & conj2(R_3_12_BUT,R_3_14_LACK)
      & lack(R_3_14_LACK,R_3_13_THEY,R_3_15_THE_POWER_SOURCES)
      & the_power_sources(R_3_15_THE_POWER_SOURCES)
      & attrib46(R_3_15_THE_POWER_SOURCES,R_3_16_ESSENTIAL)
      & for(R_3_15_THE_POWER_SOURCES,R_3_20_THESE_CRAFT)
      & these_craft(R_3_20_THESE_CRAFT)
      & attrib59(R_3_20_THESE_CRAFT,R_3_21_FORMIDABLE)
      & z_3_a_thrust_66(Z_3_A_THRUST_66,R_3_15_THE_POWER_SOURCES,R_3_24_KLYSTON_PODS) ) ).



n3_a_thrust n3_a_thrust__1_1_1_1_1_1 In n3_a_thrust__1_1_1_1_2_1_1 preparation n3_a_thrust__1_1_1_1_2_2_1_1 for n3_a_thrust__1_1_1_1_2_2_2_1_1 this n3_a_thrust__1_1_1_2_1 , n3_a_thrust__1_1_1_3_1_1 they n3_a_thrust__1_1_1_4_1 have n3_a_thrust__1_1_1_5_1_1 captured n3_a_thrust__1_1_1_5_2_1_1_1 several n3_a_thrust__1_1_1_5_2_2_1 starships n3_a_thrust__1_1_2_1 , n3_a_thrust__1_1_3_1_1 but n3_a_thrust__1_1_3_2_1_1_1 they n3_a_thrust__1_1_3_2_2_1 lack n3_a_thrust__1_1_3_2_3_1_1 the n3_a_thrust__1_1_3_2_3_2_1_1 essential n3_a_thrust__1_1_3_2_3_3_1 power n3_a_thrust__1_1_3_2_3_4_1 sources n3_a_thrust__1_1_3_2_3_5_1_1 for n3_a_thrust__1_1_3_2_3_5_2_1_1 these n3_a_thrust__1_1_3_2_3_5_2_2_1_1 formidable n3_a_thrust__1_1_3_2_3_5_2_3_1 craft n3_a_thrust__1_1_3_2_3_6_1 , n3_a_thrust__1_1_3_2_3_7_1_1_1 Klyston n3_a_thrust__1_1_3_2_3_7_1_2_1 Pods n3_a_thrust__1_2_1 . n3_a_thrust__1 IP-MAT n3_a_thrust__1_1 ILYR n3_a_thrust__1->n3_a_thrust__1_1 n3_a_thrust__1_2 PUNC n3_a_thrust__1->n3_a_thrust__1_2 n3_a_thrust__1_1_1 ILYR n3_a_thrust__1_1->n3_a_thrust__1_1_1 n3_a_thrust__1_1_2 PUNC n3_a_thrust__1_1->n3_a_thrust__1_1_2 n3_a_thrust__1_1_3 CONJP n3_a_thrust__1_1->n3_a_thrust__1_1_3 n3_a_thrust__1_1_1_1 PP-NIM n3_a_thrust__1_1_1->n3_a_thrust__1_1_1_1 n3_a_thrust__1_1_1_2 PUNC n3_a_thrust__1_1_1->n3_a_thrust__1_1_1_2 n3_a_thrust__1_1_1_3 NP-SBJ n3_a_thrust__1_1_1->n3_a_thrust__1_1_1_3 n3_a_thrust__1_1_1_4 HVP;_cat_Ve_ n3_a_thrust__1_1_1->n3_a_thrust__1_1_1_4 n3_a_thrust__1_1_1_5 IP-PPL-CAT n3_a_thrust__1_1_1->n3_a_thrust__1_1_1_5 n3_a_thrust__1_1_1_1_1 P-ROLE n3_a_thrust__1_1_1_1->n3_a_thrust__1_1_1_1_1 n3_a_thrust__1_1_1_1_2 NP n3_a_thrust__1_1_1_1->n3_a_thrust__1_1_1_1_2 n3_a_thrust__1_1_1_1_1->n3_a_thrust__1_1_1_1_1_1 n3_a_thrust__1_1_1_1_2_1 N n3_a_thrust__1_1_1_1_2->n3_a_thrust__1_1_1_1_2_1 n3_a_thrust__1_1_1_1_2_2 PP n3_a_thrust__1_1_1_1_2->n3_a_thrust__1_1_1_1_2_2 n3_a_thrust__1_1_1_1_2_1->n3_a_thrust__1_1_1_1_2_1_1 n3_a_thrust__1_1_1_1_2_2_1 P-ROLE n3_a_thrust__1_1_1_1_2_2->n3_a_thrust__1_1_1_1_2_2_1 n3_a_thrust__1_1_1_1_2_2_2 NP n3_a_thrust__1_1_1_1_2_2->n3_a_thrust__1_1_1_1_2_2_2 n3_a_thrust__1_1_1_1_2_2_1->n3_a_thrust__1_1_1_1_2_2_1_1 n3_a_thrust__1_1_1_1_2_2_2_1 D;_nphd_ n3_a_thrust__1_1_1_1_2_2_2->n3_a_thrust__1_1_1_1_2_2_2_1 n3_a_thrust__1_1_1_1_2_2_2_1->n3_a_thrust__1_1_1_1_2_2_2_1_1 n3_a_thrust__1_1_1_2->n3_a_thrust__1_1_1_2_1 n3_a_thrust__1_1_1_3_1 PRO n3_a_thrust__1_1_1_3->n3_a_thrust__1_1_1_3_1 n3_a_thrust__1_1_1_3_1->n3_a_thrust__1_1_1_3_1_1 n3_a_thrust__1_1_1_4->n3_a_thrust__1_1_1_4_1 n3_a_thrust__1_1_1_5_1 VVN;_Tn_ n3_a_thrust__1_1_1_5->n3_a_thrust__1_1_1_5_1 n3_a_thrust__1_1_1_5_2 NP-OB1 n3_a_thrust__1_1_1_5->n3_a_thrust__1_1_1_5_2 n3_a_thrust__1_1_1_5_1->n3_a_thrust__1_1_1_5_1_1 n3_a_thrust__1_1_1_5_2_1 ADJP n3_a_thrust__1_1_1_5_2->n3_a_thrust__1_1_1_5_2_1 n3_a_thrust__1_1_1_5_2_2 NS n3_a_thrust__1_1_1_5_2->n3_a_thrust__1_1_1_5_2_2 n3_a_thrust__1_1_1_5_2_1_1 ADJ n3_a_thrust__1_1_1_5_2_1->n3_a_thrust__1_1_1_5_2_1_1 n3_a_thrust__1_1_1_5_2_1_1->n3_a_thrust__1_1_1_5_2_1_1_1 n3_a_thrust__1_1_1_5_2_2->n3_a_thrust__1_1_1_5_2_2_1 n3_a_thrust__1_1_2->n3_a_thrust__1_1_2_1 n3_a_thrust__1_1_3_1 CONJ n3_a_thrust__1_1_3->n3_a_thrust__1_1_3_1 n3_a_thrust__1_1_3_2 ILYR n3_a_thrust__1_1_3->n3_a_thrust__1_1_3_2 n3_a_thrust__1_1_3_1->n3_a_thrust__1_1_3_1_1 n3_a_thrust__1_1_3_2_1 NP-SBJ n3_a_thrust__1_1_3_2->n3_a_thrust__1_1_3_2_1 n3_a_thrust__1_1_3_2_2 VBP;_Tn_ n3_a_thrust__1_1_3_2->n3_a_thrust__1_1_3_2_2 n3_a_thrust__1_1_3_2_3 NP-OB1 n3_a_thrust__1_1_3_2->n3_a_thrust__1_1_3_2_3 n3_a_thrust__1_1_3_2_1_1 PRO n3_a_thrust__1_1_3_2_1->n3_a_thrust__1_1_3_2_1_1 n3_a_thrust__1_1_3_2_1_1->n3_a_thrust__1_1_3_2_1_1_1 n3_a_thrust__1_1_3_2_2->n3_a_thrust__1_1_3_2_2_1 n3_a_thrust__1_1_3_2_3_1 D n3_a_thrust__1_1_3_2_3->n3_a_thrust__1_1_3_2_3_1 n3_a_thrust__1_1_3_2_3_2 ADJP n3_a_thrust__1_1_3_2_3->n3_a_thrust__1_1_3_2_3_2 n3_a_thrust__1_1_3_2_3_3 N n3_a_thrust__1_1_3_2_3->n3_a_thrust__1_1_3_2_3_3 n3_a_thrust__1_1_3_2_3_4 NS n3_a_thrust__1_1_3_2_3->n3_a_thrust__1_1_3_2_3_4 n3_a_thrust__1_1_3_2_3_5 PP n3_a_thrust__1_1_3_2_3->n3_a_thrust__1_1_3_2_3_5 n3_a_thrust__1_1_3_2_3_6 PUNC n3_a_thrust__1_1_3_2_3->n3_a_thrust__1_1_3_2_3_6 n3_a_thrust__1_1_3_2_3_7 IP-PPL n3_a_thrust__1_1_3_2_3->n3_a_thrust__1_1_3_2_3_7 n3_a_thrust__1_1_3_2_3_1->n3_a_thrust__1_1_3_2_3_1_1 n3_a_thrust__1_1_3_2_3_2_1 ADJ n3_a_thrust__1_1_3_2_3_2->n3_a_thrust__1_1_3_2_3_2_1 n3_a_thrust__1_1_3_2_3_2_1->n3_a_thrust__1_1_3_2_3_2_1_1 n3_a_thrust__1_1_3_2_3_3->n3_a_thrust__1_1_3_2_3_3_1 n3_a_thrust__1_1_3_2_3_4->n3_a_thrust__1_1_3_2_3_4_1 n3_a_thrust__1_1_3_2_3_5_1 P-ROLE n3_a_thrust__1_1_3_2_3_5->n3_a_thrust__1_1_3_2_3_5_1 n3_a_thrust__1_1_3_2_3_5_2 NP n3_a_thrust__1_1_3_2_3_5->n3_a_thrust__1_1_3_2_3_5_2 n3_a_thrust__1_1_3_2_3_5_1->n3_a_thrust__1_1_3_2_3_5_1_1 n3_a_thrust__1_1_3_2_3_5_2_1 D n3_a_thrust__1_1_3_2_3_5_2->n3_a_thrust__1_1_3_2_3_5_2_1 n3_a_thrust__1_1_3_2_3_5_2_2 ADJP n3_a_thrust__1_1_3_2_3_5_2->n3_a_thrust__1_1_3_2_3_5_2_2 n3_a_thrust__1_1_3_2_3_5_2_3 N n3_a_thrust__1_1_3_2_3_5_2->n3_a_thrust__1_1_3_2_3_5_2_3 n3_a_thrust__1_1_3_2_3_5_2_1->n3_a_thrust__1_1_3_2_3_5_2_1_1 n3_a_thrust__1_1_3_2_3_5_2_2_1 ADJ n3_a_thrust__1_1_3_2_3_5_2_2->n3_a_thrust__1_1_3_2_3_5_2_2_1 n3_a_thrust__1_1_3_2_3_5_2_2_1->n3_a_thrust__1_1_3_2_3_5_2_2_1_1 n3_a_thrust__1_1_3_2_3_5_2_3->n3_a_thrust__1_1_3_2_3_5_2_3_1 n3_a_thrust__1_1_3_2_3_6->n3_a_thrust__1_1_3_2_3_6_1 n3_a_thrust__1_1_3_2_3_7_1 NP-PRD n3_a_thrust__1_1_3_2_3_7->n3_a_thrust__1_1_3_2_3_7_1 n3_a_thrust__1_1_3_2_3_7_1_1 NPR n3_a_thrust__1_1_3_2_3_7_1->n3_a_thrust__1_1_3_2_3_7_1_1 n3_a_thrust__1_1_3_2_3_7_1_2 NS n3_a_thrust__1_1_3_2_3_7_1->n3_a_thrust__1_1_3_2_3_7_1_2 n3_a_thrust__1_1_3_2_3_7_1_1->n3_a_thrust__1_1_3_2_3_7_1_1_1 n3_a_thrust__1_1_3_2_3_7_1_2->n3_a_thrust__1_1_3_2_3_7_1_2_1 n3_a_thrust__1_2->n3_a_thrust__1_2_1
( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE In;{in})
                              (NP (N preparation;{preparation})
                                  (PP (P-ROLE for;{for})
                                      (NP;{OFFENSIVE} (D;_nphd_ this;{this})))))
                      (PUNC ,)
                      (NP-SBJ;{RESISTANCE} (PRO they;{they}))
                      (HVP;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (VVN;_Tn_ captured;{capture})
                                  (NP-OB1 (ADJP (ADJ several;{several}))
                                          (NS starships;{starship}))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{RESISTANCE} (PRO they;{they}))
                             (VBP;_Tn_ lack;{lack})
                             (NP-OB1 (D the;{the})
                                     (ADJP (ADJ essential;{essential}))
                                     (N power;{power})
                                     (NS sources;{source})
                                     (PP (P-ROLE for;{for})
                                         (NP (D these;{these})
                                             (ADJP (ADJ formidable;{formidable}))
                                             (N craft;{craft})))
                                     (PUNC ,)
                                     (IP-PPL (NP-PRD;{KLYSTON_PODS} (NPR Klyston;{Klyston})
                                                                    (NS Pods;{pod})))))))
          (PUNC .))
  (ID 3_a_thrust))