( (CP-QUE-MAT (PULQ <ldquo>)
              (IP-SUB (NP-SBJ (WPRO What;{what}))
                      (BEP;_Ln_ <apos>s;{be})
                      (NP-PRD (D the;{the})
                              (N matter;{matter})
                              (PP (P-ROLE with;{with})
                                  (NP;{TANCE} (PRO you;{you})))))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 394_a_dick_1952))

arc(r_0394_0003___apos_s,r_0394_0002__What,arg0).
arc(r_0394_0003___apos_s,r_0394_0004__the_r_0394_0005__matter,prd).
arc(r_0394_0004__the_r_0394_0005__matter,r_0394_0007__you,r_0394_0006__with).

fof(formula,axiom,
    ? [R_0394_0002__WHAT,R_0394_0007__YOU,R_0394_0004__THE_R_0394_0005__MATTER,R_0394_0003___APOS_S] :
      ( r_0394_0002__What(R_0394_0002__WHAT)
      & r_0394_0007__you(R_0394_0007__YOU)
      & r_0394_0003___apos_s(R_0394_0003___APOS_S)
      & has_prd(R_0394_0003___APOS_S,R_0394_0004__THE_R_0394_0005__MATTER)
      & r_0394_0004__the_r_0394_0005__matter(R_0394_0004__THE_R_0394_0005__MATTER)
      & has_r_0394_0006__with(R_0394_0004__THE_R_0394_0005__MATTER,R_0394_0007__YOU)
      & has_arg0(R_0394_0003___APOS_S,R_0394_0002__WHAT) ) ).