arc(r_0026_0003__have, r_0026_0001__So, nim4).
arc(r_0026_0003__have, r_0026_0002__I, arg0).
arc(r_0026_0003__have, r_0026_0004__a_r_0026_0006__interest, arg1).
arc(r_0026_0004__a_r_0026_0006__interest, r_0026_0005__big, attrib15).
arc(r_0026_0004__a_r_0026_0006__interest, r_0026_0008__education, r_0026_0007__in).
arc(r_0026_0010__and, r_0026_0003__have, conj1).
arc(r_0026_0010__and, r_0026_0012__think, conj2).
arc(r_0026_0012__think, r_0026_0002__I, arg0).
arc(r_0026_0012__think, r_0026_0015__do_r_0026_1001____star__, arg1).
arc(r_0026_0015__do_r_0026_1001____star__, r_0026_0013__we, arg0).
arc(r_0026_0015__do_r_0026_1001____star__, r_0026_0014__all, nim42).

fof(formula,axiom,
    ? [R_0026_0001__SO,R_0026_0002__I,R_0026_0005__BIG,R_0026_0008__EDUCATION,R_0026_0004__A_R_0026_0006__INTEREST,R_0026_0003__HAVE,R_0026_0013__WE,R_0026_0014__ALL,R_0026_0015__DO_R_0026_1001____STAR__,R_0026_0012__THINK,R_0026_0010__AND] :
      ( r_0026_0001__So(R_0026_0001__SO)
      & r_0026_0002__I(R_0026_0002__I)
      & r_0026_0005__big(R_0026_0005__BIG)
      & r_0026_0008__education(R_0026_0008__EDUCATION)
      & r_0026_0013__we(R_0026_0013__WE)
      & r_0026_0014__all(R_0026_0014__ALL)
      & r_0026_0010__and(R_0026_0010__AND)
      & has_conj2(R_0026_0010__AND,R_0026_0012__THINK)
      & r_0026_0012__think(R_0026_0012__THINK)
      & has_arg1(R_0026_0012__THINK,R_0026_0015__DO_R_0026_1001____STAR__)
      & r_0026_0015__do_r_0026_1001____star__(R_0026_0015__DO_R_0026_1001____STAR__)
      & has_nim42(R_0026_0015__DO_R_0026_1001____STAR__,R_0026_0014__ALL)
      & has_arg0(R_0026_0015__DO_R_0026_1001____STAR__,R_0026_0013__WE)
      & has_arg0(R_0026_0012__THINK,R_0026_0002__I)
      & has_conj1(R_0026_0010__AND,R_0026_0003__HAVE)
      & r_0026_0003__have(R_0026_0003__HAVE)
      & has_arg1(R_0026_0003__HAVE,R_0026_0004__A_R_0026_0006__INTEREST)
      & r_0026_0004__a_r_0026_0006__interest(R_0026_0004__A_R_0026_0006__INTEREST)
      & has_r_0026_0007__in(R_0026_0004__A_R_0026_0006__INTEREST,R_0026_0008__EDUCATION)
      & has_attrib15(R_0026_0004__A_R_0026_0006__INTEREST,R_0026_0005__BIG)
      & has_arg0(R_0026_0003__HAVE,R_0026_0002__I)
      & has_nim4(R_0026_0003__HAVE,R_0026_0001__SO) ) ).

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV So;{so}))
                      (NP-SBJ (PRO I;{I}))
                      (HVP;_Tn_ have;{have})
                      (NP-OB1 (D a;{a})
                              (ADJP (ADJ big;{big}))
                              (N interest;{interest})
                              (PP (P-ROLE in;{in})
                                  (NP;{EDUCATION} (N education;{education})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (VBP;_Tf_ think;{think})
                             (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO we;{we}))
                                                 (ADVP-NIM (ADV all;{all}))
                                                 (DOP do;{do})
                                                 (VB _*_))))))
          (PUNC .))
  (ID 26_a_ted_talk_11))