Context                Previous, Next                Top


80_a_dick_1952
The ship shuddered, falling suddenly down, then righting itself as automatic controls took over.

%3 r_0080_0003__shuddered shuddered r_0080_0001__The_r_0080_0002__ship The ship r_0080_0003__shuddered->r_0080_0001__The_r_0080_0002__ship [arg0] r_0080_0005__falling falling r_0080_0005__falling->r_0080_0001__The_r_0080_0002__ship [arg0] r_0080_0006__suddenly suddenly r_0080_0005__falling->r_0080_0006__suddenly [nim] r_0080_0007__down down r_0080_0005__falling->r_0080_0007__down [clr] r_0080_0010__righting righting r_0080_0010__righting->r_0080_0001__The_r_0080_0002__ship [arg0] r_0080_0010__righting->r_0080_0001__The_r_0080_0002__ship [arg1] r_0080_0009__then then r_0080_0010__righting->r_0080_0009__then [nim] r_0080_0012__as as r_0080_0012__as->r_0080_0010__righting [scope] r_0080_0015__took_r_0080_0016__over took over r_0080_0012__as->r_0080_0015__took_r_0080_0016__over [restriction] r_0080_0014__controls controls r_0080_0015__took_r_0080_0016__over->r_0080_0014__controls [arg0] r_0080_0013__automatic automatic r_0080_0014__controls->r_0080_0013__automatic [attrib] z_000_80_a_dick_1952_11 z_000_80_a_dick_1952_11->r_0080_0003__shuddered [scope] z_000_80_a_dick_1952_13 z_000_80_a_dick_1952_11->z_000_80_a_dick_1952_13 [restriction] z_000_80_a_dick_1952_13->r_0080_0005__falling [conj1] z_000_80_a_dick_1952_13->r_0080_0012__as [conj2] 
arc(r_0080_0003__shuddered, r_0080_0001__The_r_0080_0002__ship, arg0).
arc(r_0080_0005__falling, r_0080_0001__The_r_0080_0002__ship, arg0).
arc(r_0080_0005__falling, r_0080_0006__suddenly, nim17).
arc(r_0080_0005__falling, r_0080_0007__down, clr20).
arc(r_0080_0010__righting, r_0080_0001__The_r_0080_0002__ship, arg0).
arc(r_0080_0010__righting, r_0080_0001__The_r_0080_0002__ship, arg1).
arc(r_0080_0010__righting, r_0080_0009__then, nim27).
arc(r_0080_0012__as, r_0080_0010__righting, scope).
arc(r_0080_0012__as, r_0080_0015__took_r_0080_0016__over, restriction).
arc(r_0080_0014__controls, r_0080_0013__automatic, attrib40).
arc(r_0080_0015__took_r_0080_0016__over, r_0080_0014__controls, arg0).
arc(z_000_80_a_dick_1952_11, r_0080_0003__shuddered, scope).
arc(z_000_80_a_dick_1952_11, z_000_80_a_dick_1952_13, restriction).
arc(z_000_80_a_dick_1952_13, r_0080_0005__falling, conj1).
arc(z_000_80_a_dick_1952_13, r_0080_0012__as, conj2).


