( (CP-QUE-MAT (IP-SUB (NP-FOC (WPRO what;{what}))
                      (BED;_cleft_Vn_ was;{be})
                      (NP-SBJ (PRO;_provisional_ it;{it}))
                      (IP-CLF (NP-SBJ;{FOMAR} (PRO you;{you}))
                              (BED;_La_ were;{be})
                              (ADJP-PRD (ADVP (ADV so;{so}))
                                        (ADJ interested;{interested})
                                        (PP (P-ROLE in;{in})
                                            (NP *T*)))))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 147_a_dick_1952))

arc(r_0147_0002__was,z_0147_5002,arg0).
arc(r_0147_0002__was,z_0147_5007,prd).
arc(r_0147_0005__were,r_0147_0004__you,arg0).
arc(r_0147_0005__were,r_0147_0007__interested,prd).
arc(r_0147_0007__interested,r_0147_0006__so,qual).
arc(r_0147_0007__interested,z_0147_5007,r_0147_0008__in).

fof(formula,axiom,
    ? [Z_0147_5002,Z_0147_5007,R_0147_0002__WAS,R_0147_0004__YOU,R_0147_0006__SO,R_0147_0007__INTERESTED,R_0147_0005__WERE] :
      ( r_0147_0004__you(R_0147_0004__YOU)
      & r_0147_0006__so(R_0147_0006__SO)
      & z_0147_5002(Z_0147_5002)
      & z_0147_5007(Z_0147_5007)
      & r_0147_0005__were(R_0147_0005__WERE)
      & has_prd(R_0147_0005__WERE,R_0147_0007__INTERESTED)
      & r_0147_0007__interested(R_0147_0007__INTERESTED)
      & has_r_0147_0008__in(R_0147_0007__INTERESTED,Z_0147_5007)
      & has_qual(R_0147_0007__INTERESTED,R_0147_0006__SO)
      & has_arg0(R_0147_0005__WERE,R_0147_0004__YOU)
      & r_0147_0002__was(R_0147_0002__WAS)
      & has_prd(R_0147_0002__WAS,Z_0147_5007)
      & has_arg0(R_0147_0002__WAS,Z_0147_5002) ) ).