30_a_fce_0101_2001_06
What do you think?
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).
fof(formula,axiom,
? [R_30_2_DO_THINK,R_30_3_YOU,R_30_1_WHAT] :
( you(R_30_3_YOU)
& what(R_30_1_WHAT)
& do_think(R_30_2_DO_THINK,R_30_3_YOU,R_30_1_WHAT) ) ).
( (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))