Context                Previous, Next                Top


13_a_toeic
What color item does the woman buy?

n13_a_toeic n13_a_toeic__1_1_1_1_1 What n13_a_toeic__1_1_1_2_1 color n13_a_toeic__1_1_1_3_1 item n13_a_toeic__1_1_2_1 does n13_a_toeic__1_1_3_1_1 the n13_a_toeic__1_1_3_2_1 woman n13_a_toeic__1_1_4_1 buy n13_a_toeic__1_2_1 ? n13_a_toeic__1 CP-QUE-MAT n13_a_toeic__1_1 IP-SUB n13_a_toeic__1->n13_a_toeic__1_1 n13_a_toeic__1_2 PUNC n13_a_toeic__1->n13_a_toeic__1_2 n13_a_toeic__1_1_1 NP-OB1 n13_a_toeic__1_1->n13_a_toeic__1_1_1 n13_a_toeic__1_1_2 DOP n13_a_toeic__1_1->n13_a_toeic__1_1_2 n13_a_toeic__1_1_3 NP-SBJ n13_a_toeic__1_1->n13_a_toeic__1_1_3 n13_a_toeic__1_1_4 VB;_Tn_ n13_a_toeic__1_1->n13_a_toeic__1_1_4 n13_a_toeic__1_1_1_1 WD n13_a_toeic__1_1_1->n13_a_toeic__1_1_1_1 n13_a_toeic__1_1_1_2 N n13_a_toeic__1_1_1->n13_a_toeic__1_1_1_2 n13_a_toeic__1_1_1_3 N n13_a_toeic__1_1_1->n13_a_toeic__1_1_1_3 n13_a_toeic__1_1_1_1->n13_a_toeic__1_1_1_1_1 n13_a_toeic__1_1_1_2->n13_a_toeic__1_1_1_2_1 n13_a_toeic__1_1_1_3->n13_a_toeic__1_1_1_3_1 n13_a_toeic__1_1_2->n13_a_toeic__1_1_2_1 n13_a_toeic__1_1_3_1 D n13_a_toeic__1_1_3->n13_a_toeic__1_1_3_1 n13_a_toeic__1_1_3_2 N n13_a_toeic__1_1_3->n13_a_toeic__1_1_3_2 n13_a_toeic__1_1_3_1->n13_a_toeic__1_1_3_1_1 n13_a_toeic__1_1_3_2->n13_a_toeic__1_1_3_2_1 n13_a_toeic__1_1_4->n13_a_toeic__1_1_4_1 n13_a_toeic__1_2->n13_a_toeic__1_2_1 
( (CP-QUE-MAT (IP-SUB (NP-OB1 (WD What;{what})
                              (N color;{color})
                              (N item;{item}))
                      (DOP does;{do})
                      (NP-SBJ (D the;{the})
                              (N woman;{woman}))
                      (VB;_Tn_ buy;{buy}))
              (PUNC ?))
  (ID 13_a_toeic;32-34))


%3 r_0013_0004__does_r_0013_0007__buy does buy r_0013_0005__the_r_0013_0006__woman the woman r_0013_0004__does_r_0013_0007__buy->r_0013_0005__the_r_0013_0006__woman [arg0] r_0013_0001__What_r_0013_0002__color_r_0013_0003__item What color item r_0013_0004__does_r_0013_0007__buy->r_0013_0001__What_r_0013_0002__color_r_0013_0003__item [arg1] 
arc(r_0013_0004__does_r_0013_0007__buy,r_0013_0001__What_r_0013_0002__color_r_0013_0003__item,arg1).
arc(r_0013_0004__does_r_0013_0007__buy,r_0013_0005__the_r_0013_0006__woman,arg0).


%3 r_0013_0004__does_r_0013_0007__buy does buy r_0013_0001__What_r_0013_0002__color_r_0013_0003__item What color item r_0013_0004__does_r_0013_0007__buy->r_0013_0001__What_r_0013_0002__color_r_0013_0003__item [arg1] r_0013_0005__the_r_0013_0006__woman the woman r_0013_0004__does_r_0013_0007__buy->r_0013_0005__the_r_0013_0006__woman [arg0] 
fof(formula,axiom,
    ? [R_0013_0001__WHAT_R_0013_0002__COLOR_R_0013_0003__ITEM,R_0013_0005__THE_R_0013_0006__WOMAN,R_0013_0004__DOES_R_0013_0007__BUY] :
      ( r_0013_0001__What_r_0013_0002__color_r_0013_0003__item(R_0013_0001__WHAT_R_0013_0002__COLOR_R_0013_0003__ITEM)
      & r_0013_0005__the_r_0013_0006__woman(R_0013_0005__THE_R_0013_0006__WOMAN)
      & r_0013_0004__does_r_0013_0007__buy(R_0013_0004__DOES_R_0013_0007__BUY)
      & has_arg0(R_0013_0004__DOES_R_0013_0007__BUY,R_0013_0005__THE_R_0013_0006__WOMAN)
      & has_arg1(R_0013_0004__DOES_R_0013_0007__BUY,R_0013_0001__WHAT_R_0013_0002__COLOR_R_0013_0003__ITEM) ) ).