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, qual17).
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, nim28).
arc(r_0133_0010__is, r_0133_0011__dance, arg0).
arc(r_0133_0010__is, r_0133_1001____star__, prd).

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_1001____STAR__,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_1001____star__(R_0133_1001____STAR__)
      & 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_prd(R_0133_0010__IS,R_0133_1001____STAR__)
      & has_arg0(R_0133_0010__IS,R_0133_0011__DANCE)
      & has_nim28(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_qual17(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) ) ).

( (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}))
                             (ADJP-PRD (ADJ _*_)))))
          (PUNC .))
  (ID 133_a_ted_talk_11))