%3 r_0080_0003__shuddered shuddered r_0080_0001__The_r_0080_0002__ship The ship r_0080_0003__shuddered->r_0080_0001__The_r_0080_0002__ship [arg0] r_0080_0005__falling falling r_0080_0005__falling->r_0080_0001__The_r_0080_0002__ship [arg0] r_0080_0006__suddenly suddenly r_0080_0005__falling->r_0080_0006__suddenly [nim] r_0080_0007__down down r_0080_0005__falling->r_0080_0007__down [clr] r_0080_0010__righting righting r_0080_0010__righting->r_0080_0001__The_r_0080_0002__ship [arg0] r_0080_0010__righting->r_0080_0001__The_r_0080_0002__ship [arg1] r_0080_0009__then then r_0080_0010__righting->r_0080_0009__then [nim] r_0080_0012__as as r_0080_0012__as->r_0080_0010__righting [conj2] r_0080_0015__took_r_0080_0016__over took over r_0080_0012__as->r_0080_0015__took_r_0080_0016__over [conj1] r_0080_0014__controls controls r_0080_0015__took_r_0080_0016__over->r_0080_0014__controls [arg0] r_0080_0013__automatic automatic r_0080_0014__controls->r_0080_0013__automatic [attrib] z_000_80_a_dick_1952_11 z_000_80_a_dick_1952_11->r_0080_0003__shuddered [conj2] z_000_80_a_dick_1952_13 z_000_80_a_dick_1952_11->z_000_80_a_dick_1952_13 [conj1] z_000_80_a_dick_1952_13->r_0080_0005__falling [conj1] z_000_80_a_dick_1952_13->r_0080_0012__as [conj2] 
fof(formula,axiom,
    ? [Z_80_A_DICK_1952_11,Z_80_A_DICK_1952_13,R_80_5_FALLING,R_80_7_DOWN,R_80_6_SUDDENLY,R_80_12_AS,R_80_15_TOOK_OVER,R_80_14_CONTROLS,R_80_13_AUTOMATIC,R_80_10_RIGHTING,R_80_9_THEN,R_80_3_SHUDDERED,R_80_1_THE_SHIP] :
      ( down(R_80_7_DOWN)
      & suddenly(R_80_6_SUDDENLY)
      & automatic(R_80_13_AUTOMATIC)
      & then(R_80_9_THEN)
      & the_ship(R_80_1_THE_SHIP)
      & z_80_a_dick_1952_11(Z_80_A_DICK_1952_11)
      & conj1(Z_80_A_DICK_1952_11,Z_80_A_DICK_1952_13)
      & z_80_a_dick_1952_13(Z_80_A_DICK_1952_13)
      & conj1(Z_80_A_DICK_1952_13,R_80_5_FALLING)
      & falling(R_80_5_FALLING,R_80_1_THE_SHIP)
      & clr20(R_80_5_FALLING,R_80_7_DOWN)
      & nim17(R_80_5_FALLING,R_80_6_SUDDENLY)
      & conj2(Z_80_A_DICK_1952_13,R_80_12_AS)
      & as(R_80_12_AS)
      & conj1(R_80_12_AS,R_80_15_TOOK_OVER)
      & took_over(R_80_15_TOOK_OVER,R_80_14_CONTROLS)
      & controls(R_80_14_CONTROLS)
      & attrib40(R_80_14_CONTROLS,R_80_13_AUTOMATIC)
      & conj2(R_80_12_AS,R_80_10_RIGHTING)
      & righting(R_80_10_RIGHTING,R_80_1_THE_SHIP,R_80_1_THE_SHIP)
      & nim27(R_80_10_RIGHTING,R_80_9_THEN)
      & conj2(Z_80_A_DICK_1952_11,R_80_3_SHUDDERED)
      & shuddered(R_80_3_SHUDDERED,R_80_1_THE_SHIP) ) ).


