arc(r_0251_0002__education_r_0251_0003__system, r_0251_0001__Our, gen).
arc(r_0251_0004__has, r_0251_0005__mined, scope).
arc(r_0251_0005__mined, r_0251_0002__education_r_0251_0003__system, arg0).
arc(r_0251_0005__mined, r_0251_0007__minds, arg1).
arc(r_0251_0005__mined, r_0251_0009__the_r_0251_0010__way, r_0251_0008__in_nim24).
arc(r_0251_0005__mined, r_0251_0018__a_r_0251_0020__commodity, r_0251_0017__for_nim49).
arc(r_0251_0007__minds, r_0251_0001__Our, gen).
arc(r_0251_0011__that_r_0251_0013__strip__hyphen__mine, r_0251_0001__Our, arg0).
arc(r_0251_0011__that_r_0251_0013__strip__hyphen__mine, r_0251_0009__the_r_0251_0010__way, nim32).
arc(r_0251_0011__that_r_0251_0013__strip__hyphen__mine, r_0251_0014__the_r_0251_0015__earth, arg1).
arc(r_0251_0018__a_r_0251_0020__commodity, r_0251_0019__particular, attrib52).

fof(formula,axiom,
    ? [R_0251_0001__OUR,R_0251_0002__EDUCATION_R_0251_0003__SYSTEM,R_0251_0007__MINDS,R_0251_0009__THE_R_0251_0010__WAY,R_0251_0019__PARTICULAR,R_0251_0018__A_R_0251_0020__COMMODITY,R_0251_0004__HAS_R_0251_0005__MINED,R_0251_0014__THE_R_0251_0015__EARTH,R_0251_0011__THAT_R_0251_0013__STRIP__HYPHEN__MINE] :
      ( r_0251_0001__Our(R_0251_0001__OUR)
      & r_0251_0009__the_r_0251_0010__way(R_0251_0009__THE_R_0251_0010__WAY)
      & r_0251_0014__the_r_0251_0015__earth(R_0251_0014__THE_R_0251_0015__EARTH)
      & r_0251_0019__particular(R_0251_0019__PARTICULAR)
      & r_0251_0011__that_r_0251_0013__strip__hyphen__mine(R_0251_0011__THAT_R_0251_0013__STRIP__HYPHEN__MINE)
      & has_arg1(R_0251_0011__THAT_R_0251_0013__STRIP__HYPHEN__MINE,R_0251_0014__THE_R_0251_0015__EARTH)
      & has_nim32(R_0251_0011__THAT_R_0251_0013__STRIP__HYPHEN__MINE,R_0251_0009__THE_R_0251_0010__WAY)
      & has_arg0(R_0251_0011__THAT_R_0251_0013__STRIP__HYPHEN__MINE,R_0251_0001__OUR)
      & r_0251_0004__has_r_0251_0005__mined(R_0251_0004__HAS_R_0251_0005__MINED)
      & has_r_0251_0017__for_nim49(R_0251_0004__HAS_R_0251_0005__MINED,R_0251_0018__A_R_0251_0020__COMMODITY)
      & r_0251_0018__a_r_0251_0020__commodity(R_0251_0018__A_R_0251_0020__COMMODITY)
      & has_attrib52(R_0251_0018__A_R_0251_0020__COMMODITY,R_0251_0019__PARTICULAR)
      & has_r_0251_0008__in_nim24(R_0251_0004__HAS_R_0251_0005__MINED,R_0251_0009__THE_R_0251_0010__WAY)
      & has_arg1(R_0251_0004__HAS_R_0251_0005__MINED,R_0251_0007__MINDS)
      & r_0251_0007__minds(R_0251_0007__MINDS)
      & has_gen(R_0251_0007__MINDS,R_0251_0001__OUR)
      & has_arg0(R_0251_0004__HAS_R_0251_0005__MINED,R_0251_0002__EDUCATION_R_0251_0003__SYSTEM)
      & r_0251_0002__education_r_0251_0003__system(R_0251_0002__EDUCATION_R_0251_0003__SYSTEM)
      & has_gen(R_0251_0002__EDUCATION_R_0251_0003__SYSTEM,R_0251_0001__OUR) ) ).

( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ Our;{our}))
                  (N education;{education})
                  (N system;{system}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;__ mined;{mine})
                      (NP-OB1 (NP-GEN (PRO;_genm_ our;{our}))
                              (NS minds;{mind}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N way;{way})
                                  (IP-REL (C that;{that})
                                          (NP-NIM *T*)
                                          (NP-SBJ (PRO we;{we}))
                                          (VBD;__ strip_<hyphen>_mine;{strip_mine})
                                          (NP-OB1 (D the;{the})
                                                  (N earth;{earth})))))
                      (PUNC :)
                      (PP-NIM (P-ROLE for;{for})
                              (NP (D a;{a})
                                  (ADJP (ADJ particular;{particular}))
                                  (N commodity;{commodity}))))
          (PUNC .))
  (ID 251_a_ted_talk_11))