Context                Previous, Next                Top


596_a_dick_1952
Broken off, I suppose.

%3 r_0596_0001__Broken_r_0596_0002__off Broken off z_000_596_a_dick_1952_3 r_0596_0001__Broken_r_0596_0002__off->z_000_596_a_dick_1952_3 [arg1] z_000_596_a_dick_1952_4 r_0596_0001__Broken_r_0596_0002__off->z_000_596_a_dick_1952_4 [arg0] r_0596_0005__suppose suppose r_0596_0004__I I r_0596_0005__suppose->r_0596_0004__I [arg0] z_000_596_a_dick_1952_2 z_000_596_a_dick_1952_2->r_0596_0001__Broken_r_0596_0002__off [restriction] z_000_596_a_dick_1952_2->r_0596_0005__suppose [scope] 
arc(r_0596_0001__Broken_r_0596_0002__off, z_000_596_a_dick_1952_3, arg1).
arc(r_0596_0001__Broken_r_0596_0002__off, z_000_596_a_dick_1952_4, arg0).
arc(r_0596_0005__suppose, r_0596_0004__I, arg0).
arc(z_000_596_a_dick_1952_2, r_0596_0001__Broken_r_0596_0002__off, restriction).
arc(z_000_596_a_dick_1952_2, r_0596_0005__suppose, scope).


%3 z_000_596_a_dick_1952_2 r_0596_0005__suppose suppose z_000_596_a_dick_1952_2->r_0596_0005__suppose [conj2] r_0596_0001__Broken_r_0596_0002__off Broken off z_000_596_a_dick_1952_2->r_0596_0001__Broken_r_0596_0002__off [conj1] r_0596_0004__I I r_0596_0005__suppose->r_0596_0004__I [arg0] z_000_596_a_dick_1952_4 r_0596_0001__Broken_r_0596_0002__off->z_000_596_a_dick_1952_4 [arg0] z_000_596_a_dick_1952_3 r_0596_0001__Broken_r_0596_0002__off->z_000_596_a_dick_1952_3 [arg1] 
fof(formula,axiom,
    ? [Z_596_A_DICK_1952_2,R_596_1_BROKEN_OFF,Z_596_A_DICK_1952_4,Z_596_A_DICK_1952_3,R_596_5_SUPPOSE,R_596_4_I] :
      ( i(R_596_4_I)
      & z_596_a_dick_1952_2(Z_596_A_DICK_1952_2)
      & conj1(Z_596_A_DICK_1952_2,R_596_1_BROKEN_OFF)
      & broken_off(R_596_1_BROKEN_OFF,Z_596_A_DICK_1952_4,Z_596_A_DICK_1952_3)
      & conj2(Z_596_A_DICK_1952_2,R_596_5_SUPPOSE)
      & suppose(R_596_5_SUPPOSE,R_596_4_I) ) ).


n596_a_dick_1952 n596_a_dick_1952__1_1_1_1_1 * n596_a_dick_1952__1_1_1_2_1 Broken n596_a_dick_1952__1_1_1_3_1 off n596_a_dick_1952__1_2_1 , n596_a_dick_1952__1_3_1_1 I n596_a_dick_1952__1_4_1 suppose n596_a_dick_1952__1_5_1 . n596_a_dick_1952__1 IP-MAT n596_a_dick_1952__1_1 PP-SCON n596_a_dick_1952__1->n596_a_dick_1952__1_1 n596_a_dick_1952__1_2 PUNC n596_a_dick_1952__1->n596_a_dick_1952__1_2 n596_a_dick_1952__1_3 NP-SBJ n596_a_dick_1952__1->n596_a_dick_1952__1_3 n596_a_dick_1952__1_4 VBP;_I_ n596_a_dick_1952__1->n596_a_dick_1952__1_4 n596_a_dick_1952__1_5 PUNC n596_a_dick_1952__1->n596_a_dick_1952__1_5 n596_a_dick_1952__1_1_1 IP-PPL3 n596_a_dick_1952__1_1->n596_a_dick_1952__1_1_1 n596_a_dick_1952__1_1_1_1 NP-LGS n596_a_dick_1952__1_1_1->n596_a_dick_1952__1_1_1_1 n596_a_dick_1952__1_1_1_2 VVN;_Tn.p_ n596_a_dick_1952__1_1_1->n596_a_dick_1952__1_1_1_2 n596_a_dick_1952__1_1_1_3 RP n596_a_dick_1952__1_1_1->n596_a_dick_1952__1_1_1_3 n596_a_dick_1952__1_1_1_1->n596_a_dick_1952__1_1_1_1_1 n596_a_dick_1952__1_1_1_2->n596_a_dick_1952__1_1_1_2_1 n596_a_dick_1952__1_1_1_3->n596_a_dick_1952__1_1_1_3_1 n596_a_dick_1952__1_2->n596_a_dick_1952__1_2_1 n596_a_dick_1952__1_3_1 PRO n596_a_dick_1952__1_3->n596_a_dick_1952__1_3_1 n596_a_dick_1952__1_3_1->n596_a_dick_1952__1_3_1_1 n596_a_dick_1952__1_4->n596_a_dick_1952__1_4_1 n596_a_dick_1952__1_5->n596_a_dick_1952__1_5_1 
( (IP-MAT (PP-SCON (IP-PPL3 (NP-LGS *)
                            (VVN;_Tn.p_ Broken;{break[off]})
                            (RP off;{off})))
          (PUNC ,)
          (NP-SBJ;{DORLE} (PRO I;{I}))
          (VBP;_I_ suppose;{suppose})
          (PUNC .))
  (ID 596_a_dick_1952))