arc(r_0012_0005__find, r_0012_0004__I, arg0).
arc(r_0012_0005__find, z_000_12_a_ted_talk_11_7, arg1).
arc(r_0012_0006__is, r_0012_0001__Actually, nim2).
arc(r_0012_0006__is, r_0012_0007__everybody_quant, prd).
arc(r_0012_0006__is, z_000_12_a_ted_talk_11_7, arg0).
arc(r_0012_0007__everybody_quant, r_0012_0008__has, scope).
arc(r_0012_0007__everybody_quant, z_000_12_a_ted_talk_11_21, restriction).
arc(r_0012_0008__has, r_0012_0009__an_r_0012_0010__interest, arg1).
arc(r_0012_0008__has, z_000_12_a_ted_talk_11_21, arg0).
arc(r_0012_0009__an_r_0012_0010__interest, r_0012_0012__education, r_0012_0011__in).

fof(formula,axiom,
    ? [R_0012_0004__I,Z_000_12_A_TED_TALK_11_7,R_0012_0005__FIND,R_0012_0001__ACTUALLY,R_0012_0006__IS] :
      ( r_0012_0001__Actually(R_0012_0001__ACTUALLY)
      & r_0012_0004__I(R_0012_0004__I)
      & z_000_12_a_ted_talk_11_7(Z_000_12_A_TED_TALK_11_7)
      & r_0012_0006__is(R_0012_0006__IS)
      & has_arg0(R_0012_0006__IS,Z_000_12_A_TED_TALK_11_7)
      & ! [Z_000_12_A_TED_TALK_11_21] :
          ( z_000_12_a_ted_talk_11_21(Z_000_12_A_TED_TALK_11_21)
         => ? [R_0012_0012__EDUCATION,R_0012_0009__AN_R_0012_0010__INTEREST,R_0012_0008__HAS] :
              ( r_0012_0012__education(R_0012_0012__EDUCATION)
              & r_0012_0008__has(R_0012_0008__HAS)
              & has_arg0(R_0012_0008__HAS,Z_000_12_A_TED_TALK_11_21)
              & has_arg1(R_0012_0008__HAS,R_0012_0009__AN_R_0012_0010__INTEREST)
              & r_0012_0009__an_r_0012_0010__interest(R_0012_0009__AN_R_0012_0010__INTEREST)
              & has_r_0012_0011__in(R_0012_0009__AN_R_0012_0010__INTEREST,R_0012_0012__EDUCATION) ) )
      & has_nim2(R_0012_0006__IS,R_0012_0001__ACTUALLY)
      & r_0012_0005__find(R_0012_0005__FIND)
      & has_arg1(R_0012_0005__FIND,Z_000_12_A_TED_TALK_11_7)
      & has_arg0(R_0012_0005__FIND,R_0012_0004__I) ) ).

( (IP-MAT (ADVP-NIM (ADV Actually;{actually}))
          (PUNC ,)
          (NP-SBJ (IP-REL (NP-OB1 (RPRO what;{what}))
                          (NP-SBJ (PRO I;{I}))
                          (VBP;_Tn_ find;{find})))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (NP-SBJ (Q;_nphd_ everybody;{everybody}))
                              (HVP;_Tn_ has;{have})
                              (NP-OB1 (D an;{an})
                                      (N interest;{interest})
                                      (PP (P-ROLE in;{in})
                                          (NP (N education;{education}))))))
          (PUNC .))
  (ID 12_a_ted_talk_11))