TSPC 250_a_ted_talk

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

( (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 250_a_ted_talk_11))

arc(r_0250_0002__education_r_0250_0003__system,r_0250_0001__Our,gen).
arc(r_0250_0004__has,r_0250_0005__mined,scope).
arc(r_0250_0005__mined,r_0250_0002__education_r_0250_0003__system,arg0).
arc(r_0250_0005__mined,r_0250_0007__minds,arg1).
arc(r_0250_0005__mined,r_0250_0009__the_r_0250_0010__way,r_0250_0008__in__nim).
arc(r_0250_0005__mined,r_0250_0018__a_r_0250_0020__commodity,r_0250_0017__for__nim).
arc(r_0250_0007__minds,r_0250_0001__Our,gen).
arc(r_0250_0013__strip__hyphen__mine,r_0250_0001__Our,arg0).
arc(r_0250_0013__strip__hyphen__mine,r_0250_0009__the_r_0250_0010__way,inv_nim).
arc(r_0250_0013__strip__hyphen__mine,r_0250_0014__the_r_0250_0015__earth,arg1).
arc(r_0250_0018__a_r_0250_0020__commodity,r_0250_0019__particular,attrib).

fof(formula,axiom,
    ? [R_0250_0001__OUR,R_0250_0002__EDUCATION_R_0250_0003__SYSTEM,R_0250_0007__MINDS,R_0250_0014__THE_R_0250_0015__EARTH,R_0250_0013__STRIP__HYPHEN__MINE,R_0250_0009__THE_R_0250_0010__WAY,R_0250_0019__PARTICULAR,R_0250_0018__A_R_0250_0020__COMMODITY,R_0250_0004__HAS_R_0250_0005__MINED] :
      ( r_0250_0001__Our(R_0250_0001__OUR)
      & r_0250_0014__the_r_0250_0015__earth(R_0250_0014__THE_R_0250_0015__EARTH)
      & r_0250_0019__particular(R_0250_0019__PARTICULAR)
      & r_0250_0004__has_r_0250_0005__mined(R_0250_0004__HAS_R_0250_0005__MINED)
      & has_r_0250_0017__for__nim(R_0250_0004__HAS_R_0250_0005__MINED,R_0250_0018__A_R_0250_0020__COMMODITY)
      & r_0250_0018__a_r_0250_0020__commodity(R_0250_0018__A_R_0250_0020__COMMODITY)
      & has_attrib(R_0250_0018__A_R_0250_0020__COMMODITY,R_0250_0019__PARTICULAR)
      & has_r_0250_0008__in__nim(R_0250_0004__HAS_R_0250_0005__MINED,R_0250_0009__THE_R_0250_0010__WAY)
      & r_0250_0009__the_r_0250_0010__way(R_0250_0009__THE_R_0250_0010__WAY)
      & has_inv_nim(R_0250_0009__THE_R_0250_0010__WAY,R_0250_0013__STRIP__HYPHEN__MINE)
      & r_0250_0013__strip__hyphen__mine(R_0250_0013__STRIP__HYPHEN__MINE)
      & has_arg1(R_0250_0013__STRIP__HYPHEN__MINE,R_0250_0014__THE_R_0250_0015__EARTH)
      & has_arg0(R_0250_0013__STRIP__HYPHEN__MINE,R_0250_0001__OUR)
      & has_arg1(R_0250_0004__HAS_R_0250_0005__MINED,R_0250_0007__MINDS)
      & r_0250_0007__minds(R_0250_0007__MINDS)
      & has_gen(R_0250_0007__MINDS,R_0250_0001__OUR)
      & has_arg0(R_0250_0004__HAS_R_0250_0005__MINED,R_0250_0002__EDUCATION_R_0250_0003__SYSTEM)
      & r_0250_0002__education_r_0250_0003__system(R_0250_0002__EDUCATION_R_0250_0003__SYSTEM)
      & has_gen(R_0250_0002__EDUCATION_R_0250_0003__SYSTEM,R_0250_0001__OUR) ) ).