123_a_ted_talk_11
Doesn't matter where you go.
arc(r_0123_0001__Does_r_0123_0002__n_apos_t_r_0123_0003__matter, r_0123_0006__go, arg0).
arc(r_0123_0006__go, r_0123_0004__where, nim13).
arc(r_0123_0006__go, r_0123_0005__you, arg0).
fof(formula,axiom,
? [R_0123_0004__WHERE,R_0123_0005__YOU,R_0123_0006__GO,R_0123_0001__DOES_R_0123_0002__N_APOS_T_R_0123_0003__MATTER] :
( r_0123_0004__where(R_0123_0004__WHERE)
& r_0123_0005__you(R_0123_0005__YOU)
& ~ ( has_arg0(R_0123_0001__DOES_R_0123_0002__N_APOS_T_R_0123_0003__MATTER,R_0123_0006__GO)
& r_0123_0006__go(R_0123_0006__GO)
& has_arg0(R_0123_0006__GO,R_0123_0005__YOU)
& has_nim13(R_0123_0006__GO,R_0123_0004__WHERE) ) ) ).
( (IP-MAT (NP-SBJ (PRO;_provisional_ *))
(DOP Does;{do})
(NEG;_clitic_ n<apos>t;{not})
(VB;_I_ matter;{matter})
(CP-QUE-NSBJ (IP-SUB (ADVP-NIM (WADV where;{where}))
(NP-SBJ (PRO you;{you}))
(VBP;_Ip_ go;{go[where]})))
(PUNC .))
(ID 123_a_ted_talk_11))