111_a_ted_talk_11
My son didn't want to come.
arc(r_0111_0002__son, r_0111_0001__My, gen).
arc(r_0111_0003__did_r_0111_0004__n_apos_t_r_0111_0005__want, r_0111_0002__son, arg0).
arc(r_0111_0003__did_r_0111_0004__n_apos_t_r_0111_0005__want, r_0111_0006__to_r_0111_0007__come, arg1).
arc(r_0111_0006__to_r_0111_0007__come, r_0111_0002__son, arg0).
fof(formula,axiom,
? [R_0111_0001__MY,R_0111_0002__SON,R_0111_0006__TO_R_0111_0007__COME,R_0111_0003__DID_R_0111_0004__N_APOS_T_R_0111_0005__WANT] :
( r_0111_0001__My(R_0111_0001__MY)
& ~ ( has_arg1(R_0111_0003__DID_R_0111_0004__N_APOS_T_R_0111_0005__WANT,R_0111_0006__TO_R_0111_0007__COME)
& r_0111_0006__to_r_0111_0007__come(R_0111_0006__TO_R_0111_0007__COME)
& has_arg0(R_0111_0006__TO_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_0004__N_APOS_T_R_0111_0005__WANT,R_0111_0002__SON) ) ) ).
( (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))