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, nim25).
arc(r_0351_0014__will, r_0351_0011__then, nim32).
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_000_351_a_dick_1952_2, r_0351_0005__until, conj1).
arc(z_000_351_a_dick_1952_2, 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_000_351_A_DICK_1952_2] :
      ( 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_000_351_a_dick_1952_2(Z_000_351_A_DICK_1952_2)
      & has_conj2(Z_000_351_A_DICK_1952_2,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_nim32(R_0351_0014__WILL_R_0351_0015__COME,R_0351_0011__THEN)
      & has_conj1(Z_000_351_A_DICK_1952_2,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_nim25(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) ) ).

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