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] 
arc(r_0587_0003__suppose, r_0587_0002__I, arg0).
arc(r_0587_0003__suppose, r_0587_0004__there_r_0587_0005__was, arg1).


%3 r_0587_0003__suppose suppose r_0587_0004__there_r_0587_0005__was there was r_0587_0003__suppose->r_0587_0004__there_r_0587_0005__was [arg1] r_0587_0002__I I r_0587_0003__suppose->r_0587_0002__I [arg0] 
fof(formula,axiom,
    ? [R_0587_0002__I,R_0587_0004__THERE_R_0587_0005__WAS,R_0587_0003__SUPPOSE] :
      ( r_0587_0002__I(R_0587_0002__I)
      & r_0587_0004__there_r_0587_0005__was(R_0587_0004__THERE_R_0587_0005__WAS)
      & r_0587_0003__suppose(R_0587_0003__SUPPOSE)
      & has_arg1(R_0587_0003__SUPPOSE,R_0587_0004__THERE_R_0587_0005__WAS)
      & has_arg0(R_0587_0003__SUPPOSE,R_0587_0002__I) ) ).


n587_a_dick_1952 n587_a_dick_1952__1_1_1 <ldquo> n587_a_dick_1952__1_2_1_1 I n587_a_dick_1952__1_3_1 suppose n587_a_dick_1952__1_4_1_1_1 there n587_a_dick_1952__1_4_1_2_1 was n587_a_dick_1952__1_5_1 . n587_a_dick_1952__1 IP-MAT n587_a_dick_1952__1_1 PULQ n587_a_dick_1952__1->n587_a_dick_1952__1_1 n587_a_dick_1952__1_2 NP-SBJ n587_a_dick_1952__1->n587_a_dick_1952__1_2 n587_a_dick_1952__1_3 VBP;_Tf_ n587_a_dick_1952__1->n587_a_dick_1952__1_3 n587_a_dick_1952__1_4 CP-THT-OB1 n587_a_dick_1952__1->n587_a_dick_1952__1_4 n587_a_dick_1952__1_5 PUNC n587_a_dick_1952__1->n587_a_dick_1952__1_5 n587_a_dick_1952__1_1->n587_a_dick_1952__1_1_1 n587_a_dick_1952__1_2_1 PRO n587_a_dick_1952__1_2->n587_a_dick_1952__1_2_1 n587_a_dick_1952__1_2_1->n587_a_dick_1952__1_2_1_1 n587_a_dick_1952__1_3->n587_a_dick_1952__1_3_1 n587_a_dick_1952__1_4_1 IP-SUB n587_a_dick_1952__1_4->n587_a_dick_1952__1_4_1 n587_a_dick_1952__1_4_1_1 EX n587_a_dick_1952__1_4_1->n587_a_dick_1952__1_4_1_1 n587_a_dick_1952__1_4_1_2 BED;_ex_V_ n587_a_dick_1952__1_4_1->n587_a_dick_1952__1_4_1_2 n587_a_dick_1952__1_4_1_1->n587_a_dick_1952__1_4_1_1_1 n587_a_dick_1952__1_4_1_2->n587_a_dick_1952__1_4_1_2_1 n587_a_dick_1952__1_5->n587_a_dick_1952__1_5_1 
( (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))