( (IP-MAT (PULQ <ldquo>)
          (NP-TPC-131 (D;_nphd_ Something;{something})
                      (ADJP (ADJ valuable;{valuable})))
          (PUNC ,)
          (NP-SBJ;{TANCE} (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (NP-OB1 *ICH*-131)
                      (VB;_Tn_ think;{think}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 460_a_dick_1952))

arc(r_0460_0002__Something,r_0460_0003__valuable,attrib).
arc(r_0460_0006__would,r_0460_0007__think,scope).
arc(r_0460_0007__think,r_0460_0002__Something,arg1).
arc(r_0460_0007__think,r_0460_0005__I,arg0).

fof(formula,axiom,
    ? [R_0460_0003__VALUABLE,R_0460_0002__SOMETHING,R_0460_0005__I,R_0460_0006__WOULD_R_0460_0007__THINK] :
      ( r_0460_0003__valuable(R_0460_0003__VALUABLE)
      & r_0460_0005__I(R_0460_0005__I)
      & r_0460_0006__would_r_0460_0007__think(R_0460_0006__WOULD_R_0460_0007__THINK)
      & has_arg0(R_0460_0006__WOULD_R_0460_0007__THINK,R_0460_0005__I)
      & has_arg1(R_0460_0006__WOULD_R_0460_0007__THINK,R_0460_0002__SOMETHING)
      & r_0460_0002__Something(R_0460_0002__SOMETHING)
      & has_attrib(R_0460_0002__SOMETHING,R_0460_0003__VALUABLE) ) ).