arc(r_0171_0001__And_r_0171_0004__is, r_0171_0002__the_r_0171_0003__second, arg0).
arc(r_0171_0001__And_r_0171_0004__is, r_0171_0006__ability, prd).
arc(r_0171_0006__ability, r_0171_0005__academic, attrib12).
arc(r_0171_0009__has, r_0171_0011__come, scope).
arc(r_0171_0011__come, r_0171_0010__really, nim26).
arc(r_0171_0011__come, r_0171_0012__to_r_0171_0013__dominate, scope).
arc(r_0171_0012__to_r_0171_0013__dominate, r_0171_0006__ability, arg0).
arc(r_0171_0012__to_r_0171_0013__dominate, r_0171_0015__view, arg1).
arc(r_0171_0015__view, r_0171_0014__our, gen).
arc(r_0171_0015__view, r_0171_0017__intelligence, r_0171_0016__of).
arc(r_0171_0019__because, r_0171_0009__has, scope).
arc(r_0171_0019__because, r_0171_0022__designed, restriction).
arc(r_0171_0022__designed, r_0171_0020__the_r_0171_0021__universities, arg0).
arc(r_0171_0022__designed, r_0171_0023__the_r_0171_0024__system, arg1).
arc(r_0171_0022__designed, r_0171_0027__image, r_0171_0025__in_nim69).
arc(r_0171_0027__image, r_0171_0002__the_r_0171_0003__second, gen).

fof(formula,axiom,
    ? [R_0171_0002__THE_R_0171_0003__SECOND,R_0171_0005__ACADEMIC,R_0171_0006__ABILITY,R_0171_0001__AND_R_0171_0004__IS,R_0171_0010__REALLY,R_0171_0014__OUR,R_0171_0017__INTELLIGENCE,R_0171_0015__VIEW,R_0171_0009__HAS_R_0171_0011__COME_R_0171_0012__TO_R_0171_0013__DOMINATE,R_0171_0020__THE_R_0171_0021__UNIVERSITIES,R_0171_0023__THE_R_0171_0024__SYSTEM,R_0171_0027__IMAGE,R_0171_0022__DESIGNED,R_0171_0019__BECAUSE] :
      ( r_0171_0002__the_r_0171_0003__second(R_0171_0002__THE_R_0171_0003__SECOND)
      & r_0171_0005__academic(R_0171_0005__ACADEMIC)
      & r_0171_0010__really(R_0171_0010__REALLY)
      & r_0171_0014__our(R_0171_0014__OUR)
      & r_0171_0017__intelligence(R_0171_0017__INTELLIGENCE)
      & r_0171_0020__the_r_0171_0021__universities(R_0171_0020__THE_R_0171_0021__UNIVERSITIES)
      & r_0171_0023__the_r_0171_0024__system(R_0171_0023__THE_R_0171_0024__SYSTEM)
      & r_0171_0019__because(R_0171_0019__BECAUSE)
      & has_conj1(R_0171_0019__BECAUSE,R_0171_0022__DESIGNED)
      & r_0171_0022__designed(R_0171_0022__DESIGNED)
      & has_r_0171_0025__in_nim69(R_0171_0022__DESIGNED,R_0171_0027__IMAGE)
      & r_0171_0027__image(R_0171_0027__IMAGE)
      & has_gen(R_0171_0027__IMAGE,R_0171_0002__THE_R_0171_0003__SECOND)
      & has_arg1(R_0171_0022__DESIGNED,R_0171_0023__THE_R_0171_0024__SYSTEM)
      & has_arg0(R_0171_0022__DESIGNED,R_0171_0020__THE_R_0171_0021__UNIVERSITIES)
      & has_conj2(R_0171_0019__BECAUSE,R_0171_0009__HAS_R_0171_0011__COME_R_0171_0012__TO_R_0171_0013__DOMINATE)
      & r_0171_0009__has_r_0171_0011__come_r_0171_0012__to_r_0171_0013__dominate(R_0171_0009__HAS_R_0171_0011__COME_R_0171_0012__TO_R_0171_0013__DOMINATE)
      & has_arg1(R_0171_0009__HAS_R_0171_0011__COME_R_0171_0012__TO_R_0171_0013__DOMINATE,R_0171_0015__VIEW)
      & r_0171_0015__view(R_0171_0015__VIEW)
      & has_r_0171_0016__of(R_0171_0015__VIEW,R_0171_0017__INTELLIGENCE)
      & has_gen(R_0171_0015__VIEW,R_0171_0014__OUR)
      & has_arg0(R_0171_0009__HAS_R_0171_0011__COME_R_0171_0012__TO_R_0171_0013__DOMINATE,R_0171_0006__ABILITY)
      & r_0171_0006__ability(R_0171_0006__ABILITY)
      & has_attrib12(R_0171_0006__ABILITY,R_0171_0005__ACADEMIC)
      & has_nim26(R_0171_0009__HAS_R_0171_0011__COME_R_0171_0012__TO_R_0171_0013__DOMINATE,R_0171_0010__REALLY)
      & r_0171_0001__And_r_0171_0004__is(R_0171_0001__AND_R_0171_0004__IS)
      & has_prd(R_0171_0001__AND_R_0171_0004__IS,R_0171_0006__ABILITY)
      & has_arg0(R_0171_0001__AND_R_0171_0004__IS,R_0171_0002__THE_R_0171_0003__SECOND) ) ).

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (D the;{the})
                  (N second;{second}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (ADJP (ADJ academic;{academic}))
                  (N ability;{ability})
                  (PUNC ,)
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (HVP;_cat_Ve_ has;{have})
                          (IP-PPL-CAT (ADVP-NIM (ADV really;{really}))
                                      (VVN;_cat_Vt_ come;{come})
                                      (IP-INF-CAT (TO to;{to})
                                                  (VB;_Tn_ dominate;{dominate})
                                                  (NP-OB1 (NP-GEN (PRO;_genm_ our;{our}))
                                                          (N view;{view})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (N intelligence;{intelligence}))))))
                          (PUNC ,)
                          (PP-SCON (P-CONN because;{because})
                                   (IP-ADV (NP-SBJ (D the;{the})
                                                   (NS universities;{university}))
                                           (VBD;_Tn_ designed;{design})
                                           (NP-OB1 (D the;{the})
                                                   (N system;{system}))
                                           (PP-NIM (P-ROLE in;{in})
                                                   (NP (NP-GEN (PRO;_genm_ their;{their}))
                                                       (N image;{image})))))))
          (PUNC .))
  (ID 171_a_ted_talk_11))