arc(r_0096_0002__was, r_0096_1001____star__, scope).
arc(r_0096_1001____star__, r_0096_0001__I, arg1).
arc(r_0096_1001____star__, z_000_96_a_ted_talk_11_8, arg0).

fof(formula,axiom,
    ? [R_0096_0001__I,Z_000_96_A_TED_TALK_11_8,R_0096_0002__WAS_R_0096_1001____STAR__] :
      ( r_0096_0001__I(R_0096_0001__I)
      & z_000_96_a_ted_talk_11_8(Z_000_96_A_TED_TALK_11_8)
      & r_0096_0002__was_r_0096_1001____star__(R_0096_0002__WAS_R_0096_1001____STAR__)
      & has_arg0(R_0096_0002__WAS_R_0096_1001____STAR__,Z_000_96_A_TED_TALK_11_8)
      & has_arg1(R_0096_0002__WAS_R_0096_1001____STAR__,R_0096_0001__I) ) ).

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VB _*_))
          (PUNC .))
  (ID 96_a_ted_talk_11))