( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;__ think;{think})
          (ADVP-NIM (ADV now;{now}))
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{EXPERTS} (PRO they;{they}))
                              (MD;_cat_Vi_ <apos>d;{will})
                              (IP-INF-CAT (VB;__ say;{say})
                                          (CP-THT-OB1 (IP-SUB (NP-SBJ;{GILLIAN} (PRO she;{she}))
                                                              (HVD;_Tn_ had;{have})
                                                              (NP-OB1;{ADHD} (NPR ADHD;{ADHD})))))))
          (PUNC .))
  (ID 222_a_ted_talk_11))

arc(r_0222_0002__think,r_0222_0001__I,arg0).
arc(r_0222_0002__think,r_0222_0003__now,nim).
arc(r_0222_0002__think,r_0222_0005___apos_d,arg1).
arc(r_0222_0005___apos_d,r_0222_0006__say,scope).
arc(r_0222_0006__say,r_0222_0004__they,arg0).
arc(r_0222_0006__say,r_0222_0008__had,arg1).
arc(r_0222_0008__had,r_0222_0007__she,arg0).
arc(r_0222_0008__had,r_0222_0009__ADHD,arg1).

fof(formula,axiom,
    ? [R_0222_0001__I,R_0222_0003__NOW,R_0222_0004__THEY,R_0222_0007__SHE,R_0222_0009__ADHD,R_0222_0008__HAD,R_0222_0005___APOS_D_R_0222_0006__SAY,R_0222_0002__THINK] :
      ( r_0222_0001__I(R_0222_0001__I)
      & r_0222_0003__now(R_0222_0003__NOW)
      & r_0222_0004__they(R_0222_0004__THEY)
      & r_0222_0007__she(R_0222_0007__SHE)
      & r_0222_0009__ADHD(R_0222_0009__ADHD)
      & r_0222_0002__think(R_0222_0002__THINK)
      & has_arg1(R_0222_0002__THINK,R_0222_0005___APOS_D_R_0222_0006__SAY)
      & r_0222_0005___apos_d_r_0222_0006__say(R_0222_0005___APOS_D_R_0222_0006__SAY)
      & has_arg1(R_0222_0005___APOS_D_R_0222_0006__SAY,R_0222_0008__HAD)
      & r_0222_0008__had(R_0222_0008__HAD)
      & has_arg1(R_0222_0008__HAD,R_0222_0009__ADHD)
      & has_arg0(R_0222_0008__HAD,R_0222_0007__SHE)
      & has_arg0(R_0222_0005___APOS_D_R_0222_0006__SAY,R_0222_0004__THEY)
      & has_nim(R_0222_0002__THINK,R_0222_0003__NOW)
      & has_arg0(R_0222_0002__THINK,R_0222_0001__I) ) ).