158_a_ted_talk_11
And there, you will see it.
arc(r_0158_0001__And_r_0158_0005__will, r_0158_0002__there, nim4).
arc(r_0158_0001__And_r_0158_0005__will, r_0158_0006__see, scope).
arc(r_0158_0006__see, r_0158_0004__you, arg0).
arc(r_0158_0006__see, r_0158_0007__it, arg1).
fof(formula,axiom,
? [R_0158_0002__THERE,R_0158_0004__YOU,R_0158_0007__IT,R_0158_0001__AND_R_0158_0005__WILL_R_0158_0006__SEE] :
( r_0158_0002__there(R_0158_0002__THERE)
& r_0158_0004__you(R_0158_0004__YOU)
& r_0158_0007__it(R_0158_0007__IT)
& r_0158_0001__And_r_0158_0005__will_r_0158_0006__see(R_0158_0001__AND_R_0158_0005__WILL_R_0158_0006__SEE)
& has_arg1(R_0158_0001__AND_R_0158_0005__WILL_R_0158_0006__SEE,R_0158_0007__IT)
& has_arg0(R_0158_0001__AND_R_0158_0005__WILL_R_0158_0006__SEE,R_0158_0004__YOU)
& has_nim4(R_0158_0001__AND_R_0158_0005__WILL_R_0158_0006__SEE,R_0158_0002__THERE) ) ).
( (IP-MAT (CONJ;_cl_ And;{and})
(ADVP-NIM (ADV there;{there}))
(PUNC ,)
(NP-SBJ (PRO you;{you}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;_Tn_ see;{see})
(NP-OB1;{EVIDENCE} (PRO it;{it})))
(PUNC .))
(ID 158_a_ted_talk_11))