Context                Previous, Next                Top


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.

%3 r_0143_0002__think think r_0143_0001__I I r_0143_0002__think->r_0143_0001__I [arg0] r_0143_0004___apos_d 'd r_0143_0002__think->r_0143_0004___apos_d [arg1] r_0143_0005__have have r_0143_0004___apos_d->r_0143_0005__have [scope] r_0143_0006__to_r_0143_0007__conclude to conclude r_0143_0005__have->r_0143_0006__to_r_0143_0007__conclude [scope] r_0143_0003__you you r_0143_0006__to_r_0143_0007__conclude->r_0143_0003__you [arg0] r_0143_0017__is is r_0143_0006__to_r_0143_0007__conclude->r_0143_0017__is [arg1] r_0143_0008__the_r_0143_0010__purpose the purpose r_0143_0017__is->r_0143_0008__the_r_0143_0010__purpose [arg0] r_0143_0018__to_r_0143_0019__produce to produce r_0143_0017__is->r_0143_0018__to_r_0143_0019__produce [prd] r_0143_0009__whole whole r_0143_0008__the_r_0143_0010__purpose->r_0143_0009__whole [attrib] r_0143_0013__education education r_0143_0008__the_r_0143_0010__purpose->r_0143_0013__education of r_0143_0015__the_r_0143_0016__world the world r_0143_0008__the_r_0143_0010__purpose->r_0143_0015__the_r_0143_0016__world throughout r_0143_0012__public public r_0143_0013__education->r_0143_0012__public [attrib] r_0143_0020__university_r_0143_0021__professors university professors r_0143_0018__to_r_0143_0019__produce->r_0143_0020__university_r_0143_0021__professors [arg1] x_000_143_a_ted_talk_11_51 __ r_0143_0018__to_r_0143_0019__produce->x_000_143_a_ted_talk_11_51 [arg0] 
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).


%3 r_0143_0018__to_r_0143_0019__produce to produce x_000_143_a_ted_talk_11_51 __ r_0143_0018__to_r_0143_0019__produce->x_000_143_a_ted_talk_11_51 [arg0] r_0143_0020__university_r_0143_0021__professors university professors r_0143_0018__to_r_0143_0019__produce->r_0143_0020__university_r_0143_0021__professors [arg1] r_0143_0017__is is r_0143_0017__is->r_0143_0018__to_r_0143_0019__produce [prd] r_0143_0008__the_r_0143_0010__purpose the purpose r_0143_0017__is->r_0143_0008__the_r_0143_0010__purpose [arg0] r_0143_0013__education education r_0143_0008__the_r_0143_0010__purpose->r_0143_0013__education of r_0143_0015__the_r_0143_0016__world the world r_0143_0008__the_r_0143_0010__purpose->r_0143_0015__the_r_0143_0016__world throughout r_0143_0009__whole whole r_0143_0008__the_r_0143_0010__purpose->r_0143_0009__whole [attrib] r_0143_0012__public public r_0143_0013__education->r_0143_0012__public [attrib] r_0143_0004___apos_d_r_0143_0005__have_r_0143_0006__to_r_0143_0007__conclude 'd have to conclude r_0143_0004___apos_d_r_0143_0005__have_r_0143_0006__to_r_0143_0007__conclude->r_0143_0017__is [arg1] r_0143_0003__you you r_0143_0004___apos_d_r_0143_0005__have_r_0143_0006__to_r_0143_0007__conclude->r_0143_0003__you [arg0] r_0143_0002__think think r_0143_0002__think->r_0143_0004___apos_d_r_0143_0005__have_r_0143_0006__to_r_0143_0007__conclude [arg1] r_0143_0001__I I r_0143_0002__think->r_0143_0001__I [arg0] 
fof(formula,axiom,
    ? [R_143_2_THINK,R_143_1_I,R_143_4__APOS_D_HAVE_TO_CONCLUDE,R_143_3_YOU,R_143_17_IS,R_143_8_THE_PURPOSE,R_143_9_WHOLE,R_143_13_EDUCATION,R_143_12_PUBLIC,R_143_15_THE_WORLD,R_143_18_TO_PRODUCE,X_143_A_TED_TALK_11_51,R_143_20_UNIVERSITY_PROFESSORS] :
      ( i(R_143_1_I)
      & you(R_143_3_YOU)
      & whole(R_143_9_WHOLE)
      & public(R_143_12_PUBLIC)
      & the_world(R_143_15_THE_WORLD)
      & university_professors(R_143_20_UNIVERSITY_PROFESSORS)
      & think(R_143_2_THINK,R_143_1_I,R_143_4__APOS_D_HAVE_TO_CONCLUDE)
      & _apos_d_have_to_conclude(R_143_4__APOS_D_HAVE_TO_CONCLUDE,R_143_3_YOU,R_143_17_IS)
      & is(R_143_17_IS,R_143_8_THE_PURPOSE,R_143_18_TO_PRODUCE)
      & the_purpose(R_143_8_THE_PURPOSE)
      & attrib27(R_143_8_THE_PURPOSE,R_143_9_WHOLE)
      & of(R_143_8_THE_PURPOSE,R_143_13_EDUCATION)
      & education(R_143_13_EDUCATION)
      & attrib36(R_143_13_EDUCATION,R_143_12_PUBLIC)
      & throughout(R_143_8_THE_PURPOSE,R_143_15_THE_WORLD)
      & to_produce(R_143_18_TO_PRODUCE,X_143_A_TED_TALK_11_51,R_143_20_UNIVERSITY_PROFESSORS) ) ).


