111_a_ted_talk_11
My son didn't want to come.

n111_a_ted_talk_11 n111_a_ted_talk_11__1_1_1_1_1 My n111_a_ted_talk_11__1_1_2_1 son n111_a_ted_talk_11__1_2_1 did n111_a_ted_talk_11__1_3_1 n't n111_a_ted_talk_11__1_4_1 want n111_a_ted_talk_11__1_5_1_1 to n111_a_ted_talk_11__1_5_2_1 come n111_a_ted_talk_11__1_6_1 . n111_a_ted_talk_11__1 IP-MAT n111_a_ted_talk_11__1_1 NP-SBJ n111_a_ted_talk_11__1->n111_a_ted_talk_11__1_1 n111_a_ted_talk_11__1_2 DOD n111_a_ted_talk_11__1->n111_a_ted_talk_11__1_2 n111_a_ted_talk_11__1_3 NEG;_clitic_ n111_a_ted_talk_11__1->n111_a_ted_talk_11__1_3 n111_a_ted_talk_11__1_4 VB;_Tt_ n111_a_ted_talk_11__1->n111_a_ted_talk_11__1_4 n111_a_ted_talk_11__1_5 IP-INF-OB1 n111_a_ted_talk_11__1->n111_a_ted_talk_11__1_5 n111_a_ted_talk_11__1_6 PUNC n111_a_ted_talk_11__1->n111_a_ted_talk_11__1_6 n111_a_ted_talk_11__1_1_1 NP-GEN n111_a_ted_talk_11__1_1->n111_a_ted_talk_11__1_1_1 n111_a_ted_talk_11__1_1_2 N n111_a_ted_talk_11__1_1->n111_a_ted_talk_11__1_1_2 n111_a_ted_talk_11__1_1_1_1 PRO;_genm_ n111_a_ted_talk_11__1_1_1->n111_a_ted_talk_11__1_1_1_1 n111_a_ted_talk_11__1_1_1_1->n111_a_ted_talk_11__1_1_1_1_1 n111_a_ted_talk_11__1_1_2->n111_a_ted_talk_11__1_1_2_1 n111_a_ted_talk_11__1_2->n111_a_ted_talk_11__1_2_1 n111_a_ted_talk_11__1_3->n111_a_ted_talk_11__1_3_1 n111_a_ted_talk_11__1_4->n111_a_ted_talk_11__1_4_1 n111_a_ted_talk_11__1_5_1 TO n111_a_ted_talk_11__1_5->n111_a_ted_talk_11__1_5_1 n111_a_ted_talk_11__1_5_2 VB;_I_ n111_a_ted_talk_11__1_5->n111_a_ted_talk_11__1_5_2 n111_a_ted_talk_11__1_5_1->n111_a_ted_talk_11__1_5_1_1 n111_a_ted_talk_11__1_5_2->n111_a_ted_talk_11__1_5_2_1 n111_a_ted_talk_11__1_6->n111_a_ted_talk_11__1_6_1
( (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))



%3 r_0111_0007__come come r_0111_0002__son son r_0111_0007__come->r_0111_0002__son [arg0] r_0111_0001__My My r_0111_0002__son->r_0111_0001__My [gen] r_0111_0004__n_apos_t n't r_0111_0003__did_r_0111_0005__want did want r_0111_0004__n_apos_t->r_0111_0003__did_r_0111_0005__want [keep_scope] r_0111_0003__did_r_0111_0005__want->r_0111_0007__come [arg1] r_0111_0003__did_r_0111_0005__want->r_0111_0002__son [arg0]
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).



%3 r_0111_0002__son son r_0111_0001__My My r_0111_0002__son->r_0111_0001__My [gen] r_0111_0003__did_r_0111_0005__want did want r_0111_0003__did_r_0111_0005__want->r_0111_0002__son [arg0] r_0111_0007__come come r_0111_0003__did_r_0111_0005__want->r_0111_0007__come [arg1] r_0111_0007__come->r_0111_0002__son [arg0] r_0111_0004__n_apos_t n't r_0111_0004__n_apos_t->r_0111_0003__did_r_0111_0005__want [keep_scope]
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) ) ).