123_a_ted_talk_11
Doesn't matter where you go.
( (IP-MAT (DOP Does;{do})
(NEG;_clitic_ n<apos>t;{not})
(VB;_I_ matter;{matter})
(NP-NIM (IP-REL (ADVP-NIM (RADV where;{where}))
(NP-SBJ (PRO you;{you}))
(VBP;_Ip_ go;{go[where]})))
(PUNC .))
(ID 123_a_ted_talk_11))
arc(r_0123_0001__Does_r_0123_0003__matter,r_0123_0004__where,nim).
arc(r_0123_0001__Does_r_0123_0003__matter,z_0123_5002,arg0).
arc(r_0123_0002__n_apos_t,r_0123_0001__Does_r_0123_0003__matter,keep_scope).
arc(r_0123_0006__go,r_0123_0004__where,nim).
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_0004__where(R_0123_0004__WHERE)
& r_0123_0005__you(R_0123_0005__YOU)
& r_0123_0006__go(R_0123_0006__GO)
& has_arg0(R_0123_0006__GO,R_0123_0005__YOU)
& has_nim(R_0123_0006__GO,R_0123_0004__WHERE)
& ~ ? [Z_0123_5002,R_0123_0001__DOES_R_0123_0003__MATTER] :
( z_0123_5002(Z_0123_5002)
& r_0123_0001__Does_r_0123_0003__matter(R_0123_0001__DOES_R_0123_0003__MATTER)
& has_arg0(R_0123_0001__DOES_R_0123_0003__MATTER,Z_0123_5002)
& has_nim(R_0123_0001__DOES_R_0123_0003__MATTER,R_0123_0004__WHERE) ) ) ).