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_172_3_THINK,R_172_2_YOU,R_172_5_IT] :
( ( you(R_172_2_YOU)
& it(R_172_5_IT)
& think(R_172_3_THINK,R_172_2_YOU)
& of_clr14(R_172_3_THINK,R_172_5_IT) )
=> ? [R_172_16_IS,R_172_7_THE_SYSTEM,R_172_8_WHOLE,R_172_12_EDUCATION,R_172_11_PUBLIC,R_172_14_THE_WORLD,R_172_17_A_PROCESS,R_172_18_PROTRACTED,R_172_21_UNIVERSITY_ENTRANCE] :
( whole(R_172_8_WHOLE)
& public(R_172_11_PUBLIC)
& the_world(R_172_14_THE_WORLD)
& protracted(R_172_18_PROTRACTED)
& university_entrance(R_172_21_UNIVERSITY_ENTRANCE)
& is(R_172_16_IS,R_172_7_THE_SYSTEM,R_172_17_A_PROCESS)
& the_system(R_172_7_THE_SYSTEM)
& attrib22(R_172_7_THE_SYSTEM,R_172_8_WHOLE)
& of(R_172_7_THE_SYSTEM,R_172_12_EDUCATION)
& education(R_172_12_EDUCATION)
& attrib31(R_172_12_EDUCATION,R_172_11_PUBLIC)
& around(R_172_12_EDUCATION,R_172_14_THE_WORLD)
& a_process(R_172_17_A_PROCESS)
& attrib49(R_172_17_A_PROCESS,R_172_18_PROTRACTED)
& of(R_172_17_A_PROCESS,R_172_21_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 172_a_ted_talk_11))