n80_a_dick_1952 n80_a_dick_1952_4 The n80_a_dick_1952_6 ship n80_a_dick_1952_8 shuddered n80_a_dick_1952_10 , n80_a_dick_1952_16 falling n80_a_dick_1952_19 suddenly n80_a_dick_1952_22 down n80_a_dick_1952_24 , n80_a_dick_1952_29 then n80_a_dick_1952_31 righting n80_a_dick_1952_34 itself n80_a_dick_1952_37 as n80_a_dick_1952_42 automatic n80_a_dick_1952_44 controls n80_a_dick_1952_46 took n80_a_dick_1952_48 over n80_a_dick_1952_50 . n80_a_dick_1952_1 IP-MAT n80_a_dick_1952_2 NP-SBJ n80_a_dick_1952_1->n80_a_dick_1952_2 n80_a_dick_1952_7 VBD;_I_ n80_a_dick_1952_1->n80_a_dick_1952_7 n80_a_dick_1952_9 PUNC n80_a_dick_1952_1->n80_a_dick_1952_9 n80_a_dick_1952_11 PP-SCON n80_a_dick_1952_1->n80_a_dick_1952_11 n80_a_dick_1952_49 PUNC n80_a_dick_1952_1->n80_a_dick_1952_49 n80_a_dick_1952_3 D n80_a_dick_1952_2->n80_a_dick_1952_3 n80_a_dick_1952_5 N n80_a_dick_1952_2->n80_a_dick_1952_5 n80_a_dick_1952_3->n80_a_dick_1952_4 n80_a_dick_1952_5->n80_a_dick_1952_6 n80_a_dick_1952_7->n80_a_dick_1952_8 n80_a_dick_1952_9->n80_a_dick_1952_10 n80_a_dick_1952_12 IP-PPL n80_a_dick_1952_11->n80_a_dick_1952_12 n80_a_dick_1952_13 ILYR n80_a_dick_1952_12->n80_a_dick_1952_13 n80_a_dick_1952_14 ILYR n80_a_dick_1952_13->n80_a_dick_1952_14 n80_a_dick_1952_23 PUNC n80_a_dick_1952_13->n80_a_dick_1952_23 n80_a_dick_1952_25 CONJP n80_a_dick_1952_13->n80_a_dick_1952_25 n80_a_dick_1952_15 VAG;_Ip_ n80_a_dick_1952_14->n80_a_dick_1952_15 n80_a_dick_1952_17 ADVP-NIM n80_a_dick_1952_14->n80_a_dick_1952_17 n80_a_dick_1952_20 ADVP-CLR n80_a_dick_1952_14->n80_a_dick_1952_20 n80_a_dick_1952_15->n80_a_dick_1952_16 n80_a_dick_1952_18 ADV n80_a_dick_1952_17->n80_a_dick_1952_18 n80_a_dick_1952_18->n80_a_dick_1952_19 n80_a_dick_1952_21 RP n80_a_dick_1952_20->n80_a_dick_1952_21 n80_a_dick_1952_21->n80_a_dick_1952_22 n80_a_dick_1952_23->n80_a_dick_1952_24 n80_a_dick_1952_26 ILYR n80_a_dick_1952_25->n80_a_dick_1952_26 n80_a_dick_1952_27 ADVP-NIM n80_a_dick_1952_26->n80_a_dick_1952_27 n80_a_dick_1952_30 VAG;_Tn_ n80_a_dick_1952_26->n80_a_dick_1952_30 n80_a_dick_1952_32 NP-OB1 n80_a_dick_1952_26->n80_a_dick_1952_32 n80_a_dick_1952_35 PP-SCON n80_a_dick_1952_26->n80_a_dick_1952_35 n80_a_dick_1952_28 ADV n80_a_dick_1952_27->n80_a_dick_1952_28 n80_a_dick_1952_28->n80_a_dick_1952_29 n80_a_dick_1952_30->n80_a_dick_1952_31 n80_a_dick_1952_33 PNX n80_a_dick_1952_32->n80_a_dick_1952_33 n80_a_dick_1952_33->n80_a_dick_1952_34 n80_a_dick_1952_36 P-CONN n80_a_dick_1952_35->n80_a_dick_1952_36 n80_a_dick_1952_38 IP-ADV n80_a_dick_1952_35->n80_a_dick_1952_38 n80_a_dick_1952_36->n80_a_dick_1952_37 n80_a_dick_1952_39 NP-SBJ n80_a_dick_1952_38->n80_a_dick_1952_39 n80_a_dick_1952_45 VBD;_phr_Vp_ n80_a_dick_1952_38->n80_a_dick_1952_45 n80_a_dick_1952_47 RP n80_a_dick_1952_38->n80_a_dick_1952_47 n80_a_dick_1952_40 ADJP n80_a_dick_1952_39->n80_a_dick_1952_40 n80_a_dick_1952_43 NS n80_a_dick_1952_39->n80_a_dick_1952_43 n80_a_dick_1952_41 ADJ n80_a_dick_1952_40->n80_a_dick_1952_41 n80_a_dick_1952_41->n80_a_dick_1952_42 n80_a_dick_1952_43->n80_a_dick_1952_44 n80_a_dick_1952_45->n80_a_dick_1952_46 n80_a_dick_1952_47->n80_a_dick_1952_48 n80_a_dick_1952_49->n80_a_dick_1952_50 
( (IP-MAT (NP-SBJ;{SHIP} (D The;{the})
                         (N ship;{ship}))
          (VBD;_I_ shuddered;{shudder})
          (PUNC ,)
          (PP-SCON (IP-PPL (ILYR (ILYR (VAG;_Ip_ falling;{fall[down]})
                                       (ADVP-NIM (ADV suddenly;{suddenly}))
                                       (ADVP-CLR (RP down;{down})))
                                 (PUNC ,)
                                 (CONJP (ILYR (ADVP-NIM (ADV then;{then}))
                                              (VAG;_Tn_ righting;{right})
                                              (NP-OB1;{SHIP} (PNX itself;{itself}))
                                              (PP-SCON (P-CONN as;{as})
                                                       (IP-ADV (NP-SBJ (ADJP (ADJ automatic;{automatic}))
                                                                       (NS controls;{control}))
                                                               (VBD;_phr_Vp_ took;{take[over]})
                                                               (RP over;{over}))))))))
          (PUNC .))
  (ID 80_a_dick_1952))