( (CP-QUE-MAT (PULQ <ldquo>)
              (IP-SUB (NP-SBJ (WPRO What;{what}))
                      (BEP;_Ln_ is;{be})
                      (NP-PRD (PRO it;{it})))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 400_a_dick_1952))

arc(r_0400_0003__is,r_0400_0002__What,arg0).
arc(r_0400_0003__is,r_0400_0004__it,prd).

fof(formula,axiom,
    ? [R_0400_0002__WHAT,R_0400_0004__IT,R_0400_0003__IS] :
      ( r_0400_0002__What(R_0400_0002__WHAT)
      & r_0400_0004__it(R_0400_0004__IT)
      & r_0400_0003__is(R_0400_0003__IS)
      & has_prd(R_0400_0003__IS,R_0400_0004__IT)
      & has_arg0(R_0400_0003__IS,R_0400_0002__WHAT) ) ).