Context                Previous, Next                Top


30_a_fce_0101_2001_06
What do you think?

n30_a_fce_0101_2001_06 n30_a_fce_0101_2001_06__1_1_1_1_1 What n30_a_fce_0101_2001_06__1_1_2_1 do n30_a_fce_0101_2001_06__1_1_3_1_1 you n30_a_fce_0101_2001_06__1_1_4_1 think n30_a_fce_0101_2001_06__1_2_1 ? n30_a_fce_0101_2001_06__1 CP-QUE-MAT n30_a_fce_0101_2001_06__1_1 IP-SUB n30_a_fce_0101_2001_06__1->n30_a_fce_0101_2001_06__1_1 n30_a_fce_0101_2001_06__1_2 PUNC n30_a_fce_0101_2001_06__1->n30_a_fce_0101_2001_06__1_2 n30_a_fce_0101_2001_06__1_1_1 NP-OB1 n30_a_fce_0101_2001_06__1_1->n30_a_fce_0101_2001_06__1_1_1 n30_a_fce_0101_2001_06__1_1_2 DOP n30_a_fce_0101_2001_06__1_1->n30_a_fce_0101_2001_06__1_1_2 n30_a_fce_0101_2001_06__1_1_3 NP-SBJ n30_a_fce_0101_2001_06__1_1->n30_a_fce_0101_2001_06__1_1_3 n30_a_fce_0101_2001_06__1_1_4 VB;_Tn_ n30_a_fce_0101_2001_06__1_1->n30_a_fce_0101_2001_06__1_1_4 n30_a_fce_0101_2001_06__1_1_1_1 WPRO n30_a_fce_0101_2001_06__1_1_1->n30_a_fce_0101_2001_06__1_1_1_1 n30_a_fce_0101_2001_06__1_1_1_1->n30_a_fce_0101_2001_06__1_1_1_1_1 n30_a_fce_0101_2001_06__1_1_2->n30_a_fce_0101_2001_06__1_1_2_1 n30_a_fce_0101_2001_06__1_1_3_1 PRO n30_a_fce_0101_2001_06__1_1_3->n30_a_fce_0101_2001_06__1_1_3_1 n30_a_fce_0101_2001_06__1_1_3_1->n30_a_fce_0101_2001_06__1_1_3_1_1 n30_a_fce_0101_2001_06__1_1_4->n30_a_fce_0101_2001_06__1_1_4_1 n30_a_fce_0101_2001_06__1_2->n30_a_fce_0101_2001_06__1_2_1 
( (CP-QUE-MAT (IP-SUB (NP-OB1 (WPRO What;{what}))
                      (DOP do;{do})
                      (NP-SBJ (PRO you;{you}))
                      (VB;_Tn_ think;{think}))
              (PUNC ?))
  (ID 30_a_fce_0101_2001_06))


%3 r_0030_0002__do_r_0030_0004__think do think r_0030_0003__you you r_0030_0002__do_r_0030_0004__think->r_0030_0003__you [arg0] r_0030_0001__What What r_0030_0002__do_r_0030_0004__think->r_0030_0001__What [arg1] 
arc(r_0030_0002__do_r_0030_0004__think,r_0030_0001__What,arg1).
arc(r_0030_0002__do_r_0030_0004__think,r_0030_0003__you,arg0).


%3 r_0030_0002__do_r_0030_0004__think do think r_0030_0001__What What r_0030_0002__do_r_0030_0004__think->r_0030_0001__What [arg1] r_0030_0003__you you r_0030_0002__do_r_0030_0004__think->r_0030_0003__you [arg0] 
fof(formula,axiom,
    ? [R_0030_0001__WHAT,R_0030_0003__YOU,R_0030_0002__DO_R_0030_0004__THINK] :
      ( r_0030_0001__What(R_0030_0001__WHAT)
      & r_0030_0003__you(R_0030_0003__YOU)
      & r_0030_0002__do_r_0030_0004__think(R_0030_0002__DO_R_0030_0004__THINK)
      & has_arg0(R_0030_0002__DO_R_0030_0004__THINK,R_0030_0003__YOU)
      & has_arg1(R_0030_0002__DO_R_0030_0004__THINK,R_0030_0001__WHAT) ) ).