Context                Previous, Next                Top


251_a_ted_talk_11
Our education system has mined our minds in the way that we strip-mine the earth: for a particular commodity.

%3 r_0251_0002__education_r_0251_0003__system education system r_0251_0001__Our Our r_0251_0002__education_r_0251_0003__system->r_0251_0001__Our [gen] r_0251_0004__has has r_0251_0005__mined mined r_0251_0004__has->r_0251_0005__mined [scope] r_0251_0005__mined->r_0251_0002__education_r_0251_0003__system [arg0] r_0251_0007__minds minds r_0251_0005__mined->r_0251_0007__minds [arg1] r_0251_0009__the_r_0251_0010__way the way r_0251_0005__mined->r_0251_0009__the_r_0251_0010__way in [nim] r_0251_0018__a_r_0251_0020__commodity a commodity r_0251_0005__mined->r_0251_0018__a_r_0251_0020__commodity for [nim] r_0251_0007__minds->r_0251_0001__Our [gen] r_0251_0019__particular particular r_0251_0018__a_r_0251_0020__commodity->r_0251_0019__particular [attrib] r_0251_0011__that_r_0251_0013__strip__hyphen__mine that strip-mine r_0251_0011__that_r_0251_0013__strip__hyphen__mine->r_0251_0001__Our [arg0] r_0251_0011__that_r_0251_0013__strip__hyphen__mine->r_0251_0009__the_r_0251_0010__way [nim] r_0251_0014__the_r_0251_0015__earth the earth r_0251_0011__that_r_0251_0013__strip__hyphen__mine->r_0251_0014__the_r_0251_0015__earth [arg1] 
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).


%3 r_0251_0018__a_r_0251_0020__commodity a commodity r_0251_0019__particular particular r_0251_0018__a_r_0251_0020__commodity->r_0251_0019__particular [attrib] r_0251_0011__that_r_0251_0013__strip__hyphen__mine that strip-mine r_0251_0014__the_r_0251_0015__earth the earth r_0251_0011__that_r_0251_0013__strip__hyphen__mine->r_0251_0014__the_r_0251_0015__earth [arg1] r_0251_0009__the_r_0251_0010__way the way r_0251_0011__that_r_0251_0013__strip__hyphen__mine->r_0251_0009__the_r_0251_0010__way [nim] r_0251_0001__Our Our r_0251_0011__that_r_0251_0013__strip__hyphen__mine->r_0251_0001__Our [arg0] r_0251_0007__minds minds r_0251_0007__minds->r_0251_0001__Our [gen] r_0251_0004__has_r_0251_0005__mined has mined r_0251_0004__has_r_0251_0005__mined->r_0251_0018__a_r_0251_0020__commodity for [nim] r_0251_0004__has_r_0251_0005__mined->r_0251_0009__the_r_0251_0010__way in [nim] r_0251_0004__has_r_0251_0005__mined->r_0251_0007__minds [arg1] r_0251_0002__education_r_0251_0003__system education system r_0251_0004__has_r_0251_0005__mined->r_0251_0002__education_r_0251_0003__system [arg0] r_0251_0002__education_r_0251_0003__system->r_0251_0001__Our [gen] 
fof(formula,axiom,
    ? [R_251_4_HAS_MINED,R_251_2_EDUCATION_SYSTEM,R_251_7_MINDS,R_251_18_A_COMMODITY,R_251_19_PARTICULAR,R_251_11_THAT_STRIP_HYPHEN_MINE,R_251_1_OUR,R_251_14_THE_EARTH,R_251_9_THE_WAY] :
      ( particular(R_251_19_PARTICULAR)
      & our(R_251_1_OUR)
      & the_earth(R_251_14_THE_EARTH)
      & the_way(R_251_9_THE_WAY)
      & has_mined(R_251_4_HAS_MINED,R_251_2_EDUCATION_SYSTEM,R_251_7_MINDS)
      & education_system(R_251_2_EDUCATION_SYSTEM)
      & gen(R_251_2_EDUCATION_SYSTEM,R_251_1_OUR)
      & minds(R_251_7_MINDS)
      & gen(R_251_7_MINDS,R_251_1_OUR)
      & in_nim24(R_251_4_HAS_MINED,R_251_9_THE_WAY)
      & for_nim49(R_251_4_HAS_MINED,R_251_18_A_COMMODITY)
      & a_commodity(R_251_18_A_COMMODITY)
      & attrib52(R_251_18_A_COMMODITY,R_251_19_PARTICULAR)
      & that_strip_hyphen_mine(R_251_11_THAT_STRIP_HYPHEN_MINE,R_251_1_OUR,R_251_14_THE_EARTH)
      & nim32(R_251_11_THAT_STRIP_HYPHEN_MINE,R_251_9_THE_WAY) ) ).


