TSPC 259_a_ted_talk

259_a_ted_talk_11
By the way -- we may not see this future, but they will.

( (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;__ 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}))))
          (PUNC .))
  (ID 259_a_ted_talk_11))

arc(r_0259_0004__may,r_0259_0001__By_the_way,nim).
arc(r_0259_0004__may,r_0259_0006__see,scope).
arc(r_0259_0005__not,r_0259_0004__may,keep_scope).
arc(r_0259_0006__see,r_0259_0003__we,arg0).
arc(r_0259_0006__see,r_0259_0007__this_r_0259_0008__future,arg1).
arc(r_0259_0012__will,r_0259_0011__they,arg0).
arc(z_0259_5001,r_0259_0005__not,conj1).
arc(z_0259_5001,r_0259_0012__will,conj2).

fof(formula,axiom,
    ? [R_0259_0011__THEY,R_0259_0012__WILL,Z_0259_5001] :
      ( r_0259_0011__they(R_0259_0011__THEY)
      & z_0259_5001(Z_0259_5001)
      & has_conj2(Z_0259_5001,R_0259_0012__WILL)
      & r_0259_0012__will(R_0259_0012__WILL)
      & has_arg0(R_0259_0012__WILL,R_0259_0011__THEY)
      & has_conj1(Z_0259_5001,R_0259_0005__NOT)
      & ~ ? [R_0259_0001__BY_THE_WAY,R_0259_0003__WE,R_0259_0007__THIS_R_0259_0008__FUTURE,R_0259_0004__MAY_R_0259_0006__SEE] :
            ( r_0259_0001__By_the_way(R_0259_0001__BY_THE_WAY)
            & r_0259_0003__we(R_0259_0003__WE)
            & r_0259_0007__this_r_0259_0008__future(R_0259_0007__THIS_R_0259_0008__FUTURE)
            & r_0259_0004__may_r_0259_0006__see(R_0259_0004__MAY_R_0259_0006__SEE)
            & has_arg1(R_0259_0004__MAY_R_0259_0006__SEE,R_0259_0007__THIS_R_0259_0008__FUTURE)
            & has_arg0(R_0259_0004__MAY_R_0259_0006__SEE,R_0259_0003__WE)
            & has_nim(R_0259_0004__MAY_R_0259_0006__SEE,R_0259_0001__BY_THE_WAY) ) ) ).