TSPC 146_a_ted_talk

146_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.

( (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 146_a_ted_talk_11))

arc(r_0146_0003__like,r_0146_0002__I,arg0).
arc(r_0146_0003__like,r_0146_0004__university_r_0146_0005__professors,arg1).
arc(r_0146_0007__but,r_0146_0003__like,conj1).
arc(r_0146_0007__but,r_0146_0012__n_apos_t,conj2).
arc(r_0146_0011__should,r_0146_0013__hold_r_0146_0015__up,scope).
arc(r_0146_0012__n_apos_t,r_0146_0011__should,keep_scope).
arc(r_0146_0013__hold_r_0146_0015__up,r_0146_0004__university_r_0146_0005__professors,arg1).
arc(r_0146_0013__hold_r_0146_0015__up,r_0146_0010__we,arg0).
arc(r_0146_0013__hold_r_0146_0015__up,r_0146_0017__the_r_0146_0019__mark,r_0146_0016__as__clr).
arc(r_0146_0017__the_r_0146_0019__mark,r_0146_0018__high__hyphen__water,attrib).
arc(r_0146_0017__the_r_0146_0019__mark,r_0146_0023__achievement,r_0146_0020__of).
arc(r_0146_0021__all__quant,r_0146_0017__the_r_0146_0019__mark,scope).
arc(r_0146_0021__all__quant,r_0146_0023__achievement,restriction).
arc(r_0146_0023__achievement,r_0146_0022__human,attrib).

fof(formula,axiom,
    ? [R_0146_0002__I,R_0146_0004__UNIVERSITY_R_0146_0005__PROFESSORS,R_0146_0003__LIKE,R_0146_0007__BUT] :
      ( r_0146_0002__I(R_0146_0002__I)
      & r_0146_0004__university_r_0146_0005__professors(R_0146_0004__UNIVERSITY_R_0146_0005__PROFESSORS)
      & ! [R_0146_0023__ACHIEVEMENT,R_0146_0022__HUMAN] :
          ( ( r_0146_0022__human(R_0146_0022__HUMAN)
            & r_0146_0023__achievement(R_0146_0023__ACHIEVEMENT)
            & has_attrib(R_0146_0023__ACHIEVEMENT,R_0146_0022__HUMAN) )
         => ? [R_0146_0010__WE,R_0146_0018__HIGH__HYPHEN__WATER,R_0146_0017__THE_R_0146_0019__MARK,R_0146_0011__SHOULD_R_0146_0013__HOLD_R_0146_0015__UP] :
              ( r_0146_0010__we(R_0146_0010__WE)
              & r_0146_0018__high__hyphen__water(R_0146_0018__HIGH__HYPHEN__WATER)
              & r_0146_0011__should_r_0146_0013__hold_r_0146_0015__up(R_0146_0011__SHOULD_R_0146_0013__HOLD_R_0146_0015__UP)
              & has_r_0146_0016__as__clr(R_0146_0011__SHOULD_R_0146_0013__HOLD_R_0146_0015__UP,R_0146_0017__THE_R_0146_0019__MARK)
              & r_0146_0017__the_r_0146_0019__mark(R_0146_0017__THE_R_0146_0019__MARK)
              & has_r_0146_0020__of(R_0146_0017__THE_R_0146_0019__MARK,R_0146_0023__ACHIEVEMENT)
              & has_attrib(R_0146_0017__THE_R_0146_0019__MARK,R_0146_0018__HIGH__HYPHEN__WATER)
              & has_arg0(R_0146_0011__SHOULD_R_0146_0013__HOLD_R_0146_0015__UP,R_0146_0010__WE)
              & has_arg1(R_0146_0011__SHOULD_R_0146_0013__HOLD_R_0146_0015__UP,R_0146_0004__UNIVERSITY_R_0146_0005__PROFESSORS) ) )
      & r_0146_0007__but(R_0146_0007__BUT)
      & has_conj2(R_0146_0007__BUT,R_0146_0012__N_APOS_T)
      & ~ ? [R_0146_0010__WE,R_0146_0018__HIGH__HYPHEN__WATER,R_0146_0022__HUMAN,R_0146_0023__ACHIEVEMENT,R_0146_0017__THE_R_0146_0019__MARK,R_0146_0011__SHOULD_R_0146_0013__HOLD_R_0146_0015__UP] :
            ( r_0146_0010__we(R_0146_0010__WE)
            & r_0146_0018__high__hyphen__water(R_0146_0018__HIGH__HYPHEN__WATER)
            & r_0146_0022__human(R_0146_0022__HUMAN)
            & r_0146_0011__should_r_0146_0013__hold_r_0146_0015__up(R_0146_0011__SHOULD_R_0146_0013__HOLD_R_0146_0015__UP)
            & has_r_0146_0016__as__clr(R_0146_0011__SHOULD_R_0146_0013__HOLD_R_0146_0015__UP,R_0146_0017__THE_R_0146_0019__MARK)
            & r_0146_0017__the_r_0146_0019__mark(R_0146_0017__THE_R_0146_0019__MARK)
            & has_r_0146_0020__of(R_0146_0017__THE_R_0146_0019__MARK,R_0146_0023__ACHIEVEMENT)
            & r_0146_0023__achievement(R_0146_0023__ACHIEVEMENT)
            & has_attrib(R_0146_0023__ACHIEVEMENT,R_0146_0022__HUMAN)
            & has_attrib(R_0146_0017__THE_R_0146_0019__MARK,R_0146_0018__HIGH__HYPHEN__WATER)
            & has_arg0(R_0146_0011__SHOULD_R_0146_0013__HOLD_R_0146_0015__UP,R_0146_0010__WE)
            & has_arg1(R_0146_0011__SHOULD_R_0146_0013__HOLD_R_0146_0015__UP,R_0146_0004__UNIVERSITY_R_0146_0005__PROFESSORS) )
      & has_conj1(R_0146_0007__BUT,R_0146_0003__LIKE)
      & r_0146_0003__like(R_0146_0003__LIKE)
      & has_arg1(R_0146_0003__LIKE,R_0146_0004__UNIVERSITY_R_0146_0005__PROFESSORS)
      & has_arg0(R_0146_0003__LIKE,R_0146_0002__I) ) ).