133_a_ted_talk_11
I think math is very important, but so is dance.
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
(VBP;_Tn_ think;{think})
(CP-THT-OB1 (IP-SUB (NP-SBJ (N math;{math}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADVP (ADV very;{very}))
(ADJ important;{important})))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (ADVP-NIM (ADV so;{so}))
(BEP;_La_ is;{be})
(NP-SBJ (N dance;{dance})))))
(PUNC .))
(ID 133_a_ted_talk_11))
arc(r_0133_0002__think,r_0133_0001__I,arg0).
arc(r_0133_0002__think,r_0133_0004__is,arg1).
arc(r_0133_0004__is,r_0133_0003__math,arg0).
arc(r_0133_0004__is,r_0133_0006__important,prd).
arc(r_0133_0006__important,r_0133_0005__very,qual).
arc(r_0133_0008__but,r_0133_0002__think,conj1).
arc(r_0133_0008__but,r_0133_0010__is,conj2).
arc(r_0133_0010__is,r_0133_0009__so,nim).
arc(r_0133_0010__is,r_0133_0011__dance,arg0).
fof(formula,axiom,
? [R_0133_0001__I,R_0133_0003__MATH,R_0133_0005__VERY,R_0133_0006__IMPORTANT,R_0133_0004__IS,R_0133_0002__THINK,R_0133_0009__SO,R_0133_0011__DANCE,R_0133_0010__IS,R_0133_0008__BUT] :
( r_0133_0001__I(R_0133_0001__I)
& r_0133_0003__math(R_0133_0003__MATH)
& r_0133_0005__very(R_0133_0005__VERY)
& r_0133_0009__so(R_0133_0009__SO)
& r_0133_0011__dance(R_0133_0011__DANCE)
& r_0133_0008__but(R_0133_0008__BUT)
& has_conj2(R_0133_0008__BUT,R_0133_0010__IS)
& r_0133_0010__is(R_0133_0010__IS)
& has_arg0(R_0133_0010__IS,R_0133_0011__DANCE)
& has_nim(R_0133_0010__IS,R_0133_0009__SO)
& has_conj1(R_0133_0008__BUT,R_0133_0002__THINK)
& r_0133_0002__think(R_0133_0002__THINK)
& has_arg1(R_0133_0002__THINK,R_0133_0004__IS)
& r_0133_0004__is(R_0133_0004__IS)
& has_prd(R_0133_0004__IS,R_0133_0006__IMPORTANT)
& r_0133_0006__important(R_0133_0006__IMPORTANT)
& has_qual(R_0133_0006__IMPORTANT,R_0133_0005__VERY)
& has_arg0(R_0133_0004__IS,R_0133_0003__MATH)
& has_arg0(R_0133_0002__THINK,R_0133_0001__I) ) ).