( (IP-MAT (NP-SBJ;{NASHA} (PRO I;{I}))
          (VBP;_Tf_ suppose;{suppose})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{TANCE} (PRO you;{you}))
                              (BEP;_La_ <apos>re;{be})
                              (ADJP-PRD (ADJ right;{right}))))
          (PUNC ,)
          (NP-VOC;{TANCE} (NPR Tance;{Tance}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 242_a_dick_1952))

arc(r_0242_0002__suppose,r_0242_0001__I,arg0).
arc(r_0242_0002__suppose,r_0242_0004___apos_re,arg1).
arc(r_0242_0002__suppose,r_0242_0007__Tance,voc).
arc(r_0242_0004___apos_re,r_0242_0005__right,prd).
arc(r_0242_0004___apos_re,r_0242_0007__Tance,arg0).

fof(formula,axiom,
    ? [R_0242_0001__I,R_0242_0005__RIGHT,R_0242_0007__TANCE,R_0242_0004___APOS_RE,R_0242_0002__SUPPOSE] :
      ( r_0242_0001__I(R_0242_0001__I)
      & r_0242_0005__right(R_0242_0005__RIGHT)
      & r_0242_0007__Tance(R_0242_0007__TANCE)
      & r_0242_0002__suppose(R_0242_0002__SUPPOSE)
      & has_voc(R_0242_0002__SUPPOSE,R_0242_0007__TANCE)
      & has_arg1(R_0242_0002__SUPPOSE,R_0242_0004___APOS_RE)
      & r_0242_0004___apos_re(R_0242_0004___APOS_RE)
      & has_arg0(R_0242_0004___APOS_RE,R_0242_0007__TANCE)
      & has_prd(R_0242_0004___APOS_RE,R_0242_0005__RIGHT)
      & has_arg0(R_0242_0002__SUPPOSE,R_0242_0001__I) ) ).