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

%3 r_0124_0002___apos_d 'd r_0124_0003__think think r_0124_0002___apos_d->r_0124_0003__think [scope] r_0124_0001__You You r_0124_0003__think->r_0124_0001__You [arg0] r_0124_0005__would would r_0124_0003__think->r_0124_0005__would [arg1] r_0124_0006__be be r_0124_0005__would->r_0124_0006__be [scope] r_0124_0004__it it r_0124_0006__be->r_0124_0004__it [arg0] r_0124_0007__otherwise otherwise r_0124_0006__be->r_0124_0007__otherwise [clr] r_0124_0009__but but r_0124_0009__but->r_0124_0002___apos_d [conj1] r_0124_0012__n_apos_t n't r_0124_0009__but->r_0124_0012__n_apos_t [conj2] r_0124_0011__is is r_0124_0012__n_apos_t->r_0124_0011__is [keep_scope] r_0124_0010__it it r_0124_0011__is->r_0124_0010__it [arg0]
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, scope).
arc(r_0124_0006__be, r_0124_0004__it, arg0).
arc(r_0124_0006__be, r_0124_0007__otherwise, clr22).
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).



%3 r_0124_0002___apos_d_r_0124_0003__think 'd think r_0124_0001__You You r_0124_0002___apos_d_r_0124_0003__think->r_0124_0001__You [arg0] r_0124_0005__would_r_0124_0006__be would be r_0124_0002___apos_d_r_0124_0003__think->r_0124_0005__would_r_0124_0006__be [arg1] r_0124_0004__it it r_0124_0005__would_r_0124_0006__be->r_0124_0004__it [arg0] r_0124_0007__otherwise otherwise r_0124_0005__would_r_0124_0006__be->r_0124_0007__otherwise [clr] r_0124_0009__but but r_0124_0009__but->r_0124_0002___apos_d_r_0124_0003__think [conj1] r_0124_0012__n_apos_t n't r_0124_0009__but->r_0124_0012__n_apos_t [conj2] r_0124_0011__is is r_0124_0012__n_apos_t->r_0124_0011__is [keep_scope] r_0124_0010__it it r_0124_0011__is->r_0124_0010__it [arg0]
fof(formula,axiom,
    ? [R_124_9_BUT,R_124_2__APOS_D_THINK,R_124_1_YOU,R_124_5_WOULD_BE,R_124_4_IT,R_124_7_OTHERWISE] :
      ( you(R_124_1_YOU)
      & it(R_124_4_IT)
      & otherwise(R_124_7_OTHERWISE)
      & but(R_124_9_BUT)
      & conj1(R_124_9_BUT,R_124_2__APOS_D_THINK)
      & _apos_d_think(R_124_2__APOS_D_THINK,R_124_1_YOU,R_124_5_WOULD_BE)
      & would_be(R_124_5_WOULD_BE,R_124_4_IT)
      & clr22(R_124_5_WOULD_BE,R_124_7_OTHERWISE)
      & conj2(R_124_9_BUT,R_124_12_N_APOS_T)
      & ~ ? [R_124_11_IS,R_124_10_IT] :
            ( it(R_124_10_IT)
            & is(R_124_11_IS,R_124_10_IT) ) ) ).



