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_0398_0002__I,R_0398_0007__SOMETHING,R_0398_0005___APOS_VE_R_0398_0006__FOUND,R_0398_0003__THINK] :
      ( r_0398_0002__I(R_0398_0002__I)
      & r_0398_0007__something(R_0398_0007__SOMETHING)
      & r_0398_0003__think(R_0398_0003__THINK)
      & has_arg1(R_0398_0003__THINK,R_0398_0005___APOS_VE_R_0398_0006__FOUND)
      & r_0398_0005___apos_ve_r_0398_0006__found(R_0398_0005___APOS_VE_R_0398_0006__FOUND)
      & has_arg1(R_0398_0005___APOS_VE_R_0398_0006__FOUND,R_0398_0007__SOMETHING)
      & has_arg0(R_0398_0005___APOS_VE_R_0398_0006__FOUND,R_0398_0002__I)
      & has_arg0(R_0398_0003__THINK,R_0398_0002__I) ) ).


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))