TSPC 171_a_ted_talk

171_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.

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

arc(r_0171_0001__If,r_0171_0003__think_r_0171_0004__of,restriction).
arc(r_0171_0001__If,r_0171_0016__is,scope).
arc(r_0171_0003__think_r_0171_0004__of,r_0171_0002__you,arg0).
arc(r_0171_0003__think_r_0171_0004__of,r_0171_0005__it,arg1).
arc(r_0171_0007__the_r_0171_0009__system,r_0171_0008__whole,attrib).
arc(r_0171_0007__the_r_0171_0009__system,r_0171_0012__education,r_0171_0010__of).
arc(r_0171_0012__education,r_0171_0011__public,attrib).
arc(r_0171_0012__education,r_0171_0014__the_r_0171_0015__world,r_0171_0013__around).
arc(r_0171_0016__is,r_0171_0007__the_r_0171_0009__system,arg0).
arc(r_0171_0016__is,r_0171_0017__a_r_0171_0019__process,prd).
arc(r_0171_0017__a_r_0171_0019__process,r_0171_0018__protracted,attrib).
arc(r_0171_0017__a_r_0171_0019__process,r_0171_0021__university_r_0171_0022__entrance,r_0171_0020__of).

fof(formula,axiom,
    ! [R_0171_0003__THINK_R_0171_0004__OF,R_0171_0002__YOU,R_0171_0005__IT] :
      ( ( r_0171_0002__you(R_0171_0002__YOU)
        & r_0171_0005__it(R_0171_0005__IT)
        & r_0171_0003__think_r_0171_0004__of(R_0171_0003__THINK_R_0171_0004__OF)
        & has_arg1(R_0171_0003__THINK_R_0171_0004__OF,R_0171_0005__IT)
        & has_arg0(R_0171_0003__THINK_R_0171_0004__OF,R_0171_0002__YOU) )
     => ? [R_0171_0008__WHOLE,R_0171_0011__PUBLIC,R_0171_0014__THE_R_0171_0015__WORLD,R_0171_0012__EDUCATION,R_0171_0007__THE_R_0171_0009__SYSTEM,R_0171_0018__PROTRACTED,R_0171_0021__UNIVERSITY_R_0171_0022__ENTRANCE,R_0171_0017__A_R_0171_0019__PROCESS,R_0171_0016__IS] :
          ( r_0171_0008__whole(R_0171_0008__WHOLE)
          & r_0171_0011__public(R_0171_0011__PUBLIC)
          & r_0171_0014__the_r_0171_0015__world(R_0171_0014__THE_R_0171_0015__WORLD)
          & r_0171_0018__protracted(R_0171_0018__PROTRACTED)
          & r_0171_0021__university_r_0171_0022__entrance(R_0171_0021__UNIVERSITY_R_0171_0022__ENTRANCE)
          & r_0171_0016__is(R_0171_0016__IS)
          & has_prd(R_0171_0016__IS,R_0171_0017__A_R_0171_0019__PROCESS)
          & r_0171_0017__a_r_0171_0019__process(R_0171_0017__A_R_0171_0019__PROCESS)
          & has_r_0171_0020__of(R_0171_0017__A_R_0171_0019__PROCESS,R_0171_0021__UNIVERSITY_R_0171_0022__ENTRANCE)
          & has_attrib(R_0171_0017__A_R_0171_0019__PROCESS,R_0171_0018__PROTRACTED)
          & has_arg0(R_0171_0016__IS,R_0171_0007__THE_R_0171_0009__SYSTEM)
          & r_0171_0007__the_r_0171_0009__system(R_0171_0007__THE_R_0171_0009__SYSTEM)
          & has_r_0171_0010__of(R_0171_0007__THE_R_0171_0009__SYSTEM,R_0171_0012__EDUCATION)
          & r_0171_0012__education(R_0171_0012__EDUCATION)
          & has_r_0171_0013__around(R_0171_0012__EDUCATION,R_0171_0014__THE_R_0171_0015__WORLD)
          & has_attrib(R_0171_0012__EDUCATION,R_0171_0011__PUBLIC)
          & has_attrib(R_0171_0007__THE_R_0171_0009__SYSTEM,R_0171_0008__WHOLE) ) ) ).