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

arc(r_0281_0003__is,r_0281_0002__What,prd).
arc(r_0281_0003__is,r_0281_0004__it,arg0).

fof(formula,axiom,
    ? [R_0281_0002__WHAT,R_0281_0004__IT,R_0281_0003__IS] :
      ( r_0281_0002__What(R_0281_0002__WHAT)
      & r_0281_0004__it(R_0281_0004__IT)
      & r_0281_0003__is(R_0281_0003__IS)
      & has_arg0(R_0281_0003__IS,R_0281_0004__IT)
      & has_prd(R_0281_0003__IS,R_0281_0002__WHAT) ) ).