arc(r_0248_0003__think, r_0248_0002__I, arg0).
arc(r_0248_0003__think, r_0248_0005__comes, arg1).
arc(r_0248_0005__comes, r_0248_0004__it, arg0).
arc(r_0248_0005__comes, z_000_248_a_ted_talk_11_2, r_0248_0006__to_nim22).
arc(r_0248_0007__is, r_0248_0008__this, prd).
arc(r_0248_0007__is, z_000_248_a_ted_talk_11_2, arg0).

fof(formula,axiom,
    ? [R_248_3_THINK,R_248_2_I,R_248_5_COMES,R_248_4_IT,R_248_7_IS,Z_248_A_TED_TALK_11_2,R_248_8_THIS] :
      ( i(R_248_2_I)
      & it(R_248_4_IT)
      & this(R_248_8_THIS)
      & think(R_248_3_THINK,R_248_2_I,R_248_5_COMES)
      & comes(R_248_5_COMES,R_248_4_IT)
      & to_nim22(R_248_5_COMES,Z_248_A_TED_TALK_11_2)
      & is(R_248_7_IS,Z_248_A_TED_TALK_11_2,R_248_8_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 248_a_ted_talk_11))