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 z_000_80_a_dick_1952_13 r_0080_0012__as as z_000_80_a_dick_1952_13->r_0080_0012__as [conj2] r_0080_0005__falling falling z_000_80_a_dick_1952_13->r_0080_0005__falling [conj1] 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_0010__righting righting r_0080_0012__as->r_0080_0010__righting [conj2] r_0080_0001__The_r_0080_0002__ship The ship r_0080_0005__falling->r_0080_0001__The_r_0080_0002__ship [arg0] r_0080_0007__down down r_0080_0005__falling->r_0080_0007__down [clr] r_0080_0006__suddenly suddenly r_0080_0005__falling->r_0080_0006__suddenly [nim] z_000_80_a_dick_1952_11 z_000_80_a_dick_1952_11->z_000_80_a_dick_1952_13 [conj1] r_0080_0003__shuddered shuddered z_000_80_a_dick_1952_11->r_0080_0003__shuddered [conj2] r_0080_0003__shuddered->r_0080_0001__The_r_0080_0002__ship [arg0] 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] r_0080_0009__then then r_0080_0010__righting->r_0080_0009__then [nim] r_0080_0010__righting->r_0080_0001__The_r_0080_0002__ship [arg1] r_0080_0010__righting->r_0080_0001__The_r_0080_0002__ship [arg0] 
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__1_1_1_1 The n80_a_dick_1952__1_1_2_1 ship n80_a_dick_1952__1_2_1 shuddered n80_a_dick_1952__1_3_1 , n80_a_dick_1952__1_4_1_1_1_1_1 falling n80_a_dick_1952__1_4_1_1_1_2_1_1 suddenly n80_a_dick_1952__1_4_1_1_1_3_1_1 down n80_a_dick_1952__1_4_1_1_2_1 , n80_a_dick_1952__1_4_1_1_3_1_1_1_1 then n80_a_dick_1952__1_4_1_1_3_1_2_1 righting n80_a_dick_1952__1_4_1_1_3_1_3_1_1 itself n80_a_dick_1952__1_4_1_1_3_1_4_1_1 as n80_a_dick_1952__1_4_1_1_3_1_4_2_1_1_1_1 automatic n80_a_dick_1952__1_4_1_1_3_1_4_2_1_2_1 controls n80_a_dick_1952__1_4_1_1_3_1_4_2_2_1 took n80_a_dick_1952__1_4_1_1_3_1_4_2_3_1 over n80_a_dick_1952__1_5_1 . n80_a_dick_1952__1 IP-MAT n80_a_dick_1952__1_1 NP-SBJ n80_a_dick_1952__1->n80_a_dick_1952__1_1 n80_a_dick_1952__1_2 VBD;_I_ n80_a_dick_1952__1->n80_a_dick_1952__1_2 n80_a_dick_1952__1_3 PUNC n80_a_dick_1952__1->n80_a_dick_1952__1_3 n80_a_dick_1952__1_4 PP-SCON n80_a_dick_1952__1->n80_a_dick_1952__1_4 n80_a_dick_1952__1_5 PUNC n80_a_dick_1952__1->n80_a_dick_1952__1_5 n80_a_dick_1952__1_1_1 D n80_a_dick_1952__1_1->n80_a_dick_1952__1_1_1 n80_a_dick_1952__1_1_2 N n80_a_dick_1952__1_1->n80_a_dick_1952__1_1_2 n80_a_dick_1952__1_1_1->n80_a_dick_1952__1_1_1_1 n80_a_dick_1952__1_1_2->n80_a_dick_1952__1_1_2_1 n80_a_dick_1952__1_2->n80_a_dick_1952__1_2_1 n80_a_dick_1952__1_3->n80_a_dick_1952__1_3_1 n80_a_dick_1952__1_4_1 IP-PPL n80_a_dick_1952__1_4->n80_a_dick_1952__1_4_1 n80_a_dick_1952__1_4_1_1 ILYR n80_a_dick_1952__1_4_1->n80_a_dick_1952__1_4_1_1 n80_a_dick_1952__1_4_1_1_1 ILYR n80_a_dick_1952__1_4_1_1->n80_a_dick_1952__1_4_1_1_1 n80_a_dick_1952__1_4_1_1_2 PUNC n80_a_dick_1952__1_4_1_1->n80_a_dick_1952__1_4_1_1_2 n80_a_dick_1952__1_4_1_1_3 CONJP n80_a_dick_1952__1_4_1_1->n80_a_dick_1952__1_4_1_1_3 n80_a_dick_1952__1_4_1_1_1_1 VAG;_Ip_ n80_a_dick_1952__1_4_1_1_1->n80_a_dick_1952__1_4_1_1_1_1 n80_a_dick_1952__1_4_1_1_1_2 ADVP-NIM n80_a_dick_1952__1_4_1_1_1->n80_a_dick_1952__1_4_1_1_1_2 n80_a_dick_1952__1_4_1_1_1_3 ADVP-CLR n80_a_dick_1952__1_4_1_1_1->n80_a_dick_1952__1_4_1_1_1_3 n80_a_dick_1952__1_4_1_1_1_1->n80_a_dick_1952__1_4_1_1_1_1_1 n80_a_dick_1952__1_4_1_1_1_2_1 ADV n80_a_dick_1952__1_4_1_1_1_2->n80_a_dick_1952__1_4_1_1_1_2_1 n80_a_dick_1952__1_4_1_1_1_2_1->n80_a_dick_1952__1_4_1_1_1_2_1_1 n80_a_dick_1952__1_4_1_1_1_3_1 RP n80_a_dick_1952__1_4_1_1_1_3->n80_a_dick_1952__1_4_1_1_1_3_1 n80_a_dick_1952__1_4_1_1_1_3_1->n80_a_dick_1952__1_4_1_1_1_3_1_1 n80_a_dick_1952__1_4_1_1_2->n80_a_dick_1952__1_4_1_1_2_1 n80_a_dick_1952__1_4_1_1_3_1 ILYR n80_a_dick_1952__1_4_1_1_3->n80_a_dick_1952__1_4_1_1_3_1 n80_a_dick_1952__1_4_1_1_3_1_1 ADVP-NIM n80_a_dick_1952__1_4_1_1_3_1->n80_a_dick_1952__1_4_1_1_3_1_1 n80_a_dick_1952__1_4_1_1_3_1_2 VAG;_Tn_ n80_a_dick_1952__1_4_1_1_3_1->n80_a_dick_1952__1_4_1_1_3_1_2 n80_a_dick_1952__1_4_1_1_3_1_3 NP-OB1 n80_a_dick_1952__1_4_1_1_3_1->n80_a_dick_1952__1_4_1_1_3_1_3 n80_a_dick_1952__1_4_1_1_3_1_4 PP-SCON n80_a_dick_1952__1_4_1_1_3_1->n80_a_dick_1952__1_4_1_1_3_1_4 n80_a_dick_1952__1_4_1_1_3_1_1_1 ADV n80_a_dick_1952__1_4_1_1_3_1_1->n80_a_dick_1952__1_4_1_1_3_1_1_1 n80_a_dick_1952__1_4_1_1_3_1_1_1->n80_a_dick_1952__1_4_1_1_3_1_1_1_1 n80_a_dick_1952__1_4_1_1_3_1_2->n80_a_dick_1952__1_4_1_1_3_1_2_1 n80_a_dick_1952__1_4_1_1_3_1_3_1 PNX n80_a_dick_1952__1_4_1_1_3_1_3->n80_a_dick_1952__1_4_1_1_3_1_3_1 n80_a_dick_1952__1_4_1_1_3_1_3_1->n80_a_dick_1952__1_4_1_1_3_1_3_1_1 n80_a_dick_1952__1_4_1_1_3_1_4_1 P-CONN n80_a_dick_1952__1_4_1_1_3_1_4->n80_a_dick_1952__1_4_1_1_3_1_4_1 n80_a_dick_1952__1_4_1_1_3_1_4_2 IP-ADV n80_a_dick_1952__1_4_1_1_3_1_4->n80_a_dick_1952__1_4_1_1_3_1_4_2 n80_a_dick_1952__1_4_1_1_3_1_4_1->n80_a_dick_1952__1_4_1_1_3_1_4_1_1 n80_a_dick_1952__1_4_1_1_3_1_4_2_1 NP-SBJ n80_a_dick_1952__1_4_1_1_3_1_4_2->n80_a_dick_1952__1_4_1_1_3_1_4_2_1 n80_a_dick_1952__1_4_1_1_3_1_4_2_2 VBD;_phr_Vp_ n80_a_dick_1952__1_4_1_1_3_1_4_2->n80_a_dick_1952__1_4_1_1_3_1_4_2_2 n80_a_dick_1952__1_4_1_1_3_1_4_2_3 RP n80_a_dick_1952__1_4_1_1_3_1_4_2->n80_a_dick_1952__1_4_1_1_3_1_4_2_3 n80_a_dick_1952__1_4_1_1_3_1_4_2_1_1 ADJP n80_a_dick_1952__1_4_1_1_3_1_4_2_1->n80_a_dick_1952__1_4_1_1_3_1_4_2_1_1 n80_a_dick_1952__1_4_1_1_3_1_4_2_1_2 NS n80_a_dick_1952__1_4_1_1_3_1_4_2_1->n80_a_dick_1952__1_4_1_1_3_1_4_2_1_2 n80_a_dick_1952__1_4_1_1_3_1_4_2_1_1_1 ADJ n80_a_dick_1952__1_4_1_1_3_1_4_2_1_1->n80_a_dick_1952__1_4_1_1_3_1_4_2_1_1_1 n80_a_dick_1952__1_4_1_1_3_1_4_2_1_1_1->n80_a_dick_1952__1_4_1_1_3_1_4_2_1_1_1_1 n80_a_dick_1952__1_4_1_1_3_1_4_2_1_2->n80_a_dick_1952__1_4_1_1_3_1_4_2_1_2_1 n80_a_dick_1952__1_4_1_1_3_1_4_2_2->n80_a_dick_1952__1_4_1_1_3_1_4_2_2_1 n80_a_dick_1952__1_4_1_1_3_1_4_2_3->n80_a_dick_1952__1_4_1_1_3_1_4_2_3_1 n80_a_dick_1952__1_5->n80_a_dick_1952__1_5_1 
( (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))