Context                Previous, Next                Top


398_a_dick_1952
“I think I've found something.

%3 r_0398_0003__think think r_0398_0002__I I r_0398_0003__think->r_0398_0002__I [arg0] r_0398_0005___apos_ve 've r_0398_0003__think->r_0398_0005___apos_ve [arg1] r_0398_0006__found found r_0398_0005___apos_ve->r_0398_0006__found [scope] r_0398_0006__found->r_0398_0002__I [arg0] r_0398_0007__something something r_0398_0006__found->r_0398_0007__something [arg1] 
arc(r_0398_0003__think, r_0398_0002__I, arg0).
arc(r_0398_0003__think, r_0398_0005___apos_ve, arg1).
arc(r_0398_0005___apos_ve, r_0398_0006__found, scope).
arc(r_0398_0006__found, r_0398_0002__I, arg0).
arc(r_0398_0006__found, r_0398_0007__something, arg1).


%3 r_0398_0005___apos_ve_r_0398_0006__found 've found r_0398_0007__something something r_0398_0005___apos_ve_r_0398_0006__found->r_0398_0007__something [arg1] r_0398_0002__I I r_0398_0005___apos_ve_r_0398_0006__found->r_0398_0002__I [arg0] r_0398_0003__think think r_0398_0003__think->r_0398_0005___apos_ve_r_0398_0006__found [arg1] r_0398_0003__think->r_0398_0002__I [arg0] 
fof(formula,axiom,
    ? [R_398_3_THINK,R_398_5__APOS_VE_FOUND,R_398_2_I,R_398_7_SOMETHING] :
      ( i(R_398_2_I)
      & something(R_398_7_SOMETHING)
      & think(R_398_3_THINK,R_398_2_I,R_398_5__APOS_VE_FOUND)
      & _apos_ve_found(R_398_5__APOS_VE_FOUND,R_398_2_I,R_398_7_SOMETHING) ) ).


n398_a_dick_1952 n398_a_dick_1952__1_1_1 <ldquo> n398_a_dick_1952__1_2_1_1 I n398_a_dick_1952__1_3_1 think n398_a_dick_1952__1_4_1_1_1_1 I n398_a_dick_1952__1_4_1_2_1 've n398_a_dick_1952__1_4_1_3_1_1 found n398_a_dick_1952__1_4_1_3_2_1_1 something n398_a_dick_1952__1_5_1 . n398_a_dick_1952__1 IP-MAT n398_a_dick_1952__1_1 PULQ n398_a_dick_1952__1->n398_a_dick_1952__1_1 n398_a_dick_1952__1_2 NP-SBJ n398_a_dick_1952__1->n398_a_dick_1952__1_2 n398_a_dick_1952__1_3 VBP;_Tf_ n398_a_dick_1952__1->n398_a_dick_1952__1_3 n398_a_dick_1952__1_4 CP-THT-OB1 n398_a_dick_1952__1->n398_a_dick_1952__1_4 n398_a_dick_1952__1_5 PUNC n398_a_dick_1952__1->n398_a_dick_1952__1_5 n398_a_dick_1952__1_1->n398_a_dick_1952__1_1_1 n398_a_dick_1952__1_2_1 PRO n398_a_dick_1952__1_2->n398_a_dick_1952__1_2_1 n398_a_dick_1952__1_2_1->n398_a_dick_1952__1_2_1_1 n398_a_dick_1952__1_3->n398_a_dick_1952__1_3_1 n398_a_dick_1952__1_4_1 IP-SUB n398_a_dick_1952__1_4->n398_a_dick_1952__1_4_1 n398_a_dick_1952__1_4_1_1 NP-SBJ n398_a_dick_1952__1_4_1->n398_a_dick_1952__1_4_1_1 n398_a_dick_1952__1_4_1_2 HVP;_cat_Ve_ n398_a_dick_1952__1_4_1->n398_a_dick_1952__1_4_1_2 n398_a_dick_1952__1_4_1_3 IP-PPL-CAT n398_a_dick_1952__1_4_1->n398_a_dick_1952__1_4_1_3 n398_a_dick_1952__1_4_1_1_1 PRO n398_a_dick_1952__1_4_1_1->n398_a_dick_1952__1_4_1_1_1 n398_a_dick_1952__1_4_1_1_1->n398_a_dick_1952__1_4_1_1_1_1 n398_a_dick_1952__1_4_1_2->n398_a_dick_1952__1_4_1_2_1 n398_a_dick_1952__1_4_1_3_1 VVN;_Tn_ n398_a_dick_1952__1_4_1_3->n398_a_dick_1952__1_4_1_3_1 n398_a_dick_1952__1_4_1_3_2 NP-OB1 n398_a_dick_1952__1_4_1_3->n398_a_dick_1952__1_4_1_3_2 n398_a_dick_1952__1_4_1_3_1->n398_a_dick_1952__1_4_1_3_1_1 n398_a_dick_1952__1_4_1_3_2_1 D;_nphd_ n398_a_dick_1952__1_4_1_3_2->n398_a_dick_1952__1_4_1_3_2_1 n398_a_dick_1952__1_4_1_3_2_1->n398_a_dick_1952__1_4_1_3_2_1_1 n398_a_dick_1952__1_5->n398_a_dick_1952__1_5_1 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{TANCE} (PRO I;{I}))
          (VBP;_Tf_ think;{think})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{TANCE} (PRO I;{I}))
                              (HVP;_cat_Ve_ <apos>ve;{have})
                              (IP-PPL-CAT (VVN;_Tn_ found;{find})
                                          (NP-OB1 (D;_nphd_ something;{something})))))
          (PUNC .))
  (ID 398_a_dick_1952))