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.

%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 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_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] 
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_6 In n3_a_thrust_9 preparation n3_a_thrust_12 for n3_a_thrust_15 this n3_a_thrust_17 , n3_a_thrust_20 they n3_a_thrust_22 have n3_a_thrust_25 captured n3_a_thrust_29 several n3_a_thrust_31 starships n3_a_thrust_33 , n3_a_thrust_36 but n3_a_thrust_40 they n3_a_thrust_42 lack n3_a_thrust_45 the n3_a_thrust_48 essential n3_a_thrust_50 power n3_a_thrust_52 sources n3_a_thrust_55 for n3_a_thrust_58 these n3_a_thrust_61 formidable n3_a_thrust_63 craft n3_a_thrust_65 , n3_a_thrust_69 Klyston n3_a_thrust_71 Pods n3_a_thrust_73 . n3_a_thrust_1 IP-MAT n3_a_thrust_2 ILYR n3_a_thrust_1->n3_a_thrust_2 n3_a_thrust_72 PUNC n3_a_thrust_1->n3_a_thrust_72 n3_a_thrust_3 ILYR n3_a_thrust_2->n3_a_thrust_3 n3_a_thrust_32 PUNC n3_a_thrust_2->n3_a_thrust_32 n3_a_thrust_34 CONJP n3_a_thrust_2->n3_a_thrust_34 n3_a_thrust_4 PP-NIM n3_a_thrust_3->n3_a_thrust_4 n3_a_thrust_16 PUNC n3_a_thrust_3->n3_a_thrust_16 n3_a_thrust_18 NP-SBJ n3_a_thrust_3->n3_a_thrust_18 n3_a_thrust_21 HVP;_cat_Ve_ n3_a_thrust_3->n3_a_thrust_21 n3_a_thrust_23 IP-PPL-CAT n3_a_thrust_3->n3_a_thrust_23 n3_a_thrust_5 P-ROLE n3_a_thrust_4->n3_a_thrust_5 n3_a_thrust_7 NP n3_a_thrust_4->n3_a_thrust_7 n3_a_thrust_5->n3_a_thrust_6 n3_a_thrust_8 N n3_a_thrust_7->n3_a_thrust_8 n3_a_thrust_10 PP n3_a_thrust_7->n3_a_thrust_10 n3_a_thrust_8->n3_a_thrust_9 n3_a_thrust_11 P-ROLE n3_a_thrust_10->n3_a_thrust_11 n3_a_thrust_13 NP n3_a_thrust_10->n3_a_thrust_13 n3_a_thrust_11->n3_a_thrust_12 n3_a_thrust_14 D;_nphd_ n3_a_thrust_13->n3_a_thrust_14 n3_a_thrust_14->n3_a_thrust_15 n3_a_thrust_16->n3_a_thrust_17 n3_a_thrust_19 PRO n3_a_thrust_18->n3_a_thrust_19 n3_a_thrust_19->n3_a_thrust_20 n3_a_thrust_21->n3_a_thrust_22 n3_a_thrust_24 VVN;_Tn_ n3_a_thrust_23->n3_a_thrust_24 n3_a_thrust_26 NP-OB1 n3_a_thrust_23->n3_a_thrust_26 n3_a_thrust_24->n3_a_thrust_25 n3_a_thrust_27 ADJP n3_a_thrust_26->n3_a_thrust_27 n3_a_thrust_30 NS n3_a_thrust_26->n3_a_thrust_30 n3_a_thrust_28 ADJ n3_a_thrust_27->n3_a_thrust_28 n3_a_thrust_28->n3_a_thrust_29 n3_a_thrust_30->n3_a_thrust_31 n3_a_thrust_32->n3_a_thrust_33 n3_a_thrust_35 CONJ n3_a_thrust_34->n3_a_thrust_35 n3_a_thrust_37 ILYR n3_a_thrust_34->n3_a_thrust_37 n3_a_thrust_35->n3_a_thrust_36 n3_a_thrust_38 NP-SBJ n3_a_thrust_37->n3_a_thrust_38 n3_a_thrust_41 VBP;_Tn_ n3_a_thrust_37->n3_a_thrust_41 n3_a_thrust_43 NP-OB1 n3_a_thrust_37->n3_a_thrust_43 n3_a_thrust_39 PRO n3_a_thrust_38->n3_a_thrust_39 n3_a_thrust_39->n3_a_thrust_40 n3_a_thrust_41->n3_a_thrust_42 n3_a_thrust_44 D n3_a_thrust_43->n3_a_thrust_44 n3_a_thrust_46 ADJP n3_a_thrust_43->n3_a_thrust_46 n3_a_thrust_49 N n3_a_thrust_43->n3_a_thrust_49 n3_a_thrust_51 NS n3_a_thrust_43->n3_a_thrust_51 n3_a_thrust_53 PP n3_a_thrust_43->n3_a_thrust_53 n3_a_thrust_64 PUNC n3_a_thrust_43->n3_a_thrust_64 n3_a_thrust_66 IP-PPL n3_a_thrust_43->n3_a_thrust_66 n3_a_thrust_44->n3_a_thrust_45 n3_a_thrust_47 ADJ n3_a_thrust_46->n3_a_thrust_47 n3_a_thrust_47->n3_a_thrust_48 n3_a_thrust_49->n3_a_thrust_50 n3_a_thrust_51->n3_a_thrust_52 n3_a_thrust_54 P-ROLE n3_a_thrust_53->n3_a_thrust_54 n3_a_thrust_56 NP n3_a_thrust_53->n3_a_thrust_56 n3_a_thrust_54->n3_a_thrust_55 n3_a_thrust_57 D n3_a_thrust_56->n3_a_thrust_57 n3_a_thrust_59 ADJP n3_a_thrust_56->n3_a_thrust_59 n3_a_thrust_62 N n3_a_thrust_56->n3_a_thrust_62 n3_a_thrust_57->n3_a_thrust_58 n3_a_thrust_60 ADJ n3_a_thrust_59->n3_a_thrust_60 n3_a_thrust_60->n3_a_thrust_61 n3_a_thrust_62->n3_a_thrust_63 n3_a_thrust_64->n3_a_thrust_65 n3_a_thrust_67 NP-PRD n3_a_thrust_66->n3_a_thrust_67 n3_a_thrust_68 NPR n3_a_thrust_67->n3_a_thrust_68 n3_a_thrust_70 NS n3_a_thrust_67->n3_a_thrust_70 n3_a_thrust_68->n3_a_thrust_69 n3_a_thrust_70->n3_a_thrust_71 n3_a_thrust_72->n3_a_thrust_73 
( (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))