n251_a_ted_talk_11 n251_a_ted_talk_11__1_1_1_1_1 Our n251_a_ted_talk_11__1_1_2_1 education n251_a_ted_talk_11__1_1_3_1 system n251_a_ted_talk_11__1_2_1 has n251_a_ted_talk_11__1_3_1_1 mined n251_a_ted_talk_11__1_3_2_1_1_1 our n251_a_ted_talk_11__1_3_2_2_1 minds n251_a_ted_talk_11__1_3_3_1_1 in n251_a_ted_talk_11__1_3_3_2_1_1 the n251_a_ted_talk_11__1_3_3_2_2_1 way n251_a_ted_talk_11__1_3_3_2_3_1_1 that n251_a_ted_talk_11__1_3_3_2_3_2_1 *T* n251_a_ted_talk_11__1_3_3_2_3_3_1_1 we n251_a_ted_talk_11__1_3_3_2_3_4_1 strip-mine n251_a_ted_talk_11__1_3_3_2_3_5_1_1 the n251_a_ted_talk_11__1_3_3_2_3_5_2_1 earth n251_a_ted_talk_11__1_3_4_1 : n251_a_ted_talk_11__1_3_5_1_1 for n251_a_ted_talk_11__1_3_5_2_1_1 a n251_a_ted_talk_11__1_3_5_2_2_1_1 particular n251_a_ted_talk_11__1_3_5_2_3_1 commodity n251_a_ted_talk_11__1_4_1 . n251_a_ted_talk_11__1 IP-MAT n251_a_ted_talk_11__1_1 NP-SBJ n251_a_ted_talk_11__1->n251_a_ted_talk_11__1_1 n251_a_ted_talk_11__1_2 HVP;_cat_Ve_ n251_a_ted_talk_11__1->n251_a_ted_talk_11__1_2 n251_a_ted_talk_11__1_3 IP-PPL-CAT n251_a_ted_talk_11__1->n251_a_ted_talk_11__1_3 n251_a_ted_talk_11__1_4 PUNC n251_a_ted_talk_11__1->n251_a_ted_talk_11__1_4 n251_a_ted_talk_11__1_1_1 NP-GEN n251_a_ted_talk_11__1_1->n251_a_ted_talk_11__1_1_1 n251_a_ted_talk_11__1_1_2 N n251_a_ted_talk_11__1_1->n251_a_ted_talk_11__1_1_2 n251_a_ted_talk_11__1_1_3 N n251_a_ted_talk_11__1_1->n251_a_ted_talk_11__1_1_3 n251_a_ted_talk_11__1_1_1_1 PRO;_genm_ n251_a_ted_talk_11__1_1_1->n251_a_ted_talk_11__1_1_1_1 n251_a_ted_talk_11__1_1_1_1->n251_a_ted_talk_11__1_1_1_1_1 n251_a_ted_talk_11__1_1_2->n251_a_ted_talk_11__1_1_2_1 n251_a_ted_talk_11__1_1_3->n251_a_ted_talk_11__1_1_3_1 n251_a_ted_talk_11__1_2->n251_a_ted_talk_11__1_2_1 n251_a_ted_talk_11__1_3_1 VVN;__ n251_a_ted_talk_11__1_3->n251_a_ted_talk_11__1_3_1 n251_a_ted_talk_11__1_3_2 NP-OB1 n251_a_ted_talk_11__1_3->n251_a_ted_talk_11__1_3_2 n251_a_ted_talk_11__1_3_3 PP-NIM n251_a_ted_talk_11__1_3->n251_a_ted_talk_11__1_3_3 n251_a_ted_talk_11__1_3_4 PUNC n251_a_ted_talk_11__1_3->n251_a_ted_talk_11__1_3_4 n251_a_ted_talk_11__1_3_5 PP-NIM n251_a_ted_talk_11__1_3->n251_a_ted_talk_11__1_3_5 n251_a_ted_talk_11__1_3_1->n251_a_ted_talk_11__1_3_1_1 n251_a_ted_talk_11__1_3_2_1 NP-GEN n251_a_ted_talk_11__1_3_2->n251_a_ted_talk_11__1_3_2_1 n251_a_ted_talk_11__1_3_2_2 NS n251_a_ted_talk_11__1_3_2->n251_a_ted_talk_11__1_3_2_2 n251_a_ted_talk_11__1_3_2_1_1 PRO;_genm_ n251_a_ted_talk_11__1_3_2_1->n251_a_ted_talk_11__1_3_2_1_1 n251_a_ted_talk_11__1_3_2_1_1->n251_a_ted_talk_11__1_3_2_1_1_1 n251_a_ted_talk_11__1_3_2_2->n251_a_ted_talk_11__1_3_2_2_1 n251_a_ted_talk_11__1_3_3_1 P-ROLE n251_a_ted_talk_11__1_3_3->n251_a_ted_talk_11__1_3_3_1 n251_a_ted_talk_11__1_3_3_2 NP n251_a_ted_talk_11__1_3_3->n251_a_ted_talk_11__1_3_3_2 n251_a_ted_talk_11__1_3_3_1->n251_a_ted_talk_11__1_3_3_1_1 n251_a_ted_talk_11__1_3_3_2_1 D n251_a_ted_talk_11__1_3_3_2->n251_a_ted_talk_11__1_3_3_2_1 n251_a_ted_talk_11__1_3_3_2_2 N n251_a_ted_talk_11__1_3_3_2->n251_a_ted_talk_11__1_3_3_2_2 n251_a_ted_talk_11__1_3_3_2_3 IP-REL n251_a_ted_talk_11__1_3_3_2->n251_a_ted_talk_11__1_3_3_2_3 n251_a_ted_talk_11__1_3_3_2_1->n251_a_ted_talk_11__1_3_3_2_1_1 n251_a_ted_talk_11__1_3_3_2_2->n251_a_ted_talk_11__1_3_3_2_2_1 n251_a_ted_talk_11__1_3_3_2_3_1 C n251_a_ted_talk_11__1_3_3_2_3->n251_a_ted_talk_11__1_3_3_2_3_1 n251_a_ted_talk_11__1_3_3_2_3_2 NP-NIM n251_a_ted_talk_11__1_3_3_2_3->n251_a_ted_talk_11__1_3_3_2_3_2 n251_a_ted_talk_11__1_3_3_2_3_3 NP-SBJ n251_a_ted_talk_11__1_3_3_2_3->n251_a_ted_talk_11__1_3_3_2_3_3 n251_a_ted_talk_11__1_3_3_2_3_4 VBD;__ n251_a_ted_talk_11__1_3_3_2_3->n251_a_ted_talk_11__1_3_3_2_3_4 n251_a_ted_talk_11__1_3_3_2_3_5 NP-OB1 n251_a_ted_talk_11__1_3_3_2_3->n251_a_ted_talk_11__1_3_3_2_3_5 n251_a_ted_talk_11__1_3_3_2_3_1->n251_a_ted_talk_11__1_3_3_2_3_1_1 n251_a_ted_talk_11__1_3_3_2_3_2->n251_a_ted_talk_11__1_3_3_2_3_2_1 n251_a_ted_talk_11__1_3_3_2_3_3_1 PRO n251_a_ted_talk_11__1_3_3_2_3_3->n251_a_ted_talk_11__1_3_3_2_3_3_1 n251_a_ted_talk_11__1_3_3_2_3_3_1->n251_a_ted_talk_11__1_3_3_2_3_3_1_1 n251_a_ted_talk_11__1_3_3_2_3_4->n251_a_ted_talk_11__1_3_3_2_3_4_1 n251_a_ted_talk_11__1_3_3_2_3_5_1 D n251_a_ted_talk_11__1_3_3_2_3_5->n251_a_ted_talk_11__1_3_3_2_3_5_1 n251_a_ted_talk_11__1_3_3_2_3_5_2 N n251_a_ted_talk_11__1_3_3_2_3_5->n251_a_ted_talk_11__1_3_3_2_3_5_2 n251_a_ted_talk_11__1_3_3_2_3_5_1->n251_a_ted_talk_11__1_3_3_2_3_5_1_1 n251_a_ted_talk_11__1_3_3_2_3_5_2->n251_a_ted_talk_11__1_3_3_2_3_5_2_1 n251_a_ted_talk_11__1_3_4->n251_a_ted_talk_11__1_3_4_1 n251_a_ted_talk_11__1_3_5_1 P-ROLE n251_a_ted_talk_11__1_3_5->n251_a_ted_talk_11__1_3_5_1 n251_a_ted_talk_11__1_3_5_2 NP n251_a_ted_talk_11__1_3_5->n251_a_ted_talk_11__1_3_5_2 n251_a_ted_talk_11__1_3_5_1->n251_a_ted_talk_11__1_3_5_1_1 n251_a_ted_talk_11__1_3_5_2_1 D n251_a_ted_talk_11__1_3_5_2->n251_a_ted_talk_11__1_3_5_2_1 n251_a_ted_talk_11__1_3_5_2_2 ADJP n251_a_ted_talk_11__1_3_5_2->n251_a_ted_talk_11__1_3_5_2_2 n251_a_ted_talk_11__1_3_5_2_3 N n251_a_ted_talk_11__1_3_5_2->n251_a_ted_talk_11__1_3_5_2_3 n251_a_ted_talk_11__1_3_5_2_1->n251_a_ted_talk_11__1_3_5_2_1_1 n251_a_ted_talk_11__1_3_5_2_2_1 ADJ n251_a_ted_talk_11__1_3_5_2_2->n251_a_ted_talk_11__1_3_5_2_2_1 n251_a_ted_talk_11__1_3_5_2_2_1->n251_a_ted_talk_11__1_3_5_2_2_1_1 n251_a_ted_talk_11__1_3_5_2_3->n251_a_ted_talk_11__1_3_5_2_3_1 n251_a_ted_talk_11__1_4->n251_a_ted_talk_11__1_4_1 
( (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))