arc(r_0135_0003__do_r_0135_1001____star__, r_0135_0001__we, arg0).
arc(r_0135_0003__do_r_0135_1001____star__, r_0135_0002__all, nim5).

fof(formula,axiom,
    ? [R_0135_0001__WE,R_0135_0002__ALL,R_0135_0003__DO_R_0135_1001____STAR__] :
      ( r_0135_0001__we(R_0135_0001__WE)
      & r_0135_0002__all(R_0135_0002__ALL)
      & r_0135_0003__do_r_0135_1001____star__(R_0135_0003__DO_R_0135_1001____STAR__)
      & has_nim5(R_0135_0003__DO_R_0135_1001____STAR__,R_0135_0002__ALL)
      & has_arg0(R_0135_0003__DO_R_0135_1001____STAR__,R_0135_0001__WE) ) ).

( (IP-MAT (NP-SBJ (PRO we;{we}))
          (ADVP-NIM (ADV all;{all}))
          (DOP do;{do})
          (VB _*_)
          (PUNC .))
  (ID 135_a_ted_talk_11))