n124_a_ted_talk_11 n124_a_ted_talk_11_6 You n124_a_ted_talk_11_8 'd n124_a_ted_talk_11_11 think n124_a_ted_talk_11_16 it n124_a_ted_talk_11_18 would n124_a_ted_talk_11_21 be n124_a_ted_talk_11_24 otherwise n124_a_ted_talk_11_26 , n124_a_ted_talk_11_29 but n124_a_ted_talk_11_33 it n124_a_ted_talk_11_35 is n124_a_ted_talk_11_37 n't n124_a_ted_talk_11_39 . n124_a_ted_talk_11_1 IP-MAT n124_a_ted_talk_11_2 ILYR n124_a_ted_talk_11_1->n124_a_ted_talk_11_2 n124_a_ted_talk_11_38 PUNC n124_a_ted_talk_11_1->n124_a_ted_talk_11_38 n124_a_ted_talk_11_3 ILYR n124_a_ted_talk_11_2->n124_a_ted_talk_11_3 n124_a_ted_talk_11_25 PUNC n124_a_ted_talk_11_2->n124_a_ted_talk_11_25 n124_a_ted_talk_11_27 CONJP n124_a_ted_talk_11_2->n124_a_ted_talk_11_27 n124_a_ted_talk_11_4 NP-SBJ n124_a_ted_talk_11_3->n124_a_ted_talk_11_4 n124_a_ted_talk_11_7 MD;_cat_Vi_ n124_a_ted_talk_11_3->n124_a_ted_talk_11_7 n124_a_ted_talk_11_9 IP-INF-CAT n124_a_ted_talk_11_3->n124_a_ted_talk_11_9 n124_a_ted_talk_11_5 PRO n124_a_ted_talk_11_4->n124_a_ted_talk_11_5 n124_a_ted_talk_11_5->n124_a_ted_talk_11_6 n124_a_ted_talk_11_7->n124_a_ted_talk_11_8 n124_a_ted_talk_11_10 VB;_Tf_ n124_a_ted_talk_11_9->n124_a_ted_talk_11_10 n124_a_ted_talk_11_12 CP-THT-OB1 n124_a_ted_talk_11_9->n124_a_ted_talk_11_12 n124_a_ted_talk_11_10->n124_a_ted_talk_11_11 n124_a_ted_talk_11_13 IP-SUB n124_a_ted_talk_11_12->n124_a_ted_talk_11_13 n124_a_ted_talk_11_14 NP-SBJ n124_a_ted_talk_11_13->n124_a_ted_talk_11_14 n124_a_ted_talk_11_17 MD;_cat_Vi_ n124_a_ted_talk_11_13->n124_a_ted_talk_11_17 n124_a_ted_talk_11_19 IP-INF-CAT n124_a_ted_talk_11_13->n124_a_ted_talk_11_19 n124_a_ted_talk_11_15 PRO n124_a_ted_talk_11_14->n124_a_ted_talk_11_15 n124_a_ted_talk_11_15->n124_a_ted_talk_11_16 n124_a_ted_talk_11_17->n124_a_ted_talk_11_18 n124_a_ted_talk_11_20 BE;_Ip_ n124_a_ted_talk_11_19->n124_a_ted_talk_11_20 n124_a_ted_talk_11_22 ADVP-CLR n124_a_ted_talk_11_19->n124_a_ted_talk_11_22 n124_a_ted_talk_11_20->n124_a_ted_talk_11_21 n124_a_ted_talk_11_23 ADV n124_a_ted_talk_11_22->n124_a_ted_talk_11_23 n124_a_ted_talk_11_23->n124_a_ted_talk_11_24 n124_a_ted_talk_11_25->n124_a_ted_talk_11_26 n124_a_ted_talk_11_28 CONJ n124_a_ted_talk_11_27->n124_a_ted_talk_11_28 n124_a_ted_talk_11_30 ILYR n124_a_ted_talk_11_27->n124_a_ted_talk_11_30 n124_a_ted_talk_11_28->n124_a_ted_talk_11_29 n124_a_ted_talk_11_31 NP-SBJ n124_a_ted_talk_11_30->n124_a_ted_talk_11_31 n124_a_ted_talk_11_34 BEP;_Ip_ n124_a_ted_talk_11_30->n124_a_ted_talk_11_34 n124_a_ted_talk_11_36 NEG;_clitic_ n124_a_ted_talk_11_30->n124_a_ted_talk_11_36 n124_a_ted_talk_11_32 PRO n124_a_ted_talk_11_31->n124_a_ted_talk_11_32 n124_a_ted_talk_11_32->n124_a_ted_talk_11_33 n124_a_ted_talk_11_34->n124_a_ted_talk_11_35 n124_a_ted_talk_11_36->n124_a_ted_talk_11_37 n124_a_ted_talk_11_38->n124_a_ted_talk_11_39
( (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))