TSPC 12_a_ted_talk

12_a_ted_talk_11
Actually, what I find is everybody has an interest in education.

( (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))

arc(r_0012_0005__find,r_0012_0003__what,arg1).
arc(r_0012_0005__find,r_0012_0004__I,arg0).
arc(r_0012_0006__is,r_0012_0001__Actually,nim).
arc(r_0012_0006__is,r_0012_0003__what,arg0).
arc(r_0012_0006__is,r_0012_0007__everybody__quant,prd).
arc(r_0012_0007__everybody__quant,r_0012_0008__has,scope).
arc(r_0012_0007__everybody__quant,z_0012_5007,restriction).
arc(r_0012_0008__has,r_0012_0009__an_r_0012_0010__interest,arg1).
arc(r_0012_0008__has,z_0012_5007,arg0).
arc(r_0012_0009__an_r_0012_0010__interest,r_0012_0012__education,r_0012_0011__in).

fof(formula,axiom,
    ? [R_0012_0003__WHAT,R_0012_0004__I,R_0012_0005__FIND,R_0012_0001__ACTUALLY,R_0012_0006__IS] :
      ( r_0012_0001__Actually(R_0012_0001__ACTUALLY)
      & r_0012_0003__what(R_0012_0003__WHAT)
      & r_0012_0004__I(R_0012_0004__I)
      & r_0012_0006__is(R_0012_0006__IS)
      & ! [Z_0012_5007] :
          ( z_0012_5007(Z_0012_5007)
         => ? [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_0012_5007)
              & 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_arg0(R_0012_0006__IS,R_0012_0003__WHAT)
      & has_nim(R_0012_0006__IS,R_0012_0001__ACTUALLY)
      & r_0012_0005__find(R_0012_0005__FIND)
      & has_arg0(R_0012_0005__FIND,R_0012_0004__I)
      & has_arg1(R_0012_0005__FIND,R_0012_0003__WHAT) ) ).