143_a_ted_talk_11
I think you'd have to conclude the whole purpose of public education throughout the world is to produce university professors.
arc(r_0143_0002__think, r_0143_0001__I, arg0).
arc(r_0143_0002__think, r_0143_0004___apos_d, arg1).
arc(r_0143_0004___apos_d, r_0143_0005__have, scope).
arc(r_0143_0005__have, r_0143_0006__to_r_0143_0007__conclude, scope).
arc(r_0143_0006__to_r_0143_0007__conclude, r_0143_0003__you, arg0).
arc(r_0143_0006__to_r_0143_0007__conclude, r_0143_0017__is, arg1).
arc(r_0143_0008__the_r_0143_0010__purpose, r_0143_0009__whole, attrib27).
arc(r_0143_0008__the_r_0143_0010__purpose, r_0143_0013__education, r_0143_0011__of).
arc(r_0143_0008__the_r_0143_0010__purpose, r_0143_0015__the_r_0143_0016__world, r_0143_0014__throughout).
arc(r_0143_0013__education, r_0143_0012__public, attrib36).
arc(r_0143_0017__is, r_0143_0008__the_r_0143_0010__purpose, arg0).
arc(r_0143_0017__is, r_0143_0018__to_r_0143_0019__produce, prd).
arc(r_0143_0018__to_r_0143_0019__produce, r_0143_0020__university_r_0143_0021__professors, arg1).
arc(r_0143_0018__to_r_0143_0019__produce, x_000_143_a_ted_talk_11_51, arg0).
fof(formula,axiom,
? [R_0143_0001__I,R_0143_0003__YOU,R_0143_0009__WHOLE,R_0143_0012__PUBLIC,R_0143_0013__EDUCATION,R_0143_0015__THE_R_0143_0016__WORLD,R_0143_0008__THE_R_0143_0010__PURPOSE,R_0143_0020__UNIVERSITY_R_0143_0021__PROFESSORS,X_000_143_A_TED_TALK_11_51,R_0143_0018__TO_R_0143_0019__PRODUCE,R_0143_0017__IS,R_0143_0004___APOS_D_R_0143_0005__HAVE_R_0143_0006__TO_R_0143_0007__CONCLUDE,R_0143_0002__THINK] :
( r_0143_0001__I(R_0143_0001__I)
& r_0143_0003__you(R_0143_0003__YOU)
& r_0143_0009__whole(R_0143_0009__WHOLE)
& r_0143_0012__public(R_0143_0012__PUBLIC)
& r_0143_0015__the_r_0143_0016__world(R_0143_0015__THE_R_0143_0016__WORLD)
& r_0143_0020__university_r_0143_0021__professors(R_0143_0020__UNIVERSITY_R_0143_0021__PROFESSORS)
& x_000_143_a_ted_talk_11_51(X_000_143_A_TED_TALK_11_51)
& r_0143_0002__think(R_0143_0002__THINK)
& has_arg1(R_0143_0002__THINK,R_0143_0004___APOS_D_R_0143_0005__HAVE_R_0143_0006__TO_R_0143_0007__CONCLUDE)
& r_0143_0004___apos_d_r_0143_0005__have_r_0143_0006__to_r_0143_0007__conclude(R_0143_0004___APOS_D_R_0143_0005__HAVE_R_0143_0006__TO_R_0143_0007__CONCLUDE)
& has_arg1(R_0143_0004___APOS_D_R_0143_0005__HAVE_R_0143_0006__TO_R_0143_0007__CONCLUDE,R_0143_0017__IS)
& r_0143_0017__is(R_0143_0017__IS)
& has_prd(R_0143_0017__IS,R_0143_0018__TO_R_0143_0019__PRODUCE)
& r_0143_0018__to_r_0143_0019__produce(R_0143_0018__TO_R_0143_0019__PRODUCE)
& has_arg0(R_0143_0018__TO_R_0143_0019__PRODUCE,X_000_143_A_TED_TALK_11_51)
& has_arg1(R_0143_0018__TO_R_0143_0019__PRODUCE,R_0143_0020__UNIVERSITY_R_0143_0021__PROFESSORS)
& has_arg0(R_0143_0017__IS,R_0143_0008__THE_R_0143_0010__PURPOSE)
& r_0143_0008__the_r_0143_0010__purpose(R_0143_0008__THE_R_0143_0010__PURPOSE)
& has_r_0143_0014__throughout(R_0143_0008__THE_R_0143_0010__PURPOSE,R_0143_0015__THE_R_0143_0016__WORLD)
& has_r_0143_0011__of(R_0143_0008__THE_R_0143_0010__PURPOSE,R_0143_0013__EDUCATION)
& r_0143_0013__education(R_0143_0013__EDUCATION)
& has_attrib36(R_0143_0013__EDUCATION,R_0143_0012__PUBLIC)
& has_attrib27(R_0143_0008__THE_R_0143_0010__PURPOSE,R_0143_0009__WHOLE)
& has_arg0(R_0143_0004___APOS_D_R_0143_0005__HAVE_R_0143_0006__TO_R_0143_0007__CONCLUDE,R_0143_0003__YOU)
& has_arg0(R_0143_0002__THINK,R_0143_0001__I) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBP;_Tf_ think;{think})
(CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
(MD;_cat_Vi_ <apos>d;{will})
(IP-INF-CAT (HV;_cat_Vt_ have;{have})
(IP-INF-CAT (TO to;{to})
(VB;_Tf_ conclude;{conclude})
(CP-THT-OB1 (IP-SUB (NP-SBJ (D the;{the})
(ADJP (ADJ whole;{whole}))
(N purpose;{purpose})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ public;{public}))
(N education;{education})))
(PP (P-ROLE throughout;{throughout})
(NP (D the;{the})
(N world;{world}))))
(BEP;_equ_Vt_ is;{be})
(IP-INF-PRD (TO to;{to})
(VB;_Tn_ produce;{produce})
(NP-OB1 (N university;{university})
(NS professors;{professor})))))))))
(PUNC .))
(ID 143_a_ted_talk_11))