Context                Previous, Next                Top


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.

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 PRN 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 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 ,)
                                     (PRN (NP;{KLYSTON_PODS} (NPR Klyston;{Klyston})
                                                             (NS Pods;{pod})))))))
          (PUNC .))
  (ID 3_a_thrust))


%3 z_0003_5013 r_0003_0024__Klyston_r_0003_0025__Pods Klyston Pods z_0003_5013->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_0003_5013->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_0006__they they r_0003_0014__lack->r_0003_0006__they [arg0] r_0003_0012__but but r_0003_0012__but->r_0003_0014__lack [conj2] r_0003_0007__have have r_0003_0012__but->r_0003_0007__have [conj1] r_0003_0008__captured captured r_0003_0007__have->r_0003_0008__captured [scope] r_0003_0002__preparation preparation r_0003_0007__have->r_0003_0002__preparation In [nim] r_0003_0010__starships starships r_0003_0009__several several r_0003_0010__starships->r_0003_0009__several [attrib] r_0003_0008__captured->r_0003_0006__they [arg0] r_0003_0008__captured->r_0003_0010__starships [arg1] r_0003_0004__this this r_0003_0002__preparation->r_0003_0004__this for 
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__nim).
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,attrib).
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_0006__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,attrib).
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,attrib).
arc(z_0003_5013,r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources,arg0).
arc(z_0003_5013,r_0003_0024__Klyston_r_0003_0025__Pods,prd).


%3 r_0003_0002__preparation preparation r_0003_0004__this this r_0003_0002__preparation->r_0003_0004__this for r_0003_0007__have_r_0003_0008__captured have captured r_0003_0007__have_r_0003_0008__captured->r_0003_0002__preparation In [nim] r_0003_0006__they they r_0003_0007__have_r_0003_0008__captured->r_0003_0006__they [arg0] r_0003_0010__starships starships r_0003_0007__have_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_r_0003_0008__captured [conj1] r_0003_0014__lack lack r_0003_0012__but->r_0003_0014__lack [conj2] r_0003_0014__lack->r_0003_0006__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_0003_5013 z_0003_5013->r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources [arg0] r_0003_0024__Klyston_r_0003_0025__Pods Klyston Pods z_0003_5013->r_0003_0024__Klyston_r_0003_0025__Pods [prd] 
fof(formula,axiom,
    ? [R_0003_0004__THIS,R_0003_0002__PREPARATION,R_0003_0006__THEY,R_0003_0009__SEVERAL,R_0003_0010__STARSHIPS,R_0003_0007__HAVE_R_0003_0008__CAPTURED,R_0003_0016__ESSENTIAL,R_0003_0021__FORMIDABLE,R_0003_0020__THESE_R_0003_0022__CRAFT,R_0003_0015__THE_R_0003_0017__POWER_R_0003_0018__SOURCES,R_0003_0014__LACK,R_0003_0012__BUT,R_0003_0024__KLYSTON_R_0003_0025__PODS,Z_0003_5013] :
      ( r_0003_0004__this(R_0003_0004__THIS)
      & r_0003_0006__they(R_0003_0006__THEY)
      & r_0003_0009__several(R_0003_0009__SEVERAL)
      & r_0003_0016__essential(R_0003_0016__ESSENTIAL)
      & r_0003_0021__formidable(R_0003_0021__FORMIDABLE)
      & r_0003_0024__Klyston_r_0003_0025__Pods(R_0003_0024__KLYSTON_R_0003_0025__PODS)
      & z_0003_5013(Z_0003_5013)
      & has_prd(Z_0003_5013,R_0003_0024__KLYSTON_R_0003_0025__PODS)
      & has_arg0(Z_0003_5013,R_0003_0015__THE_R_0003_0017__POWER_R_0003_0018__SOURCES)
      & r_0003_0015__the_r_0003_0017__power_r_0003_0018__sources(R_0003_0015__THE_R_0003_0017__POWER_R_0003_0018__SOURCES)
      & has_r_0003_0019__for(R_0003_0015__THE_R_0003_0017__POWER_R_0003_0018__SOURCES,R_0003_0020__THESE_R_0003_0022__CRAFT)
      & r_0003_0020__these_r_0003_0022__craft(R_0003_0020__THESE_R_0003_0022__CRAFT)
      & has_attrib(R_0003_0020__THESE_R_0003_0022__CRAFT,R_0003_0021__FORMIDABLE)
      & has_attrib(R_0003_0015__THE_R_0003_0017__POWER_R_0003_0018__SOURCES,R_0003_0016__ESSENTIAL)
      & r_0003_0012__but(R_0003_0012__BUT)
      & has_conj2(R_0003_0012__BUT,R_0003_0014__LACK)
      & r_0003_0014__lack(R_0003_0014__LACK)
      & has_arg1(R_0003_0014__LACK,R_0003_0015__THE_R_0003_0017__POWER_R_0003_0018__SOURCES)
      & has_arg0(R_0003_0014__LACK,R_0003_0006__THEY)
      & has_conj1(R_0003_0012__BUT,R_0003_0007__HAVE_R_0003_0008__CAPTURED)
      & r_0003_0007__have_r_0003_0008__captured(R_0003_0007__HAVE_R_0003_0008__CAPTURED)
      & has_arg1(R_0003_0007__HAVE_R_0003_0008__CAPTURED,R_0003_0010__STARSHIPS)
      & r_0003_0010__starships(R_0003_0010__STARSHIPS)
      & has_attrib(R_0003_0010__STARSHIPS,R_0003_0009__SEVERAL)
      & has_arg0(R_0003_0007__HAVE_R_0003_0008__CAPTURED,R_0003_0006__THEY)
      & has_r_0003_0001__In__nim(R_0003_0007__HAVE_R_0003_0008__CAPTURED,R_0003_0002__PREPARATION)
      & r_0003_0002__preparation(R_0003_0002__PREPARATION)
      & has_r_0003_0003__for(R_0003_0002__PREPARATION,R_0003_0004__THIS) ) ).