( (IP-MAT (ILYR (ILYR (NP-SBJ;{SHIP} (D The;{the})
                                     (N ship;{ship}))
                      (BEP;_La_ is;{be})
                      (ADJP-PRD (ADJ safe;{safe}))
                      (PP-SCON (P-CONN until;{until})
                               (IP-ADV (NP-SBJ;{SHIP} (PRO it;{it}))
                                       (VBP;_phr_Vp_ takes;{take[off]})
                                       (RP off;{off})
                                       (ADVP-NIM (ADV again;{again})))))
                (PUNC ,)
                (CONJP (ILYR (ADVP-NIM (ADV then;{then}))
                             (NP-SBJ (D the;{the})
                                     (N end;{end}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (VB;_I_ come;{come})))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 351_a_dick_1952))

arc(r_0351_0003__is,r_0351_0001__The_r_0351_0002__ship,arg0).
arc(r_0351_0003__is,r_0351_0004__safe,prd).
arc(r_0351_0005__until,r_0351_0003__is,scope).
arc(r_0351_0005__until,r_0351_0007__takes_r_0351_0008__off,restriction).
arc(r_0351_0007__takes_r_0351_0008__off,r_0351_0001__The_r_0351_0002__ship,arg0).
arc(r_0351_0007__takes_r_0351_0008__off,r_0351_0009__again,nim).
arc(r_0351_0014__will,r_0351_0011__then,nim).
arc(r_0351_0014__will,r_0351_0015__come,scope).
arc(r_0351_0015__come,r_0351_0012__the_r_0351_0013__end,arg0).
arc(z_0351_5001,r_0351_0005__until,conj1).
arc(z_0351_5001,r_0351_0014__will,conj2).

fof(formula,axiom,
    ? [R_0351_0001__THE_R_0351_0002__SHIP,R_0351_0004__SAFE,R_0351_0003__IS,R_0351_0009__AGAIN,R_0351_0007__TAKES_R_0351_0008__OFF,R_0351_0005__UNTIL,R_0351_0011__THEN,R_0351_0012__THE_R_0351_0013__END,R_0351_0014__WILL_R_0351_0015__COME,Z_0351_5001] :
      ( r_0351_0001__The_r_0351_0002__ship(R_0351_0001__THE_R_0351_0002__SHIP)
      & r_0351_0004__safe(R_0351_0004__SAFE)
      & r_0351_0009__again(R_0351_0009__AGAIN)
      & r_0351_0011__then(R_0351_0011__THEN)
      & r_0351_0012__the_r_0351_0013__end(R_0351_0012__THE_R_0351_0013__END)
      & z_0351_5001(Z_0351_5001)
      & has_conj2(Z_0351_5001,R_0351_0014__WILL_R_0351_0015__COME)
      & r_0351_0014__will_r_0351_0015__come(R_0351_0014__WILL_R_0351_0015__COME)
      & has_arg0(R_0351_0014__WILL_R_0351_0015__COME,R_0351_0012__THE_R_0351_0013__END)
      & has_nim(R_0351_0014__WILL_R_0351_0015__COME,R_0351_0011__THEN)
      & has_conj1(Z_0351_5001,R_0351_0005__UNTIL)
      & r_0351_0005__until(R_0351_0005__UNTIL)
      & has_conj1(R_0351_0005__UNTIL,R_0351_0007__TAKES_R_0351_0008__OFF)
      & r_0351_0007__takes_r_0351_0008__off(R_0351_0007__TAKES_R_0351_0008__OFF)
      & has_nim(R_0351_0007__TAKES_R_0351_0008__OFF,R_0351_0009__AGAIN)
      & has_arg0(R_0351_0007__TAKES_R_0351_0008__OFF,R_0351_0001__THE_R_0351_0002__SHIP)
      & has_conj2(R_0351_0005__UNTIL,R_0351_0003__IS)
      & r_0351_0003__is(R_0351_0003__IS)
      & has_prd(R_0351_0003__IS,R_0351_0004__SAFE)
      & has_arg0(R_0351_0003__IS,R_0351_0001__THE_R_0351_0002__SHIP) ) ).