147_a_ted_talk_11
And I like university professors, but you know, we shouldn't hold them up as the high-water mark of all human achievement.
arc(r_0147_0003__like, r_0147_0002__I, arg0).
arc(r_0147_0003__like, r_0147_0004__university_r_0147_0005__professors, arg1).
arc(r_0147_0007__but, r_0147_0003__like, conj1).
arc(r_0147_0007__but, r_0147_0012__n_apos_t, conj2).
arc(r_0147_0008__you_know_r_0147_0011__should, r_0147_0013__hold_r_0147_0015__up, scope).
arc(r_0147_0012__n_apos_t, r_0147_0008__you_know_r_0147_0011__should, keep_scope).
arc(r_0147_0013__hold_r_0147_0015__up, r_0147_0004__university_r_0147_0005__professors, arg1).
arc(r_0147_0013__hold_r_0147_0015__up, r_0147_0010__we, arg0).
arc(r_0147_0013__hold_r_0147_0015__up, r_0147_0017__the_r_0147_0019__mark, r_0147_0016__as_clr44).
arc(r_0147_0017__the_r_0147_0019__mark, r_0147_0018__high__hyphen__water, attrib47).
arc(r_0147_0017__the_r_0147_0019__mark, r_0147_0023__achievement, r_0147_0020__of).
arc(r_0147_0021__all_quant, r_0147_0017__the_r_0147_0019__mark, scope).
arc(r_0147_0021__all_quant, r_0147_0023__achievement, restriction).
arc(r_0147_0023__achievement, r_0147_0022__human, attrib58).
fof(formula,axiom,
? [R_147_7_BUT,R_147_3_LIKE,R_147_2_I,R_147_4_UNIVERSITY_PROFESSORS] :
( i(R_147_2_I)
& university_professors(R_147_4_UNIVERSITY_PROFESSORS)
& but(R_147_7_BUT)
& conj1(R_147_7_BUT,R_147_3_LIKE)
& like(R_147_3_LIKE,R_147_2_I,R_147_4_UNIVERSITY_PROFESSORS)
& conj2(R_147_7_BUT,R_147_12_N_APOS_T)
& ~ ? [R_147_8_YOU_KNOW_SHOULD_HOLD_UP,R_147_10_WE,R_147_17_THE_MARK,R_147_18_HIGH_HYPHEN_WATER,R_147_23_ACHIEVEMENT,R_147_22_HUMAN] :
( we(R_147_10_WE)
& high_hyphen_water(R_147_18_HIGH_HYPHEN_WATER)
& human(R_147_22_HUMAN)
& you_know_should_hold_up(R_147_8_YOU_KNOW_SHOULD_HOLD_UP,R_147_10_WE,R_147_4_UNIVERSITY_PROFESSORS)
& as_clr44(R_147_8_YOU_KNOW_SHOULD_HOLD_UP,R_147_17_THE_MARK)
& the_mark(R_147_17_THE_MARK)
& attrib47(R_147_17_THE_MARK,R_147_18_HIGH_HYPHEN_WATER)
& of(R_147_17_THE_MARK,R_147_23_ACHIEVEMENT)
& achievement(R_147_23_ACHIEVEMENT)
& attrib58(R_147_23_ACHIEVEMENT,R_147_22_HUMAN) )
& ! [R_147_23_ACHIEVEMENT,R_147_22_HUMAN] :
( ( human(R_147_22_HUMAN)
& achievement(R_147_23_ACHIEVEMENT)
& attrib58(R_147_23_ACHIEVEMENT,R_147_22_HUMAN) )
=> ? [R_147_8_YOU_KNOW_SHOULD_HOLD_UP,R_147_10_WE,R_147_17_THE_MARK,R_147_18_HIGH_HYPHEN_WATER] :
( we(R_147_10_WE)
& high_hyphen_water(R_147_18_HIGH_HYPHEN_WATER)
& you_know_should_hold_up(R_147_8_YOU_KNOW_SHOULD_HOLD_UP,R_147_10_WE,R_147_4_UNIVERSITY_PROFESSORS)
& as_clr44(R_147_8_YOU_KNOW_SHOULD_HOLD_UP,R_147_17_THE_MARK)
& the_mark(R_147_17_THE_MARK)
& attrib47(R_147_17_THE_MARK,R_147_18_HIGH_HYPHEN_WATER)
& of(R_147_17_THE_MARK,R_147_23_ACHIEVEMENT) ) ) ) ).
( (IP-MAT (CONJ;_cl_ And;{and})
(NP-SBJ (PRO I;{I}))
(ILYR (ILYR (VBP;_Tn_ like;{like})
(NP-OB1;{PROFESSORS} (N university;{university})
(NS professors;{professor})))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (FRM you_know)
(PUNC ,)
(NP-SBJ (PRO we;{we}))
(MD;_cat_Vi_ should;{shall})
(NEG;_clitic_ n<apos>t;{not})
(IP-INF-CAT (VB;_phr_Vp.n.pr_ hold;{hold[up,as]})
(NP-OB1;{PROFESSORS} (PRO them;{they}))
(RP up;{up})
(PP-CLR (P-ROLE as;{as})
(NP (D the;{the})
(ADJP (ADJ high_<hyphen>_water;{high_water}))
(N mark;{mark})
(PP (P-ROLE of;{of})
(NP (Q all;{all})
(ADJP (ADJ human;{human}))
(N achievement;{achievement})))))))))
(PUNC .))
(ID 147_a_ted_talk_11))