( (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}))))))
          (PUNC .))
  (ID 26_a_ted_talk_11))

arc(r_0026_0003__have,r_0026_0001__So,nim).
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,attrib).
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,arg1).
arc(r_0026_0015__do,r_0026_0013__we,arg0).
arc(r_0026_0015__do,r_0026_0014__all,nim).

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_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_0015__do(R_0026_0015__DO)
      & has_nim(R_0026_0015__DO,R_0026_0014__ALL)
      & has_arg0(R_0026_0015__DO,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_attrib(R_0026_0004__A_R_0026_0006__INTEREST,R_0026_0005__BIG)
      & has_arg0(R_0026_0003__HAVE,R_0026_0002__I)
      & has_nim(R_0026_0003__HAVE,R_0026_0001__SO) ) ).