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_0248_0002__I,R_0248_0004__IT,Z_000_248_A_TED_TALK_11_2,R_0248_0005__COMES,R_0248_0003__THINK,R_0248_0008__THIS,R_0248_0007__IS] :
      ( r_0248_0002__I(R_0248_0002__I)
      & r_0248_0004__it(R_0248_0004__IT)
      & r_0248_0008__this(R_0248_0008__THIS)
      & z_000_248_a_ted_talk_11_2(Z_000_248_A_TED_TALK_11_2)
      & r_0248_0007__is(R_0248_0007__IS)
      & has_arg0(R_0248_0007__IS,Z_000_248_A_TED_TALK_11_2)
      & has_prd(R_0248_0007__IS,R_0248_0008__THIS)
      & r_0248_0003__think(R_0248_0003__THINK)
      & has_arg1(R_0248_0003__THINK,R_0248_0005__COMES)
      & r_0248_0005__comes(R_0248_0005__COMES)
      & has_r_0248_0006__to_nim22(R_0248_0005__COMES,Z_000_248_A_TED_TALK_11_2)
      & has_arg0(R_0248_0005__COMES,R_0248_0004__IT)
      & has_arg0(R_0248_0003__THINK,R_0248_0002__I) ) ).

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