TSPC 80_a_dick

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

( (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))

arc(r_0080_0003__shuddered,r_0080_0001__The_r_0080_0002__ship,arg0).
arc(r_0080_0005__falling_r_0080_0007__down,r_0080_0001__The_r_0080_0002__ship,arg0).
arc(r_0080_0005__falling_r_0080_0007__down,r_0080_0006__suddenly,nim).
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,nim).
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,attrib).
arc(r_0080_0015__took_r_0080_0016__over,r_0080_0014__controls,arg0).
arc(z_0080_5002,r_0080_0003__shuddered,scope).
arc(z_0080_5002,z_0080_5004,restriction).
arc(z_0080_5004,r_0080_0005__falling_r_0080_0007__down,conj1).
arc(z_0080_5004,r_0080_0012__as,conj2).

fof(formula,axiom,
    ? [R_0080_0001__THE_R_0080_0002__SHIP,R_0080_0003__SHUDDERED,R_0080_0006__SUDDENLY,R_0080_0005__FALLING_R_0080_0007__DOWN,R_0080_0009__THEN,R_0080_0010__RIGHTING,R_0080_0013__AUTOMATIC,R_0080_0014__CONTROLS,R_0080_0015__TOOK_R_0080_0016__OVER,R_0080_0012__AS,Z_0080_5004,Z_0080_5002] :
      ( r_0080_0001__The_r_0080_0002__ship(R_0080_0001__THE_R_0080_0002__SHIP)
      & r_0080_0006__suddenly(R_0080_0006__SUDDENLY)
      & r_0080_0009__then(R_0080_0009__THEN)
      & r_0080_0013__automatic(R_0080_0013__AUTOMATIC)
      & z_0080_5002(Z_0080_5002)
      & has_conj1(Z_0080_5002,Z_0080_5004)
      & z_0080_5004(Z_0080_5004)
      & has_conj2(Z_0080_5004,R_0080_0012__AS)
      & r_0080_0012__as(R_0080_0012__AS)
      & has_conj1(R_0080_0012__AS,R_0080_0015__TOOK_R_0080_0016__OVER)
      & r_0080_0015__took_r_0080_0016__over(R_0080_0015__TOOK_R_0080_0016__OVER)
      & has_arg0(R_0080_0015__TOOK_R_0080_0016__OVER,R_0080_0014__CONTROLS)
      & r_0080_0014__controls(R_0080_0014__CONTROLS)
      & has_attrib(R_0080_0014__CONTROLS,R_0080_0013__AUTOMATIC)
      & has_conj2(R_0080_0012__AS,R_0080_0010__RIGHTING)
      & r_0080_0010__righting(R_0080_0010__RIGHTING)
      & has_nim(R_0080_0010__RIGHTING,R_0080_0009__THEN)
      & has_arg1(R_0080_0010__RIGHTING,R_0080_0001__THE_R_0080_0002__SHIP)
      & has_arg0(R_0080_0010__RIGHTING,R_0080_0001__THE_R_0080_0002__SHIP)
      & has_conj1(Z_0080_5004,R_0080_0005__FALLING_R_0080_0007__DOWN)
      & r_0080_0005__falling_r_0080_0007__down(R_0080_0005__FALLING_R_0080_0007__DOWN)
      & has_nim(R_0080_0005__FALLING_R_0080_0007__DOWN,R_0080_0006__SUDDENLY)
      & has_arg0(R_0080_0005__FALLING_R_0080_0007__DOWN,R_0080_0001__THE_R_0080_0002__SHIP)
      & has_conj2(Z_0080_5002,R_0080_0003__SHUDDERED)
      & r_0080_0003__shuddered(R_0080_0003__SHUDDERED)
      & has_arg0(R_0080_0003__SHUDDERED,R_0080_0001__THE_R_0080_0002__SHIP) ) ).