n143_a_ted_talk_11 n143_a_ted_talk_11__1_1_1_1 I n143_a_ted_talk_11__1_2_1 think n143_a_ted_talk_11__1_3_1_1_1_1 you n143_a_ted_talk_11__1_3_1_2_1 'd n143_a_ted_talk_11__1_3_1_3_1_1 have n143_a_ted_talk_11__1_3_1_3_2_1_1 to n143_a_ted_talk_11__1_3_1_3_2_2_1 conclude n143_a_ted_talk_11__1_3_1_3_2_3_1_1_1_1 the n143_a_ted_talk_11__1_3_1_3_2_3_1_1_2_1_1 whole n143_a_ted_talk_11__1_3_1_3_2_3_1_1_3_1 purpose n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_1_1 of n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_1_1_1 public n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_2_1 education n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_1_1 throughout n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2_1_1 the n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2_2_1 world n143_a_ted_talk_11__1_3_1_3_2_3_1_2_1 is n143_a_ted_talk_11__1_3_1_3_2_3_1_3_1_1 to n143_a_ted_talk_11__1_3_1_3_2_3_1_3_2_1 produce n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3_1_1 university n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3_2_1 professors n143_a_ted_talk_11__1_4_1 . n143_a_ted_talk_11__1 IP-MAT n143_a_ted_talk_11__1_1 NP-SBJ n143_a_ted_talk_11__1->n143_a_ted_talk_11__1_1 n143_a_ted_talk_11__1_2 VBP;_Tf_ n143_a_ted_talk_11__1->n143_a_ted_talk_11__1_2 n143_a_ted_talk_11__1_3 CP-THT-OB1 n143_a_ted_talk_11__1->n143_a_ted_talk_11__1_3 n143_a_ted_talk_11__1_4 PUNC n143_a_ted_talk_11__1->n143_a_ted_talk_11__1_4 n143_a_ted_talk_11__1_1_1 PRO n143_a_ted_talk_11__1_1->n143_a_ted_talk_11__1_1_1 n143_a_ted_talk_11__1_1_1->n143_a_ted_talk_11__1_1_1_1 n143_a_ted_talk_11__1_2->n143_a_ted_talk_11__1_2_1 n143_a_ted_talk_11__1_3_1 IP-SUB n143_a_ted_talk_11__1_3->n143_a_ted_talk_11__1_3_1 n143_a_ted_talk_11__1_3_1_1 NP-SBJ n143_a_ted_talk_11__1_3_1->n143_a_ted_talk_11__1_3_1_1 n143_a_ted_talk_11__1_3_1_2 MD;_cat_Vi_ n143_a_ted_talk_11__1_3_1->n143_a_ted_talk_11__1_3_1_2 n143_a_ted_talk_11__1_3_1_3 IP-INF-CAT n143_a_ted_talk_11__1_3_1->n143_a_ted_talk_11__1_3_1_3 n143_a_ted_talk_11__1_3_1_1_1 PRO n143_a_ted_talk_11__1_3_1_1->n143_a_ted_talk_11__1_3_1_1_1 n143_a_ted_talk_11__1_3_1_1_1->n143_a_ted_talk_11__1_3_1_1_1_1 n143_a_ted_talk_11__1_3_1_2->n143_a_ted_talk_11__1_3_1_2_1 n143_a_ted_talk_11__1_3_1_3_1 HV;_cat_Vt_ n143_a_ted_talk_11__1_3_1_3->n143_a_ted_talk_11__1_3_1_3_1 n143_a_ted_talk_11__1_3_1_3_2 IP-INF-CAT n143_a_ted_talk_11__1_3_1_3->n143_a_ted_talk_11__1_3_1_3_2 n143_a_ted_talk_11__1_3_1_3_1->n143_a_ted_talk_11__1_3_1_3_1_1 n143_a_ted_talk_11__1_3_1_3_2_1 TO n143_a_ted_talk_11__1_3_1_3_2->n143_a_ted_talk_11__1_3_1_3_2_1 n143_a_ted_talk_11__1_3_1_3_2_2 VB;_Tf_ n143_a_ted_talk_11__1_3_1_3_2->n143_a_ted_talk_11__1_3_1_3_2_2 n143_a_ted_talk_11__1_3_1_3_2_3 CP-THT-OB1 n143_a_ted_talk_11__1_3_1_3_2->n143_a_ted_talk_11__1_3_1_3_2_3 n143_a_ted_talk_11__1_3_1_3_2_1->n143_a_ted_talk_11__1_3_1_3_2_1_1 n143_a_ted_talk_11__1_3_1_3_2_2->n143_a_ted_talk_11__1_3_1_3_2_2_1 n143_a_ted_talk_11__1_3_1_3_2_3_1 IP-SUB n143_a_ted_talk_11__1_3_1_3_2_3->n143_a_ted_talk_11__1_3_1_3_2_3_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1 NP-SBJ n143_a_ted_talk_11__1_3_1_3_2_3_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_2 BEP;_equ_Vt_ n143_a_ted_talk_11__1_3_1_3_2_3_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_2 n143_a_ted_talk_11__1_3_1_3_2_3_1_3 IP-INF-PRD n143_a_ted_talk_11__1_3_1_3_2_3_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_3 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_1 D n143_a_ted_talk_11__1_3_1_3_2_3_1_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_2 ADJP n143_a_ted_talk_11__1_3_1_3_2_3_1_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_2 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_3 N n143_a_ted_talk_11__1_3_1_3_2_3_1_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_3 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4 PP n143_a_ted_talk_11__1_3_1_3_2_3_1_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5 PP n143_a_ted_talk_11__1_3_1_3_2_3_1_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_1_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_2_1 ADJ n143_a_ted_talk_11__1_3_1_3_2_3_1_1_2->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_2_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_2_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_2_1_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_3->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_3_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_1 P-ROLE n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2 NP n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_1_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_1 ADJP n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_2 N n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_2 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_1_1 ADJ n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_1_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_1_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_1_1_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_2->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_4_2_2_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_1 P-ROLE n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2 NP n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_1_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2_1 D n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2_2 N n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2_2 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2_1_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2_2->n143_a_ted_talk_11__1_3_1_3_2_3_1_1_5_2_2_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_2->n143_a_ted_talk_11__1_3_1_3_2_3_1_2_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_3_1 TO n143_a_ted_talk_11__1_3_1_3_2_3_1_3->n143_a_ted_talk_11__1_3_1_3_2_3_1_3_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_3_2 VB;_Tn_ n143_a_ted_talk_11__1_3_1_3_2_3_1_3->n143_a_ted_talk_11__1_3_1_3_2_3_1_3_2 n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3 NP-OB1 n143_a_ted_talk_11__1_3_1_3_2_3_1_3->n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3 n143_a_ted_talk_11__1_3_1_3_2_3_1_3_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_3_1_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_3_2->n143_a_ted_talk_11__1_3_1_3_2_3_1_3_2_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3_1 N n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3->n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3_2 NS n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3->n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3_2 n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3_1->n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3_1_1 n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3_2->n143_a_ted_talk_11__1_3_1_3_2_3_1_3_3_2_1 n143_a_ted_talk_11__1_4->n143_a_ted_talk_11__1_4_1 
( (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))