Context                Previous, Next                Top


52_a_wilde_1_1888
what did he see?

%3 r_0052_0002__did_r_0052_0004__see did see r_0052_0001__what what r_0052_0002__did_r_0052_0004__see->r_0052_0001__what [arg1] r_0052_0003__he he r_0052_0002__did_r_0052_0004__see->r_0052_0003__he [arg0] 
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).


%3 r_0052_0002__did_r_0052_0004__see did see r_0052_0003__he he r_0052_0002__did_r_0052_0004__see->r_0052_0003__he [arg0] r_0052_0001__what what r_0052_0002__did_r_0052_0004__see->r_0052_0001__what [arg1] 
fof(formula,axiom,
    ? [R_52_2_DID_SEE,R_52_3_HE,R_52_1_WHAT] :
      ( he(R_52_3_HE)
      & what(R_52_1_WHAT)
      & did_see(R_52_2_DID_SEE,R_52_3_HE,R_52_1_WHAT) ) ).


n52_a_wilde_1_1888 n52_a_wilde_1_1888__1_1_1_1_1 what n52_a_wilde_1_1888__1_1_2_1 did n52_a_wilde_1_1888__1_1_3_1_1 he n52_a_wilde_1_1888__1_1_4_1 see n52_a_wilde_1_1888__1_2_1 ? n52_a_wilde_1_1888__1 CP-QUE-MAT n52_a_wilde_1_1888__1_1 IP-SUB n52_a_wilde_1_1888__1->n52_a_wilde_1_1888__1_1 n52_a_wilde_1_1888__1_2 PUNC n52_a_wilde_1_1888__1->n52_a_wilde_1_1888__1_2 n52_a_wilde_1_1888__1_1_1 NP-OB1 n52_a_wilde_1_1888__1_1->n52_a_wilde_1_1888__1_1_1 n52_a_wilde_1_1888__1_1_2 DOD n52_a_wilde_1_1888__1_1->n52_a_wilde_1_1888__1_1_2 n52_a_wilde_1_1888__1_1_3 NP-SBJ n52_a_wilde_1_1888__1_1->n52_a_wilde_1_1888__1_1_3 n52_a_wilde_1_1888__1_1_4 VB;_Tn_ n52_a_wilde_1_1888__1_1->n52_a_wilde_1_1888__1_1_4 n52_a_wilde_1_1888__1_1_1_1 WPRO n52_a_wilde_1_1888__1_1_1->n52_a_wilde_1_1888__1_1_1_1 n52_a_wilde_1_1888__1_1_1_1->n52_a_wilde_1_1888__1_1_1_1_1 n52_a_wilde_1_1888__1_1_2->n52_a_wilde_1_1888__1_1_2_1 n52_a_wilde_1_1888__1_1_3_1 PRO n52_a_wilde_1_1888__1_1_3->n52_a_wilde_1_1888__1_1_3_1 n52_a_wilde_1_1888__1_1_3_1->n52_a_wilde_1_1888__1_1_3_1_1 n52_a_wilde_1_1888__1_1_4->n52_a_wilde_1_1888__1_1_4_1 n52_a_wilde_1_1888__1_2->n52_a_wilde_1_1888__1_2_1 
( (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))