arc(r_0255_0001__And_r_0255_0003___apos_s, r_0255_0002__he, arg0).
arc(r_0255_0001__And_r_0255_0003___apos_s, r_0255_0004__right, prd).

fof(formula,axiom,
    ? [R_0255_0002__HE,R_0255_0004__RIGHT,R_0255_0001__AND_R_0255_0003___APOS_S] :
      ( r_0255_0002__he(R_0255_0002__HE)
      & r_0255_0004__right(R_0255_0004__RIGHT)
      & r_0255_0001__And_r_0255_0003___apos_s(R_0255_0001__AND_R_0255_0003___APOS_S)
      & has_prd(R_0255_0001__AND_R_0255_0003___APOS_S,R_0255_0004__RIGHT)
      & has_arg0(R_0255_0001__AND_R_0255_0003___APOS_S,R_0255_0002__HE) ) ).

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ;{JONAS_SALK} (PRO he;{he}))
          (BEP;_La_ <apos>s;{be})
          (ADJP-PRD (ADJ right;{right}))
          (PUNC .))
  (ID 255_a_ted_talk_11))