111_a_ted_talk_11
My son didn't want to come.
( (IP-MAT (NP-SBJ;{JAMES} (NP-GEN (PRO;_genm_ My;{my}))
(N son;{son}))
(DOD did;{do})
(NEG;_clitic_ n<apos>t;{not})
(VB;_Tt_ want;{want})
(IP-INF-OB1 (TO to;{to})
(VB;_I_ come;{come}))
(PUNC .))
(ID 111_a_ted_talk_11))
arc(r_0111_0002__son,r_0111_0001__My,gen).
arc(r_0111_0003__did_r_0111_0005__want,r_0111_0002__son,arg0).
arc(r_0111_0003__did_r_0111_0005__want,r_0111_0007__come,arg1).
arc(r_0111_0004__n_apos_t,r_0111_0003__did_r_0111_0005__want,keep_scope).
arc(r_0111_0007__come,r_0111_0002__son,arg0).
fof(formula,axiom,
~ ? [R_0111_0001__MY,R_0111_0002__SON,R_0111_0007__COME,R_0111_0003__DID_R_0111_0005__WANT] :
( r_0111_0001__My(R_0111_0001__MY)
& r_0111_0003__did_r_0111_0005__want(R_0111_0003__DID_R_0111_0005__WANT)
& has_arg1(R_0111_0003__DID_R_0111_0005__WANT,R_0111_0007__COME)
& r_0111_0007__come(R_0111_0007__COME)
& has_arg0(R_0111_0007__COME,R_0111_0002__SON)
& r_0111_0002__son(R_0111_0002__SON)
& has_gen(R_0111_0002__SON,R_0111_0001__MY)
& has_arg0(R_0111_0003__DID_R_0111_0005__WANT,R_0111_0002__SON) ) ).