Context                Previous, Next                Top


351_a_dick_1952
The ship is safe until it takes off again, then the end will come.”

%3 r_0351_0003__is is r_0351_0001__The_r_0351_0002__ship The ship r_0351_0003__is->r_0351_0001__The_r_0351_0002__ship [arg0] r_0351_0004__safe safe r_0351_0003__is->r_0351_0004__safe [prd] r_0351_0005__until until r_0351_0005__until->r_0351_0003__is [scope] r_0351_0007__takes_r_0351_0008__off takes off r_0351_0005__until->r_0351_0007__takes_r_0351_0008__off [restriction] r_0351_0007__takes_r_0351_0008__off->r_0351_0001__The_r_0351_0002__ship [arg0] r_0351_0009__again again r_0351_0007__takes_r_0351_0008__off->r_0351_0009__again [nim] r_0351_0014__will will r_0351_0011__then then r_0351_0014__will->r_0351_0011__then [nim] r_0351_0015__come come r_0351_0014__will->r_0351_0015__come [scope] r_0351_0012__the_r_0351_0013__end the end r_0351_0015__come->r_0351_0012__the_r_0351_0013__end [arg0] z_000_351_a_dick_1952_2 z_000_351_a_dick_1952_2->r_0351_0005__until [conj1] z_000_351_a_dick_1952_2->r_0351_0014__will [conj2] 
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).


%3 z_000_351_a_dick_1952_2 r_0351_0014__will_r_0351_0015__come will come z_000_351_a_dick_1952_2->r_0351_0014__will_r_0351_0015__come [conj2] r_0351_0005__until until z_000_351_a_dick_1952_2->r_0351_0005__until [conj1] r_0351_0012__the_r_0351_0013__end the end r_0351_0014__will_r_0351_0015__come->r_0351_0012__the_r_0351_0013__end [arg0] r_0351_0011__then then r_0351_0014__will_r_0351_0015__come->r_0351_0011__then [nim] r_0351_0007__takes_r_0351_0008__off takes off r_0351_0005__until->r_0351_0007__takes_r_0351_0008__off [conj1] r_0351_0003__is is r_0351_0005__until->r_0351_0003__is [conj2] r_0351_0009__again again r_0351_0007__takes_r_0351_0008__off->r_0351_0009__again [nim] r_0351_0001__The_r_0351_0002__ship The ship r_0351_0007__takes_r_0351_0008__off->r_0351_0001__The_r_0351_0002__ship [arg0] r_0351_0003__is->r_0351_0001__The_r_0351_0002__ship [arg0] r_0351_0004__safe safe r_0351_0003__is->r_0351_0004__safe [prd] 
fof(formula,axiom,
    ? [Z_351_A_DICK_1952_2,R_351_5_UNTIL,R_351_7_TAKES_OFF,R_351_9_AGAIN,R_351_3_IS,R_351_1_THE_SHIP,R_351_4_SAFE,R_351_14_WILL_COME,R_351_12_THE_END,R_351_11_THEN] :
      ( again(R_351_9_AGAIN)
      & the_ship(R_351_1_THE_SHIP)
      & safe(R_351_4_SAFE)
      & the_end(R_351_12_THE_END)
      & then(R_351_11_THEN)
      & z_351_a_dick_1952_2(Z_351_A_DICK_1952_2)
      & conj1(Z_351_A_DICK_1952_2,R_351_5_UNTIL)
      & until(R_351_5_UNTIL)
      & conj1(R_351_5_UNTIL,R_351_7_TAKES_OFF)
      & takes_off(R_351_7_TAKES_OFF,R_351_1_THE_SHIP)
      & nim25(R_351_7_TAKES_OFF,R_351_9_AGAIN)
      & conj2(R_351_5_UNTIL,R_351_3_IS)
      & is(R_351_3_IS,R_351_1_THE_SHIP,R_351_4_SAFE)
      & conj2(Z_351_A_DICK_1952_2,R_351_14_WILL_COME)
      & will_come(R_351_14_WILL_COME,R_351_12_THE_END)
      & nim32(R_351_14_WILL_COME,R_351_11_THEN) ) ).


