( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{DORLE} (PRO I;{I}))
          (VBP;_Tf_ suppose;{suppose})
          (CP-THT-OB1 (IP-SUB (EX there;{there})
                              (BED;_ex_V_ was;{be})))
          (PUNC .))
  (ID 587_a_dick_1952))

arc(r_0587_0003__suppose,r_0587_0002__I,arg0).
arc(r_0587_0003__suppose,r_0587_0005__was,arg1).
arc(r_0587_0005__was,z_0587_5003,arg0).

fof(formula,axiom,
    ? [R_0587_0002__I,Z_0587_5003,R_0587_0005__WAS,R_0587_0003__SUPPOSE] :
      ( r_0587_0002__I(R_0587_0002__I)
      & z_0587_5003(Z_0587_5003)
      & r_0587_0003__suppose(R_0587_0003__SUPPOSE)
      & has_arg1(R_0587_0003__SUPPOSE,R_0587_0005__WAS)
      & r_0587_0005__was(R_0587_0005__WAS)
      & has_arg0(R_0587_0005__WAS,Z_0587_5003)
      & has_arg0(R_0587_0003__SUPPOSE,R_0587_0002__I) ) ).