TSPC 172_a_ted_talk

172_a_ted_talk_11
If you think of it, the whole system of public education around the world is a protracted process of university entrance.

arc(r_0172_0001__If, r_0172_0003__think, restriction).
arc(r_0172_0001__If, r_0172_0016__is, scope).
arc(r_0172_0003__think, r_0172_0002__you, arg0).
arc(r_0172_0003__think, r_0172_0005__it, r_0172_0004__of_clr14).
arc(r_0172_0007__the_r_0172_0009__system, r_0172_0008__whole, attrib22).
arc(r_0172_0007__the_r_0172_0009__system, r_0172_0012__education, r_0172_0010__of).
arc(r_0172_0012__education, r_0172_0011__public, attrib31).
arc(r_0172_0012__education, r_0172_0014__the_r_0172_0015__world, r_0172_0013__around).
arc(r_0172_0016__is, r_0172_0007__the_r_0172_0009__system, arg0).
arc(r_0172_0016__is, r_0172_0017__a_r_0172_0019__process, prd).
arc(r_0172_0017__a_r_0172_0019__process, r_0172_0018__protracted, attrib49).
arc(r_0172_0017__a_r_0172_0019__process, r_0172_0021__university_r_0172_0022__entrance, r_0172_0020__of).

fof(formula,axiom,
    ! [R_0172_0003__THINK,R_0172_0002__YOU,R_0172_0005__IT] :
      ( ( r_0172_0002__you(R_0172_0002__YOU)
        & r_0172_0005__it(R_0172_0005__IT)
        & r_0172_0003__think(R_0172_0003__THINK)
        & has_r_0172_0004__of_clr14(R_0172_0003__THINK,R_0172_0005__IT)
        & has_arg0(R_0172_0003__THINK,R_0172_0002__YOU) )
     => ? [R_0172_0008__WHOLE,R_0172_0011__PUBLIC,R_0172_0014__THE_R_0172_0015__WORLD,R_0172_0012__EDUCATION,R_0172_0007__THE_R_0172_0009__SYSTEM,R_0172_0018__PROTRACTED,R_0172_0021__UNIVERSITY_R_0172_0022__ENTRANCE,R_0172_0017__A_R_0172_0019__PROCESS,R_0172_0016__IS] :
          ( r_0172_0008__whole(R_0172_0008__WHOLE)
          & r_0172_0011__public(R_0172_0011__PUBLIC)
          & r_0172_0014__the_r_0172_0015__world(R_0172_0014__THE_R_0172_0015__WORLD)
          & r_0172_0018__protracted(R_0172_0018__PROTRACTED)
          & r_0172_0021__university_r_0172_0022__entrance(R_0172_0021__UNIVERSITY_R_0172_0022__ENTRANCE)
          & r_0172_0016__is(R_0172_0016__IS)
          & has_prd(R_0172_0016__IS,R_0172_0017__A_R_0172_0019__PROCESS)
          & r_0172_0017__a_r_0172_0019__process(R_0172_0017__A_R_0172_0019__PROCESS)
          & has_r_0172_0020__of(R_0172_0017__A_R_0172_0019__PROCESS,R_0172_0021__UNIVERSITY_R_0172_0022__ENTRANCE)
          & has_attrib49(R_0172_0017__A_R_0172_0019__PROCESS,R_0172_0018__PROTRACTED)
          & has_arg0(R_0172_0016__IS,R_0172_0007__THE_R_0172_0009__SYSTEM)
          & r_0172_0007__the_r_0172_0009__system(R_0172_0007__THE_R_0172_0009__SYSTEM)
          & has_r_0172_0010__of(R_0172_0007__THE_R_0172_0009__SYSTEM,R_0172_0012__EDUCATION)
          & r_0172_0012__education(R_0172_0012__EDUCATION)
          & has_r_0172_0013__around(R_0172_0012__EDUCATION,R_0172_0014__THE_R_0172_0015__WORLD)
          & has_attrib31(R_0172_0012__EDUCATION,R_0172_0011__PUBLIC)
          & has_attrib22(R_0172_0007__THE_R_0172_0009__SYSTEM,R_0172_0008__WHOLE) ) ) ).

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Ipr_ think;{think[of]})
                           (PP-CLR (P-ROLE of;{of})
                                   (NP (PRO it;{it})))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ whole;{whole}))
                  (N system;{system})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ public;{public}))
                          (N education;{education})
                          (PP (P-ROLE around;{around})
                              (NP (D the;{the})
                                  (N world;{world}))))))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ protracted;{protracted}))
                  (N process;{process})
                  (PP (P-ROLE of;{of})
                      (NP (N university;{university})
                          (N entrance;{entrance}))))
          (PUNC .))
  (ID 172_a_ted_talk_11))