260_a_ted_talk_11
By the way -- we may not see this future, but they will.
arc(r_0260_0004__may, r_0260_0001__By_the_way, nim4).
arc(r_0260_0004__may, r_0260_0006__see, scope).
arc(r_0260_0005__not, r_0260_0004__may, keep_scope).
arc(r_0260_0006__see, r_0260_0003__we, arg0).
arc(r_0260_0006__see, r_0260_0007__this_r_0260_0008__future, arg1).
arc(r_0260_0010__but_r_0260_0012__will, r_0260_1001____star__, scope).
arc(r_0260_1001____star__, r_0260_0011__they, arg0).
arc(z_000_260_a_ted_talk_11_2, r_0260_0005__not, conj1).
arc(z_000_260_a_ted_talk_11_2, r_0260_0010__but_r_0260_0012__will, conj2).
fof(formula,axiom,
? [Z_260_A_TED_TALK_11_2,R_260_10_BUT_WILL__STAR_,R_260_11_THEY] :
( they(R_260_11_THEY)
& z_260_a_ted_talk_11_2(Z_260_A_TED_TALK_11_2)
& conj1(Z_260_A_TED_TALK_11_2,R_260_5_NOT)
& ~ ? [R_260_4_MAY_SEE,R_260_3_WE,R_260_7_THIS_FUTURE,R_260_1_BY_THE_WAY] :
( we(R_260_3_WE)
& this_future(R_260_7_THIS_FUTURE)
& by_the_way(R_260_1_BY_THE_WAY)
& may_see(R_260_4_MAY_SEE,R_260_3_WE,R_260_7_THIS_FUTURE)
& nim4(R_260_4_MAY_SEE,R_260_1_BY_THE_WAY) )
& conj2(Z_260_A_TED_TALK_11_2,R_260_10_BUT_WILL__STAR_)
& but_will__star_(R_260_10_BUT_WILL__STAR_,R_260_11_THEY) ) ).
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV By_the_way;{by_the_way}))
(PUNC --)
(NP-SBJ (PRO we;{we}))
(MD;_cat_Vi_ may;{may})
(NEG not;{not})
(IP-INF-CAT (VB;_Tn_ see;{see})
(NP-OB1;{FUTURE} (D this;{this})
(N future;{future}))))
(PUNC ,)
(CONJP (ILYR (CONJ;_cl_ but;{but})
(NP-SBJ;{CHILDREN} (PRO they;{they}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB _*_)))))
(PUNC .))
(ID 260_a_ted_talk_11))