142_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.
( (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 142_a_ted_talk_11))
arc(r_0142_0002__think,r_0142_0001__I,arg0).
arc(r_0142_0002__think,r_0142_0004___apos_d,arg1).
arc(r_0142_0004___apos_d,r_0142_0005__have,scope).
arc(r_0142_0005__have,r_0142_0007__conclude,scope).
arc(r_0142_0007__conclude,r_0142_0003__you,arg0).
arc(r_0142_0007__conclude,r_0142_0017__is,arg1).
arc(r_0142_0008__the_r_0142_0010__purpose,r_0142_0009__whole,attrib).
arc(r_0142_0008__the_r_0142_0010__purpose,r_0142_0013__education,r_0142_0011__of).
arc(r_0142_0008__the_r_0142_0010__purpose,r_0142_0015__the_r_0142_0016__world,r_0142_0014__throughout).
arc(r_0142_0013__education,r_0142_0012__public,attrib).
arc(r_0142_0017__is,r_0142_0008__the_r_0142_0010__purpose,arg0).
arc(r_0142_0017__is,r_0142_0019__produce,prd).
arc(r_0142_0019__produce,r_0142_0020__university_r_0142_0021__professors,arg1).
arc(r_0142_0019__produce,z_0142_5012,arg0).
fof(formula,axiom,
? [R_0142_0001__I,R_0142_0003__YOU,R_0142_0009__WHOLE,R_0142_0012__PUBLIC,R_0142_0013__EDUCATION,R_0142_0015__THE_R_0142_0016__WORLD,R_0142_0008__THE_R_0142_0010__PURPOSE,R_0142_0020__UNIVERSITY_R_0142_0021__PROFESSORS,Z_0142_5012,R_0142_0019__PRODUCE,R_0142_0017__IS,R_0142_0004___APOS_D_R_0142_0005__HAVE_R_0142_0007__CONCLUDE,R_0142_0002__THINK] :
( r_0142_0001__I(R_0142_0001__I)
& r_0142_0003__you(R_0142_0003__YOU)
& r_0142_0009__whole(R_0142_0009__WHOLE)
& r_0142_0012__public(R_0142_0012__PUBLIC)
& r_0142_0015__the_r_0142_0016__world(R_0142_0015__THE_R_0142_0016__WORLD)
& r_0142_0020__university_r_0142_0021__professors(R_0142_0020__UNIVERSITY_R_0142_0021__PROFESSORS)
& z_0142_5012(Z_0142_5012)
& r_0142_0002__think(R_0142_0002__THINK)
& has_arg1(R_0142_0002__THINK,R_0142_0004___APOS_D_R_0142_0005__HAVE_R_0142_0007__CONCLUDE)
& r_0142_0004___apos_d_r_0142_0005__have_r_0142_0007__conclude(R_0142_0004___APOS_D_R_0142_0005__HAVE_R_0142_0007__CONCLUDE)
& has_arg1(R_0142_0004___APOS_D_R_0142_0005__HAVE_R_0142_0007__CONCLUDE,R_0142_0017__IS)
& r_0142_0017__is(R_0142_0017__IS)
& has_prd(R_0142_0017__IS,R_0142_0019__PRODUCE)
& r_0142_0019__produce(R_0142_0019__PRODUCE)
& has_arg0(R_0142_0019__PRODUCE,Z_0142_5012)
& has_arg1(R_0142_0019__PRODUCE,R_0142_0020__UNIVERSITY_R_0142_0021__PROFESSORS)
& has_arg0(R_0142_0017__IS,R_0142_0008__THE_R_0142_0010__PURPOSE)
& r_0142_0008__the_r_0142_0010__purpose(R_0142_0008__THE_R_0142_0010__PURPOSE)
& has_r_0142_0014__throughout(R_0142_0008__THE_R_0142_0010__PURPOSE,R_0142_0015__THE_R_0142_0016__WORLD)
& has_r_0142_0011__of(R_0142_0008__THE_R_0142_0010__PURPOSE,R_0142_0013__EDUCATION)
& r_0142_0013__education(R_0142_0013__EDUCATION)
& has_attrib(R_0142_0013__EDUCATION,R_0142_0012__PUBLIC)
& has_attrib(R_0142_0008__THE_R_0142_0010__PURPOSE,R_0142_0009__WHOLE)
& has_arg0(R_0142_0004___APOS_D_R_0142_0005__HAVE_R_0142_0007__CONCLUDE,R_0142_0003__YOU)
& has_arg0(R_0142_0002__THINK,R_0142_0001__I) ) ).