124_a_ted_talk_11
You'd think it would be otherwise, but it isn't.
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).
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) ) ) ).
( (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))