Context                Previous, Next                Top


587_a_dick_1952
“I suppose there was.

%3 r_0587_0003__suppose suppose r_0587_0002__I I r_0587_0003__suppose->r_0587_0002__I [arg0] r_0587_0004__there_r_0587_0005__was there was r_0587_0003__suppose->r_0587_0004__there_r_0587_0005__was [arg1] z_000_587_a_dick_1952_11 r_0587_0004__there_r_0587_0005__was->z_000_587_a_dick_1952_11 [arg0] 
arc(r_0587_0003__suppose, r_0587_0002__I, arg0).
arc(r_0587_0003__suppose, r_0587_0004__there_r_0587_0005__was, arg1).
arc(r_0587_0004__there_r_0587_0005__was, z_000_587_a_dick_1952_11, arg0).


%3 r_0587_0003__suppose suppose r_0587_0002__I I r_0587_0003__suppose->r_0587_0002__I [arg0] r_0587_0004__there_r_0587_0005__was there was r_0587_0003__suppose->r_0587_0004__there_r_0587_0005__was [arg1] z_000_587_a_dick_1952_11 r_0587_0004__there_r_0587_0005__was->z_000_587_a_dick_1952_11 [arg0] 
fof(formula,axiom,
    ? [R_587_3_SUPPOSE,R_587_2_I,R_587_4_THERE_WAS,Z_587_A_DICK_1952_11] :
      ( i(R_587_2_I)
      & suppose(R_587_3_SUPPOSE,R_587_2_I,R_587_4_THERE_WAS)
      & there_was(R_587_4_THERE_WAS,Z_587_A_DICK_1952_11) ) ).


n587_a_dick_1952 n587_a_dick_1952_3 <ldquo> n587_a_dick_1952_6 I n587_a_dick_1952_8 suppose n587_a_dick_1952_12 there n587_a_dick_1952_14 was n587_a_dick_1952_16 . n587_a_dick_1952_1 IP-MAT n587_a_dick_1952_2 PULQ n587_a_dick_1952_1->n587_a_dick_1952_2 n587_a_dick_1952_4 NP-SBJ n587_a_dick_1952_1->n587_a_dick_1952_4 n587_a_dick_1952_7 VBP;_Tf_ n587_a_dick_1952_1->n587_a_dick_1952_7 n587_a_dick_1952_9 CP-THT-OB1 n587_a_dick_1952_1->n587_a_dick_1952_9 n587_a_dick_1952_15 PUNC n587_a_dick_1952_1->n587_a_dick_1952_15 n587_a_dick_1952_2->n587_a_dick_1952_3 n587_a_dick_1952_5 PRO n587_a_dick_1952_4->n587_a_dick_1952_5 n587_a_dick_1952_5->n587_a_dick_1952_6 n587_a_dick_1952_7->n587_a_dick_1952_8 n587_a_dick_1952_10 IP-SUB n587_a_dick_1952_9->n587_a_dick_1952_10 n587_a_dick_1952_11 EX n587_a_dick_1952_10->n587_a_dick_1952_11 n587_a_dick_1952_13 BED;_ex_V_ n587_a_dick_1952_10->n587_a_dick_1952_13 n587_a_dick_1952_11->n587_a_dick_1952_12 n587_a_dick_1952_13->n587_a_dick_1952_14 n587_a_dick_1952_15->n587_a_dick_1952_16 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{DORLE} (PRO I;{I}))
          (VBP;_Tf_ suppose;{suppose})
          (CP-THT-OB1 (IP-SUB (EX there;{there})
                              (BED;_ex_V_ was;{be})))
          (PUNC .))
  (ID 587_a_dick_1952))