( (IP-MAT (ILYR (ILYR (NP-SBJ;{GILLIAN} (PRO She;{she}))
                      (MD;_cat_Vi_ could;{can})
                      (NEG;_clitic_ n<apos>t;{not})
                      (IP-INF-CAT (VB;__ concentrate;{concentrate})))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{GILLIAN} (PRO she;{she}))
                             (BED;_cat_Vg_ was;{be})
                             (IP-PPL-CAT (VAG;__ fidgeting;{fidget})))))
          (PUNC .))
  (ID 221_a_ted_talk_11))

arc(r_0221_0002__could,r_0221_0004__concentrate,scope).
arc(r_0221_0003__n_apos_t,r_0221_0002__could,keep_scope).
arc(r_0221_0004__concentrate,r_0221_0001__She,arg0).
arc(r_0221_0007__was,r_0221_0008__fidgeting,scope).
arc(r_0221_0008__fidgeting,r_0221_0001__She,arg0).
arc(z_0221_5001,r_0221_0003__n_apos_t,conj1).
arc(z_0221_5001,r_0221_0007__was,conj2).

fof(formula,axiom,
    ? [R_0221_0001__SHE,R_0221_0007__WAS_R_0221_0008__FIDGETING,Z_0221_5001] :
      ( r_0221_0001__She(R_0221_0001__SHE)
      & z_0221_5001(Z_0221_5001)
      & has_conj2(Z_0221_5001,R_0221_0007__WAS_R_0221_0008__FIDGETING)
      & r_0221_0007__was_r_0221_0008__fidgeting(R_0221_0007__WAS_R_0221_0008__FIDGETING)
      & has_arg0(R_0221_0007__WAS_R_0221_0008__FIDGETING,R_0221_0001__SHE)
      & has_conj1(Z_0221_5001,R_0221_0003__N_APOS_T)
      & ~ ? [R_0221_0002__COULD_R_0221_0004__CONCENTRATE] :
            ( r_0221_0002__could_r_0221_0004__concentrate(R_0221_0002__COULD_R_0221_0004__CONCENTRATE)
            & has_arg0(R_0221_0002__COULD_R_0221_0004__CONCENTRATE,R_0221_0001__SHE) ) ) ).