Context                Previous, Next                Top


596_a_dick_1952
Broken off, I suppose.

%3 r_0596_0001__Broken_r_0596_0002__off Broken off r_0596_1001____star__ * r_0596_0001__Broken_r_0596_0002__off->r_0596_1001____star__ [arg1] z_000_596_a_dick_1952_8 r_0596_0001__Broken_r_0596_0002__off->z_000_596_a_dick_1952_8 [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_3 r_0596_0005__suppose->z_000_596_a_dick_1952_3 [arg1] z_000_596_a_dick_1952_3->r_0596_0001__Broken_r_0596_0002__off [scope] 
arc(r_0596_0001__Broken_r_0596_0002__off, r_0596_1001____star__, arg1).
arc(r_0596_0001__Broken_r_0596_0002__off, z_000_596_a_dick_1952_8, arg0).
arc(r_0596_0005__suppose, r_0596_0004__I, arg0).
arc(r_0596_0005__suppose, z_000_596_a_dick_1952_3, arg1).
arc(z_000_596_a_dick_1952_3, r_0596_0001__Broken_r_0596_0002__off, scope).


%3 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_3_r_0596_0001__Broken_r_0596_0002__off Broken r 0596 0002 off r_0596_0005__suppose->z_000_596_a_dick_1952_3_r_0596_0001__Broken_r_0596_0002__off [arg1] r_0596_1001____star__ * z_000_596_a_dick_1952_3_r_0596_0001__Broken_r_0596_0002__off->r_0596_1001____star__ [arg1] z_000_596_a_dick_1952_8 z_000_596_a_dick_1952_3_r_0596_0001__Broken_r_0596_0002__off->z_000_596_a_dick_1952_8 [arg0] 
fof(formula,axiom,
    ? [R_596_5_SUPPOSE,R_596_4_I,Z_596_A_DICK_1952_3_BROKEN_OFF,Z_596_A_DICK_1952_8,R_596_1001__STAR_] :
      ( i(R_596_4_I)
      & _star_(R_596_1001__STAR_)
      & suppose(R_596_5_SUPPOSE,R_596_4_I,Z_596_A_DICK_1952_3_BROKEN_OFF)
      & z_596_a_dick_1952_3_Broken_off(Z_596_A_DICK_1952_3_BROKEN_OFF,Z_596_A_DICK_1952_8,R_596_1001__STAR_) ) ).


n596_a_dick_1952 n596_a_dick_1952_9 * n596_a_dick_1952_11 Broken n596_a_dick_1952_13 off n596_a_dick_1952_15 , n596_a_dick_1952_18 I n596_a_dick_1952_20 suppose n596_a_dick_1952_22 . n596_a_dick_1952_6 _*_ n596_a_dick_1952_1 IP-MAT n596_a_dick_1952_2 CP-THT-TPC-OB1 n596_a_dick_1952_1->n596_a_dick_1952_2 n596_a_dick_1952_14 PUNC n596_a_dick_1952_1->n596_a_dick_1952_14 n596_a_dick_1952_16 NP-SBJ n596_a_dick_1952_1->n596_a_dick_1952_16 n596_a_dick_1952_19 VBP;_Tf_ n596_a_dick_1952_1->n596_a_dick_1952_19 n596_a_dick_1952_21 PUNC n596_a_dick_1952_1->n596_a_dick_1952_21 n596_a_dick_1952_3 IP-SUB n596_a_dick_1952_2->n596_a_dick_1952_3 n596_a_dick_1952_4 NP-SBJ n596_a_dick_1952_3->n596_a_dick_1952_4 n596_a_dick_1952_7 IP-PPL-CAT n596_a_dick_1952_3->n596_a_dick_1952_7 n596_a_dick_1952_5 PRO n596_a_dick_1952_4->n596_a_dick_1952_5 n596_a_dick_1952_5->n596_a_dick_1952_6 n596_a_dick_1952_8 NP-LGS n596_a_dick_1952_7->n596_a_dick_1952_8 n596_a_dick_1952_10 VVN;_Tn.p_ n596_a_dick_1952_7->n596_a_dick_1952_10 n596_a_dick_1952_12 RP n596_a_dick_1952_7->n596_a_dick_1952_12 n596_a_dick_1952_8->n596_a_dick_1952_9 n596_a_dick_1952_10->n596_a_dick_1952_11 n596_a_dick_1952_12->n596_a_dick_1952_13 n596_a_dick_1952_14->n596_a_dick_1952_15 n596_a_dick_1952_17 PRO n596_a_dick_1952_16->n596_a_dick_1952_17 n596_a_dick_1952_17->n596_a_dick_1952_18 n596_a_dick_1952_19->n596_a_dick_1952_20 n596_a_dick_1952_21->n596_a_dick_1952_22 
( (IP-MAT (CP-THT-TPC-OB1 (IP-SUB (NP-SBJ;{PARTS} (PRO _*_))
                                  (IP-PPL-CAT (NP-LGS *)
                                              (VVN;_Tn.p_ Broken;{break[off]})
                                              (RP off;{off}))))
          (PUNC ,)
          (NP-SBJ;{DORLE} (PRO I;{I}))
          (VBP;_Tf_ suppose;{suppose})
          (PUNC .))
  (ID 596_a_dick_1952))