TSPC 247_a_ted_talk

247_a_ted_talk_11
What I think it comes to is this:

( (IP-MAT (NP-SBJ (IP-REL (NP-159 (RPRO What;{what}))
                          (NP-SBJ (PRO I;{I}))
                          (VBP;__ think;{think})
                          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO it;{it}))
                                              (VBP;__ comes;{come})
                                              (PP-NIM (P-ROLE to;{to})
                                                      (NP *ICH*-159))))))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D;_nphd_ this;{this}))
          (PUNC :))
  (ID 247_a_ted_talk_11))

arc(r_0247_0003__think,r_0247_0002__I,arg0).
arc(r_0247_0003__think,r_0247_0005__comes,arg1).
arc(r_0247_0005__comes,r_0247_0001__What,r_0247_0006__to__nim).
arc(r_0247_0005__comes,r_0247_0004__it,arg0).
arc(r_0247_0007__is,r_0247_0001__What,arg0).
arc(r_0247_0007__is,r_0247_0008__this,prd).

fof(formula,axiom,
    ? [R_0247_0002__I,R_0247_0001__WHAT,R_0247_0004__IT,R_0247_0005__COMES,R_0247_0003__THINK,R_0247_0008__THIS,R_0247_0007__IS] :
      ( r_0247_0001__What(R_0247_0001__WHAT)
      & r_0247_0002__I(R_0247_0002__I)
      & r_0247_0004__it(R_0247_0004__IT)
      & r_0247_0008__this(R_0247_0008__THIS)
      & r_0247_0007__is(R_0247_0007__IS)
      & has_prd(R_0247_0007__IS,R_0247_0008__THIS)
      & has_arg0(R_0247_0007__IS,R_0247_0001__WHAT)
      & r_0247_0003__think(R_0247_0003__THINK)
      & has_arg1(R_0247_0003__THINK,R_0247_0005__COMES)
      & r_0247_0005__comes(R_0247_0005__COMES)
      & has_arg0(R_0247_0005__COMES,R_0247_0004__IT)
      & has_r_0247_0006__to__nim(R_0247_0005__COMES,R_0247_0001__WHAT)
      & has_arg0(R_0247_0003__THINK,R_0247_0002__I) ) ).