arc(r_0225_0001__But_r_0225_0007__and, r_0225_0003__was, conj1).
arc(r_0225_0001__But_r_0225_0007__and, r_0225_0009__had_r_0225_0010__n_apos_t, conj2).
arc(r_0225_0003__was, r_0225_0002__this, arg0).
arc(r_0225_0003__was, r_0225_0004__the, prd).
arc(r_0225_0004__the, r_0225_0005__1930s, attrib14).
arc(r_0225_0009__had_r_0225_0010__n_apos_t, r_0225_0011__been, scope).
arc(r_0225_0011__been, r_0225_0012__invented, scope).
arc(r_0225_0012__invented, r_0225_0008__ADHD, arg1).
arc(r_0225_0012__invented, r_0225_0014__this_r_0225_0015__point, r_0225_0013__at_nim41).
arc(r_0225_0012__invented, z_000_225_a_ted_talk_11_34, arg0).

fof(formula,axiom,
    ? [R_0225_0002__THIS,R_0225_0005__1930S,R_0225_0004__THE,R_0225_0003__WAS,R_0225_0008__ADHD,R_0225_0014__THIS_R_0225_0015__POINT,Z_000_225_A_TED_TALK_11_34,R_0225_0009__HAD_R_0225_0010__N_APOS_T_R_0225_0011__BEEN_R_0225_0012__INVENTED,R_0225_0001__BUT_R_0225_0007__AND] :
      ( r_0225_0002__this(R_0225_0002__THIS)
      & r_0225_0005__1930s(R_0225_0005__1930S)
      & r_0225_0008__ADHD(R_0225_0008__ADHD)
      & r_0225_0014__this_r_0225_0015__point(R_0225_0014__THIS_R_0225_0015__POINT)
      & z_000_225_a_ted_talk_11_34(Z_000_225_A_TED_TALK_11_34)
      & r_0225_0001__But_r_0225_0007__and(R_0225_0001__BUT_R_0225_0007__AND)
      & has_conj2(R_0225_0001__BUT_R_0225_0007__AND,R_0225_0009__HAD_R_0225_0010__N_APOS_T_R_0225_0011__BEEN_R_0225_0012__INVENTED)
      & ~ ( has_arg0(R_0225_0009__HAD_R_0225_0010__N_APOS_T_R_0225_0011__BEEN_R_0225_0012__INVENTED,Z_000_225_A_TED_TALK_11_34)
          & has_r_0225_0013__at_nim41(R_0225_0009__HAD_R_0225_0010__N_APOS_T_R_0225_0011__BEEN_R_0225_0012__INVENTED,R_0225_0014__THIS_R_0225_0015__POINT)
          & has_arg1(R_0225_0009__HAD_R_0225_0010__N_APOS_T_R_0225_0011__BEEN_R_0225_0012__INVENTED,R_0225_0008__ADHD) )
      & has_conj1(R_0225_0001__BUT_R_0225_0007__AND,R_0225_0003__WAS)
      & r_0225_0003__was(R_0225_0003__WAS)
      & has_prd(R_0225_0003__WAS,R_0225_0004__THE)
      & r_0225_0004__the(R_0225_0004__THE)
      & has_attrib14(R_0225_0004__THE,R_0225_0005__1930S)
      & has_arg0(R_0225_0003__WAS,R_0225_0002__THIS) ) ).

( (IP-MAT (ILYR (CONJ;_cl_ But;{but})
                (ILYR (NP-SBJ (D;_nphd_ this;{this}))
                      (BED;_Ln_ was;{be})
                      (NP-PRD (D the;{the})
                              (ADJP (ADJ 1930s))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{ADHD} (NPR ADHD;{ADHD}))
                             (HVD;_cat_Ve_ had;{have})
                             (NEG;_clitic_ n<apos>t;{not})
                             (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (VVN;__ invented;{invent})
                                                     (PP-NIM (P-ROLE at;{at})
                                                             (NP (D this;{this})
                                                                 (N point;{point}))))))))
          (PUNC .))
  (ID 225_a_ted_talk_11))