( (CP-QUE-MAT (IP-SUB (NP-OB1 (WPRO What;{what}))
                      (DOD did;{do})
                      (NP-SBJ;{GIANT} (PRO he;{he}))
                      (VB;__ see;{see}))
              (PUNC ?))
  (ID 43_a_wilde_2_1888))

arc(r_0043_0002__did_r_0043_0004__see,r_0043_0001__What,arg1).
arc(r_0043_0002__did_r_0043_0004__see,r_0043_0003__he,arg0).

fof(formula,axiom,
    ? [R_0043_0001__WHAT,R_0043_0003__HE,R_0043_0002__DID_R_0043_0004__SEE] :
      ( r_0043_0001__What(R_0043_0001__WHAT)
      & r_0043_0003__he(R_0043_0003__HE)
      & r_0043_0002__did_r_0043_0004__see(R_0043_0002__DID_R_0043_0004__SEE)
      & has_arg0(R_0043_0002__DID_R_0043_0004__SEE,R_0043_0003__HE)
      & has_arg1(R_0043_0002__DID_R_0043_0004__SEE,R_0043_0001__WHAT) ) ).