( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (D the;{the})
                  (N consequence;{consequence}))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (NP-SBJ (ADJP (ADJ many;{many}))
                                      (ADJP (ADVP (ADV highly;{highly}))
                                            (PUNC <hyphen>)
                                            (ADJ talented;{talented}))
                                      (PUNC ,)
                                      (ADJP (ADJ brilliant;{brilliant}))
                                      (PUNC ,)
                                      (ADJP (ADJ creative;{creative}))
                                      (NS people;{people}))
                              (VBP;_Tf_ think;{think})
                              (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO they;{they}))
                                                  (BEP;_Ln_ <apos>re;{be})
                                                  (NEG not;{not})))
                              (PUNC ,)
                              (PP-SCON (P-CONN because;{because})
                                       (IP-ADV (NP-SBJ (D the;{the})
                                                       (N thing;{thing})
                                                       (IP-REL (NP-SBJ (PRO they;{they}))
                                                               (BED;_La_ were;{be})
                                                               (ADJP-PRD (ADJ good;{good})
                                                                         (PP (P-ROLE at;{at})
                                                                             (NP *T*))
                                                                         (PP (P-ROLE at;{at})
                                                                             (NP (N school;{school}))))))
                                               (ILYR (ILYR (BED;_cat_VePASS_ was;{be})
                                                           (IP-PPL-CAT (NP-LGS *)
                                                                       (NEG;_clitic_ n<apos>t;{not})
                                                                       (VVN;_Tn_ valued;{value})))
                                                     (PUNC ,)
                                                     (CONJP (CONJ or;{or})
                                                            (ILYR (BED;_cat_VePASS_ was;{be})
                                                                  (IP-PPL-CAT (NP-LGS *)
                                                                              (ADVP-NIM (ADV actually;{actually}))
                                                                              (VVN;_Tn_ stigmatized;{stigmatize})))))))))
          (PUNC .))
  (ID 172_a_ted_talk_11))

arc(r_0172_0004__is,r_0172_0002__the_r_0172_0003__consequence,arg0).
arc(r_0172_0004__is,r_0172_0020__because,prd).
arc(r_0172_0009__talented,r_0172_0007__highly,qual).
arc(r_0172_0014__people,r_0172_0006__many,attrib).
arc(r_0172_0014__people,r_0172_0009__talented,attrib).
arc(r_0172_0014__people,r_0172_0011__brilliant,attrib).
arc(r_0172_0014__people,r_0172_0013__creative,attrib).
arc(r_0172_0015__think,r_0172_0014__people,arg0).
arc(r_0172_0015__think,r_0172_0018__not,arg1).
arc(r_0172_0017___apos_re,r_0172_0016__they,arg0).
arc(r_0172_0018__not,r_0172_0017___apos_re,keep_scope).
arc(r_0172_0020__because,r_0172_0015__think,scope).
arc(r_0172_0020__because,r_0172_0033__or,restriction).
arc(r_0172_0024__were,r_0172_0023__they,arg0).
arc(r_0172_0024__were,r_0172_0025__good,prd).
arc(r_0172_0025__good,r_0172_0021__the_r_0172_0022__thing,r_0172_0026__at__inv).
arc(r_0172_0025__good,r_0172_0028__school,r_0172_0027__at).
arc(r_0172_0029__was,r_0172_0030__n_apos_t,scope).
arc(r_0172_0030__n_apos_t,r_0172_0031__valued,keep_scope).
arc(r_0172_0031__valued,r_0172_0021__the_r_0172_0022__thing,arg1).
arc(r_0172_0031__valued,z_0172_5019___star_,arg0).
arc(r_0172_0033__or,r_0172_0029__was,conj1).
arc(r_0172_0033__or,r_0172_0034__was,conj2).
arc(r_0172_0034__was,r_0172_0036__stigmatized,scope).
arc(r_0172_0036__stigmatized,r_0172_0021__the_r_0172_0022__thing,arg1).
arc(r_0172_0036__stigmatized,r_0172_0035__actually,nim).
arc(r_0172_0036__stigmatized,z_0172_5024___star_,arg0).

