Context                Previous, Next                Top


43_a_wilde_2_1888
What did he see?

%3 r_0043_0002__did_r_0043_0004__see did see r_0043_0001__What What r_0043_0002__did_r_0043_0004__see->r_0043_0001__What [arg1] r_0043_0003__he he r_0043_0002__did_r_0043_0004__see->r_0043_0003__he [arg0] 
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).


%3 r_0043_0002__did_r_0043_0004__see did see r_0043_0001__What What r_0043_0002__did_r_0043_0004__see->r_0043_0001__What [arg1] r_0043_0003__he he r_0043_0002__did_r_0043_0004__see->r_0043_0003__he [arg0] 
fof(formula,axiom,
    ? [R_43_2_DID_SEE,R_43_3_HE,R_43_1_WHAT] :
      ( he(R_43_3_HE)
      & what(R_43_1_WHAT)
      & did_see(R_43_2_DID_SEE,R_43_3_HE,R_43_1_WHAT) ) ).


n43_a_wilde_2_1888 n43_a_wilde_2_1888_5 What n43_a_wilde_2_1888_7 did n43_a_wilde_2_1888_10 he n43_a_wilde_2_1888_12 see n43_a_wilde_2_1888_14 ? n43_a_wilde_2_1888_1 CP-QUE-MAT n43_a_wilde_2_1888_2 IP-SUB n43_a_wilde_2_1888_1->n43_a_wilde_2_1888_2 n43_a_wilde_2_1888_13 PUNC n43_a_wilde_2_1888_1->n43_a_wilde_2_1888_13 n43_a_wilde_2_1888_3 NP-OB1 n43_a_wilde_2_1888_2->n43_a_wilde_2_1888_3 n43_a_wilde_2_1888_6 DOD n43_a_wilde_2_1888_2->n43_a_wilde_2_1888_6 n43_a_wilde_2_1888_8 NP-SBJ n43_a_wilde_2_1888_2->n43_a_wilde_2_1888_8 n43_a_wilde_2_1888_11 VB;__ n43_a_wilde_2_1888_2->n43_a_wilde_2_1888_11 n43_a_wilde_2_1888_4 WPRO n43_a_wilde_2_1888_3->n43_a_wilde_2_1888_4 n43_a_wilde_2_1888_4->n43_a_wilde_2_1888_5 n43_a_wilde_2_1888_6->n43_a_wilde_2_1888_7 n43_a_wilde_2_1888_9 PRO n43_a_wilde_2_1888_8->n43_a_wilde_2_1888_9 n43_a_wilde_2_1888_9->n43_a_wilde_2_1888_10 n43_a_wilde_2_1888_11->n43_a_wilde_2_1888_12 n43_a_wilde_2_1888_13->n43_a_wilde_2_1888_14 
( (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))