TSPC 124_a_ted_talk

124_a_ted_talk_11
You'd think it would be otherwise, but it isn't.

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO You;{you}))
                      (MD;_cat_Vi_ <apos>d;{will})
                      (IP-INF-CAT (VB;_Tf_ think;{think})
                                  (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO it;{it}))
                                                      (MD;_cat_Vi_ would;{will})
                                                      (IP-INF-CAT (BE;_Ip_ be;{be})
                                                                  (ADVP-CLR (ADV otherwise;{otherwise})))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (PRO it;{it}))
                             (BEP;_Ip_ is;{be})
                             (NEG;_clitic_ n<apos>t;{not}))))
          (PUNC .))
  (ID 124_a_ted_talk_11))

arc(r_0124_0002___apos_d,r_0124_0003__think,scope).
arc(r_0124_0003__think,r_0124_0001__You,arg0).
arc(r_0124_0003__think,r_0124_0005__would,arg1).
arc(r_0124_0005__would,r_0124_0006__be_r_0124_0007__otherwise,scope).
arc(r_0124_0006__be_r_0124_0007__otherwise,r_0124_0004__it,arg0).
arc(r_0124_0009__but,r_0124_0002___apos_d,conj1).
arc(r_0124_0009__but,r_0124_0012__n_apos_t,conj2).
arc(r_0124_0011__is,r_0124_0010__it,arg0).
arc(r_0124_0012__n_apos_t,r_0124_0011__is,keep_scope).

fof(formula,axiom,
    ? [R_0124_0001__YOU,R_0124_0004__IT,R_0124_0005__WOULD_R_0124_0006__BE_R_0124_0007__OTHERWISE,R_0124_0002___APOS_D_R_0124_0003__THINK,R_0124_0009__BUT] :
      ( r_0124_0001__You(R_0124_0001__YOU)
      & r_0124_0004__it(R_0124_0004__IT)
      & r_0124_0009__but(R_0124_0009__BUT)
      & has_conj2(R_0124_0009__BUT,R_0124_0012__N_APOS_T)
      & ~ ? [R_0124_0010__IT,R_0124_0011__IS] :
            ( r_0124_0010__it(R_0124_0010__IT)
            & r_0124_0011__is(R_0124_0011__IS)
            & has_arg0(R_0124_0011__IS,R_0124_0010__IT) )
      & has_conj1(R_0124_0009__BUT,R_0124_0002___APOS_D_R_0124_0003__THINK)
      & r_0124_0002___apos_d_r_0124_0003__think(R_0124_0002___APOS_D_R_0124_0003__THINK)
      & has_arg1(R_0124_0002___APOS_D_R_0124_0003__THINK,R_0124_0005__WOULD_R_0124_0006__BE_R_0124_0007__OTHERWISE)
      & r_0124_0005__would_r_0124_0006__be_r_0124_0007__otherwise(R_0124_0005__WOULD_R_0124_0006__BE_R_0124_0007__OTHERWISE)
      & has_arg0(R_0124_0005__WOULD_R_0124_0006__BE_R_0124_0007__OTHERWISE,R_0124_0004__IT)
      & has_arg0(R_0124_0002___APOS_D_R_0124_0003__THINK,R_0124_0001__YOU) ) ).