fof(formula,axiom,
    ? [R_0172_0002__THE_R_0172_0003__CONSEQUENCE,R_0172_0006__MANY,R_0172_0007__HIGHLY,R_0172_0009__TALENTED,R_0172_0011__BRILLIANT,R_0172_0013__CREATIVE,R_0172_0014__PEOPLE,R_0172_0015__THINK,R_0172_0021__THE_R_0172_0022__THING,R_0172_0035__ACTUALLY,Z_0172_5024___STAR_,R_0172_0034__WAS_R_0172_0036__STIGMATIZED,R_0172_0033__OR,R_0172_0020__BECAUSE,R_0172_0004__IS,R_0172_0023__THEY,R_0172_0028__SCHOOL,R_0172_0025__GOOD,R_0172_0024__WERE] :
      ( r_0172_0002__the_r_0172_0003__consequence(R_0172_0002__THE_R_0172_0003__CONSEQUENCE)
      & r_0172_0006__many(R_0172_0006__MANY)
      & r_0172_0007__highly(R_0172_0007__HIGHLY)
      & r_0172_0011__brilliant(R_0172_0011__BRILLIANT)
      & r_0172_0013__creative(R_0172_0013__CREATIVE)
      & r_0172_0021__the_r_0172_0022__thing(R_0172_0021__THE_R_0172_0022__THING)
      & r_0172_0023__they(R_0172_0023__THEY)
      & r_0172_0028__school(R_0172_0028__SCHOOL)
      & r_0172_0035__actually(R_0172_0035__ACTUALLY)
      & z_0172_5024___star_(Z_0172_5024___STAR_)
      & r_0172_0024__were(R_0172_0024__WERE)
      & has_prd(R_0172_0024__WERE,R_0172_0025__GOOD)
      & r_0172_0025__good(R_0172_0025__GOOD)
      & has_r_0172_0027__at(R_0172_0025__GOOD,R_0172_0028__SCHOOL)
      & has_r_0172_0026__at__inv(R_0172_0025__GOOD,R_0172_0021__THE_R_0172_0022__THING)
      & has_arg0(R_0172_0024__WERE,R_0172_0023__THEY)
      & r_0172_0004__is(R_0172_0004__IS)
      & has_prd(R_0172_0004__IS,R_0172_0020__BECAUSE)
      & r_0172_0020__because(R_0172_0020__BECAUSE)
      & has_conj1(R_0172_0020__BECAUSE,R_0172_0033__OR)
      & r_0172_0033__or(R_0172_0033__OR)
      & has_conj2(R_0172_0033__OR,R_0172_0034__WAS_R_0172_0036__STIGMATIZED)
      & r_0172_0034__was_r_0172_0036__stigmatized(R_0172_0034__WAS_R_0172_0036__STIGMATIZED)
      & has_arg0(R_0172_0034__WAS_R_0172_0036__STIGMATIZED,Z_0172_5024___STAR_)
      & has_nim(R_0172_0034__WAS_R_0172_0036__STIGMATIZED,R_0172_0035__ACTUALLY)
      & has_arg1(R_0172_0034__WAS_R_0172_0036__STIGMATIZED,R_0172_0021__THE_R_0172_0022__THING)
      & has_conj1(R_0172_0033__OR,R_0172_0029__WAS_R_0172_0030__N_APOS_T)
      & ~ ? [Z_0172_5019___STAR_,R_0172_0031__VALUED] :
            ( z_0172_5019___star_(Z_0172_5019___STAR_)
            & r_0172_0031__valued(R_0172_0031__VALUED)
            & has_arg0(R_0172_0031__VALUED,Z_0172_5019___STAR_)
            & has_arg1(R_0172_0031__VALUED,R_0172_0021__THE_R_0172_0022__THING) )
      & has_conj2(R_0172_0020__BECAUSE,R_0172_0015__THINK)
      & r_0172_0015__think(R_0172_0015__THINK)
      & has_arg1(R_0172_0015__THINK,R_0172_0018__NOT)
      & ~ ? [R_0172_0016__THEY,R_0172_0017___APOS_RE] :
            ( r_0172_0016__they(R_0172_0016__THEY)
            & r_0172_0017___apos_re(R_0172_0017___APOS_RE)
            & has_arg0(R_0172_0017___APOS_RE,R_0172_0016__THEY) )
      & has_arg0(R_0172_0015__THINK,R_0172_0014__PEOPLE)
      & r_0172_0014__people(R_0172_0014__PEOPLE)
      & has_attrib(R_0172_0014__PEOPLE,R_0172_0013__CREATIVE)
      & has_attrib(R_0172_0014__PEOPLE,R_0172_0011__BRILLIANT)
      & has_attrib(R_0172_0014__PEOPLE,R_0172_0009__TALENTED)
      & r_0172_0009__talented(R_0172_0009__TALENTED)
      & has_qual(R_0172_0009__TALENTED,R_0172_0007__HIGHLY)
      & has_attrib(R_0172_0014__PEOPLE,R_0172_0006__MANY)
      & has_arg0(R_0172_0004__IS,R_0172_0002__THE_R_0172_0003__CONSEQUENCE) ) ).