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

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

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