( (IP-MAT (NP-SBJ;{ARB2} (N People;{people}))
          (BED;_La_ were;{be})
          (NEG;_clitic_ n<apos>t;{not})
          (ADJP-PRD (ADJ aware;{aware})
                    (CP-THT (IP-SUB (NP-SBJ;{ARB2} (PRO they;{they}))
                                    (MD;_cat_Vi_ could;{can})
                                    (IP-INF-CAT (HV;_Tn_ have;{have})
                                                (NP-OB1;{ADHD} (D;_nphd_ that;{that}))))))
          (PUNC .))
  (ID 226_a_ted_talk_11))

arc(r_0226_0002__were,r_0226_0001__People,arg0).
arc(r_0226_0002__were,r_0226_0004__aware,prd).
arc(r_0226_0003__n_apos_t,r_0226_0002__were,keep_scope).
arc(r_0226_0004__aware,r_0226_0006__could,emb).
arc(r_0226_0006__could,r_0226_0007__have,scope).
arc(r_0226_0007__have,r_0226_0001__People,arg0).
arc(r_0226_0007__have,r_0226_0008__that,arg1).

fof(formula,axiom,
    ~ ? [R_0226_0001__PEOPLE,R_0226_0008__THAT,R_0226_0006__COULD_R_0226_0007__HAVE,R_0226_0004__AWARE,R_0226_0002__WERE] :
        ( r_0226_0001__People(R_0226_0001__PEOPLE)
        & r_0226_0008__that(R_0226_0008__THAT)
        & r_0226_0002__were(R_0226_0002__WERE)
        & has_prd(R_0226_0002__WERE,R_0226_0004__AWARE)
        & r_0226_0004__aware(R_0226_0004__AWARE)
        & has_emb(R_0226_0004__AWARE,R_0226_0006__COULD_R_0226_0007__HAVE)
        & r_0226_0006__could_r_0226_0007__have(R_0226_0006__COULD_R_0226_0007__HAVE)
        & has_arg1(R_0226_0006__COULD_R_0226_0007__HAVE,R_0226_0008__THAT)
        & has_arg0(R_0226_0006__COULD_R_0226_0007__HAVE,R_0226_0001__PEOPLE)
        & has_arg0(R_0226_0002__WERE,R_0226_0001__PEOPLE) ) ).