52_a_wilde_1_1888
what did he see?
( (CP-QUE-MAT (IP-SUB (NP-OB1 (WPRO what;{what}))
(DOD did;{do})
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(VB;_Tn_ see;{see}))
(PUNC ?))
(ID 52_a_wilde_1_1888))
arc(r_0052_0002__did_r_0052_0004__see,r_0052_0001__what,arg1).
arc(r_0052_0002__did_r_0052_0004__see,r_0052_0003__he,arg0).
fof(formula,axiom,
? [R_0052_0001__WHAT,R_0052_0003__HE,R_0052_0002__DID_R_0052_0004__SEE] :
( r_0052_0001__what(R_0052_0001__WHAT)
& r_0052_0003__he(R_0052_0003__HE)
& r_0052_0002__did_r_0052_0004__see(R_0052_0002__DID_R_0052_0004__SEE)
& has_arg0(R_0052_0002__DID_R_0052_0004__SEE,R_0052_0003__HE)
& has_arg1(R_0052_0002__DID_R_0052_0004__SEE,R_0052_0001__WHAT) ) ).