n351_a_dick_1952 n351_a_dick_1952__1_1_1_1_1_1 The n351_a_dick_1952__1_1_1_1_2_1 ship n351_a_dick_1952__1_1_1_2_1 is n351_a_dick_1952__1_1_1_3_1_1 safe n351_a_dick_1952__1_1_1_4_1_1 until n351_a_dick_1952__1_1_1_4_2_1_1_1 it n351_a_dick_1952__1_1_1_4_2_2_1 takes n351_a_dick_1952__1_1_1_4_2_3_1 off n351_a_dick_1952__1_1_1_4_2_4_1_1 again n351_a_dick_1952__1_1_2_1 , n351_a_dick_1952__1_1_3_1_1_1_1 then n351_a_dick_1952__1_1_3_1_2_1_1 the n351_a_dick_1952__1_1_3_1_2_2_1 end n351_a_dick_1952__1_1_3_1_3_1 will n351_a_dick_1952__1_1_3_1_4_1_1 come n351_a_dick_1952__1_2_1 . n351_a_dick_1952__1_3_1 <rdquo> n351_a_dick_1952__1 IP-MAT n351_a_dick_1952__1_1 ILYR n351_a_dick_1952__1->n351_a_dick_1952__1_1 n351_a_dick_1952__1_2 PUNC n351_a_dick_1952__1->n351_a_dick_1952__1_2 n351_a_dick_1952__1_3 PURQ n351_a_dick_1952__1->n351_a_dick_1952__1_3 n351_a_dick_1952__1_1_1 ILYR n351_a_dick_1952__1_1->n351_a_dick_1952__1_1_1 n351_a_dick_1952__1_1_2 PUNC n351_a_dick_1952__1_1->n351_a_dick_1952__1_1_2 n351_a_dick_1952__1_1_3 CONJP n351_a_dick_1952__1_1->n351_a_dick_1952__1_1_3 n351_a_dick_1952__1_1_1_1 NP-SBJ n351_a_dick_1952__1_1_1->n351_a_dick_1952__1_1_1_1 n351_a_dick_1952__1_1_1_2 BEP;_La_ n351_a_dick_1952__1_1_1->n351_a_dick_1952__1_1_1_2 n351_a_dick_1952__1_1_1_3 ADJP-PRD n351_a_dick_1952__1_1_1->n351_a_dick_1952__1_1_1_3 n351_a_dick_1952__1_1_1_4 PP-SCON n351_a_dick_1952__1_1_1->n351_a_dick_1952__1_1_1_4 n351_a_dick_1952__1_1_1_1_1 D n351_a_dick_1952__1_1_1_1->n351_a_dick_1952__1_1_1_1_1 n351_a_dick_1952__1_1_1_1_2 N n351_a_dick_1952__1_1_1_1->n351_a_dick_1952__1_1_1_1_2 n351_a_dick_1952__1_1_1_1_1->n351_a_dick_1952__1_1_1_1_1_1 n351_a_dick_1952__1_1_1_1_2->n351_a_dick_1952__1_1_1_1_2_1 n351_a_dick_1952__1_1_1_2->n351_a_dick_1952__1_1_1_2_1 n351_a_dick_1952__1_1_1_3_1 ADJ n351_a_dick_1952__1_1_1_3->n351_a_dick_1952__1_1_1_3_1 n351_a_dick_1952__1_1_1_3_1->n351_a_dick_1952__1_1_1_3_1_1 n351_a_dick_1952__1_1_1_4_1 P-CONN n351_a_dick_1952__1_1_1_4->n351_a_dick_1952__1_1_1_4_1 n351_a_dick_1952__1_1_1_4_2 IP-ADV n351_a_dick_1952__1_1_1_4->n351_a_dick_1952__1_1_1_4_2 n351_a_dick_1952__1_1_1_4_1->n351_a_dick_1952__1_1_1_4_1_1 n351_a_dick_1952__1_1_1_4_2_1 NP-SBJ n351_a_dick_1952__1_1_1_4_2->n351_a_dick_1952__1_1_1_4_2_1 n351_a_dick_1952__1_1_1_4_2_2 VBP;_phr_Vp_ n351_a_dick_1952__1_1_1_4_2->n351_a_dick_1952__1_1_1_4_2_2 n351_a_dick_1952__1_1_1_4_2_3 RP n351_a_dick_1952__1_1_1_4_2->n351_a_dick_1952__1_1_1_4_2_3 n351_a_dick_1952__1_1_1_4_2_4 ADVP-NIM n351_a_dick_1952__1_1_1_4_2->n351_a_dick_1952__1_1_1_4_2_4 n351_a_dick_1952__1_1_1_4_2_1_1 PRO n351_a_dick_1952__1_1_1_4_2_1->n351_a_dick_1952__1_1_1_4_2_1_1 n351_a_dick_1952__1_1_1_4_2_1_1->n351_a_dick_1952__1_1_1_4_2_1_1_1 n351_a_dick_1952__1_1_1_4_2_2->n351_a_dick_1952__1_1_1_4_2_2_1 n351_a_dick_1952__1_1_1_4_2_3->n351_a_dick_1952__1_1_1_4_2_3_1 n351_a_dick_1952__1_1_1_4_2_4_1 ADV n351_a_dick_1952__1_1_1_4_2_4->n351_a_dick_1952__1_1_1_4_2_4_1 n351_a_dick_1952__1_1_1_4_2_4_1->n351_a_dick_1952__1_1_1_4_2_4_1_1 n351_a_dick_1952__1_1_2->n351_a_dick_1952__1_1_2_1 n351_a_dick_1952__1_1_3_1 ILYR n351_a_dick_1952__1_1_3->n351_a_dick_1952__1_1_3_1 n351_a_dick_1952__1_1_3_1_1 ADVP-NIM n351_a_dick_1952__1_1_3_1->n351_a_dick_1952__1_1_3_1_1 n351_a_dick_1952__1_1_3_1_2 NP-SBJ n351_a_dick_1952__1_1_3_1->n351_a_dick_1952__1_1_3_1_2 n351_a_dick_1952__1_1_3_1_3 MD;_cat_Vi_ n351_a_dick_1952__1_1_3_1->n351_a_dick_1952__1_1_3_1_3 n351_a_dick_1952__1_1_3_1_4 IP-INF-CAT n351_a_dick_1952__1_1_3_1->n351_a_dick_1952__1_1_3_1_4 n351_a_dick_1952__1_1_3_1_1_1 ADV n351_a_dick_1952__1_1_3_1_1->n351_a_dick_1952__1_1_3_1_1_1 n351_a_dick_1952__1_1_3_1_1_1->n351_a_dick_1952__1_1_3_1_1_1_1 n351_a_dick_1952__1_1_3_1_2_1 D n351_a_dick_1952__1_1_3_1_2->n351_a_dick_1952__1_1_3_1_2_1 n351_a_dick_1952__1_1_3_1_2_2 N n351_a_dick_1952__1_1_3_1_2->n351_a_dick_1952__1_1_3_1_2_2 n351_a_dick_1952__1_1_3_1_2_1->n351_a_dick_1952__1_1_3_1_2_1_1 n351_a_dick_1952__1_1_3_1_2_2->n351_a_dick_1952__1_1_3_1_2_2_1 n351_a_dick_1952__1_1_3_1_3->n351_a_dick_1952__1_1_3_1_3_1 n351_a_dick_1952__1_1_3_1_4_1 VB;_I_ n351_a_dick_1952__1_1_3_1_4->n351_a_dick_1952__1_1_3_1_4_1 n351_a_dick_1952__1_1_3_1_4_1->n351_a_dick_1952__1_1_3_1_4_1_1 n351_a_dick_1952__1_2->n351_a_dick_1952__1_2_1 n351_a_dick_1952__1_3->n351_a_dick_1952__1_3_1 
( (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))