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

arc(r_0224_0001__But_r_0224_0007__and,r_0224_0003__was,conj1).
arc(r_0224_0001__But_r_0224_0007__and,r_0224_0010__n_apos_t,conj2).
arc(r_0224_0003__was,r_0224_0002__this,arg0).
arc(r_0224_0003__was,r_0224_0004__the,prd).
arc(r_0224_0004__the,r_0224_0005__1930s,attrib).
arc(r_0224_0009__had,r_0224_0011__been,scope).
arc(r_0224_0010__n_apos_t,r_0224_0009__had,keep_scope).
arc(r_0224_0011__been,r_0224_0012__invented,scope).
arc(r_0224_0012__invented,r_0224_0008__ADHD,arg1).
arc(r_0224_0012__invented,r_0224_0014__this_r_0224_0015__point,r_0224_0013__at__nim).
arc(r_0224_0012__invented,z_0224_5007___star_,arg0).

fof(formula,axiom,
    ? [R_0224_0002__THIS,R_0224_0005__1930S,R_0224_0004__THE,R_0224_0003__WAS,R_0224_0001__BUT_R_0224_0007__AND] :
      ( r_0224_0002__this(R_0224_0002__THIS)
      & r_0224_0005__1930s(R_0224_0005__1930S)
      & r_0224_0001__But_r_0224_0007__and(R_0224_0001__BUT_R_0224_0007__AND)
      & has_conj2(R_0224_0001__BUT_R_0224_0007__AND,R_0224_0010__N_APOS_T)
      & ~ ? [R_0224_0008__ADHD,R_0224_0014__THIS_R_0224_0015__POINT,Z_0224_5007___STAR_,R_0224_0009__HAD_R_0224_0011__BEEN_R_0224_0012__INVENTED] :
            ( r_0224_0008__ADHD(R_0224_0008__ADHD)
            & r_0224_0014__this_r_0224_0015__point(R_0224_0014__THIS_R_0224_0015__POINT)
            & z_0224_5007___star_(Z_0224_5007___STAR_)
            & r_0224_0009__had_r_0224_0011__been_r_0224_0012__invented(R_0224_0009__HAD_R_0224_0011__BEEN_R_0224_0012__INVENTED)
            & has_arg0(R_0224_0009__HAD_R_0224_0011__BEEN_R_0224_0012__INVENTED,Z_0224_5007___STAR_)
            & has_r_0224_0013__at__nim(R_0224_0009__HAD_R_0224_0011__BEEN_R_0224_0012__INVENTED,R_0224_0014__THIS_R_0224_0015__POINT)
            & has_arg1(R_0224_0009__HAD_R_0224_0011__BEEN_R_0224_0012__INVENTED,R_0224_0008__ADHD) )
      & has_conj1(R_0224_0001__BUT_R_0224_0007__AND,R_0224_0003__WAS)
      & r_0224_0003__was(R_0224_0003__WAS)
      & has_prd(R_0224_0003__WAS,R_0224_0004__THE)
      & r_0224_0004__the(R_0224_0004__THE)
      & has_attrib(R_0224_0004__THE,R_0224_0005__1930S)
      & has_arg0(R_0224_0003__WAS,R_0224_0002__THIS) ) ).