Context                Previous, Next                Top


59_a_history_of_qed
The tart comments about the rebarbativeness of QED as a scripting language are on the mark, though I don't think that Emacs is all that much better.

n59_a_history_of_qed n59_a_history_of_qed__1_1_1_1 The n59_a_history_of_qed__1_1_2_1_1 tart n59_a_history_of_qed__1_1_3_1 comments n59_a_history_of_qed__1_1_4_1_1 about n59_a_history_of_qed__1_1_4_2_1_1 the n59_a_history_of_qed__1_1_4_2_2_1 rebarbativeness n59_a_history_of_qed__1_1_4_2_3_1_1 of n59_a_history_of_qed__1_1_4_2_3_2_1_1 QED n59_a_history_of_qed__1_1_4_2_4_1_1 as n59_a_history_of_qed__1_1_4_2_4_2_1_1 a n59_a_history_of_qed__1_1_4_2_4_2_2_1 scripting n59_a_history_of_qed__1_1_4_2_4_2_3_1 language n59_a_history_of_qed__1_2_1 are n59_a_history_of_qed__1_3_1_1 on n59_a_history_of_qed__1_3_2_1_1 the n59_a_history_of_qed__1_3_2_2_1 mark n59_a_history_of_qed__1_4_1 , n59_a_history_of_qed__1_5_1_1 though n59_a_history_of_qed__1_5_2_1_1_1 I n59_a_history_of_qed__1_5_2_2_1 do n59_a_history_of_qed__1_5_2_3_1 n't n59_a_history_of_qed__1_5_2_4_1 think n59_a_history_of_qed__1_5_2_5_1_1_1 that n59_a_history_of_qed__1_5_2_5_1_2_1_1 Emacs n59_a_history_of_qed__1_5_2_5_1_3_1 is n59_a_history_of_qed__1_5_2_5_1_4_1_1_1 all_that_much n59_a_history_of_qed__1_5_2_5_1_4_2_1 better n59_a_history_of_qed__1_6_1 . n59_a_history_of_qed__1 IP-MAT n59_a_history_of_qed__1_1 NP-SBJ n59_a_history_of_qed__1->n59_a_history_of_qed__1_1 n59_a_history_of_qed__1_2 BEP;_Ipr_ n59_a_history_of_qed__1->n59_a_history_of_qed__1_2 n59_a_history_of_qed__1_3 PP-CLR n59_a_history_of_qed__1->n59_a_history_of_qed__1_3 n59_a_history_of_qed__1_4 PUNC n59_a_history_of_qed__1->n59_a_history_of_qed__1_4 n59_a_history_of_qed__1_5 PP-SCON n59_a_history_of_qed__1->n59_a_history_of_qed__1_5 n59_a_history_of_qed__1_6 PUNC n59_a_history_of_qed__1->n59_a_history_of_qed__1_6 n59_a_history_of_qed__1_1_1 D n59_a_history_of_qed__1_1->n59_a_history_of_qed__1_1_1 n59_a_history_of_qed__1_1_2 ADJP n59_a_history_of_qed__1_1->n59_a_history_of_qed__1_1_2 n59_a_history_of_qed__1_1_3 NS n59_a_history_of_qed__1_1->n59_a_history_of_qed__1_1_3 n59_a_history_of_qed__1_1_4 PP n59_a_history_of_qed__1_1->n59_a_history_of_qed__1_1_4 n59_a_history_of_qed__1_1_1->n59_a_history_of_qed__1_1_1_1 n59_a_history_of_qed__1_1_2_1 ADJ n59_a_history_of_qed__1_1_2->n59_a_history_of_qed__1_1_2_1 n59_a_history_of_qed__1_1_2_1->n59_a_history_of_qed__1_1_2_1_1 n59_a_history_of_qed__1_1_3->n59_a_history_of_qed__1_1_3_1 n59_a_history_of_qed__1_1_4_1 P-ROLE n59_a_history_of_qed__1_1_4->n59_a_history_of_qed__1_1_4_1 n59_a_history_of_qed__1_1_4_2 NP n59_a_history_of_qed__1_1_4->n59_a_history_of_qed__1_1_4_2 n59_a_history_of_qed__1_1_4_1->n59_a_history_of_qed__1_1_4_1_1 n59_a_history_of_qed__1_1_4_2_1 D n59_a_history_of_qed__1_1_4_2->n59_a_history_of_qed__1_1_4_2_1 n59_a_history_of_qed__1_1_4_2_2 N n59_a_history_of_qed__1_1_4_2->n59_a_history_of_qed__1_1_4_2_2 n59_a_history_of_qed__1_1_4_2_3 PP n59_a_history_of_qed__1_1_4_2->n59_a_history_of_qed__1_1_4_2_3 n59_a_history_of_qed__1_1_4_2_4 PP n59_a_history_of_qed__1_1_4_2->n59_a_history_of_qed__1_1_4_2_4 n59_a_history_of_qed__1_1_4_2_1->n59_a_history_of_qed__1_1_4_2_1_1 n59_a_history_of_qed__1_1_4_2_2->n59_a_history_of_qed__1_1_4_2_2_1 n59_a_history_of_qed__1_1_4_2_3_1 P-ROLE n59_a_history_of_qed__1_1_4_2_3->n59_a_history_of_qed__1_1_4_2_3_1 n59_a_history_of_qed__1_1_4_2_3_2 NP n59_a_history_of_qed__1_1_4_2_3->n59_a_history_of_qed__1_1_4_2_3_2 n59_a_history_of_qed__1_1_4_2_3_1->n59_a_history_of_qed__1_1_4_2_3_1_1 n59_a_history_of_qed__1_1_4_2_3_2_1 NPR n59_a_history_of_qed__1_1_4_2_3_2->n59_a_history_of_qed__1_1_4_2_3_2_1 n59_a_history_of_qed__1_1_4_2_3_2_1->n59_a_history_of_qed__1_1_4_2_3_2_1_1 n59_a_history_of_qed__1_1_4_2_4_1 P-ROLE n59_a_history_of_qed__1_1_4_2_4->n59_a_history_of_qed__1_1_4_2_4_1 n59_a_history_of_qed__1_1_4_2_4_2 NP n59_a_history_of_qed__1_1_4_2_4->n59_a_history_of_qed__1_1_4_2_4_2 n59_a_history_of_qed__1_1_4_2_4_1->n59_a_history_of_qed__1_1_4_2_4_1_1 n59_a_history_of_qed__1_1_4_2_4_2_1 D n59_a_history_of_qed__1_1_4_2_4_2->n59_a_history_of_qed__1_1_4_2_4_2_1 n59_a_history_of_qed__1_1_4_2_4_2_2 N n59_a_history_of_qed__1_1_4_2_4_2->n59_a_history_of_qed__1_1_4_2_4_2_2 n59_a_history_of_qed__1_1_4_2_4_2_3 N n59_a_history_of_qed__1_1_4_2_4_2->n59_a_history_of_qed__1_1_4_2_4_2_3 n59_a_history_of_qed__1_1_4_2_4_2_1->n59_a_history_of_qed__1_1_4_2_4_2_1_1 n59_a_history_of_qed__1_1_4_2_4_2_2->n59_a_history_of_qed__1_1_4_2_4_2_2_1 n59_a_history_of_qed__1_1_4_2_4_2_3->n59_a_history_of_qed__1_1_4_2_4_2_3_1 n59_a_history_of_qed__1_2->n59_a_history_of_qed__1_2_1 n59_a_history_of_qed__1_3_1 P-ROLE n59_a_history_of_qed__1_3->n59_a_history_of_qed__1_3_1 n59_a_history_of_qed__1_3_2 NP n59_a_history_of_qed__1_3->n59_a_history_of_qed__1_3_2 n59_a_history_of_qed__1_3_1->n59_a_history_of_qed__1_3_1_1 n59_a_history_of_qed__1_3_2_1 D n59_a_history_of_qed__1_3_2->n59_a_history_of_qed__1_3_2_1 n59_a_history_of_qed__1_3_2_2 N n59_a_history_of_qed__1_3_2->n59_a_history_of_qed__1_3_2_2 n59_a_history_of_qed__1_3_2_1->n59_a_history_of_qed__1_3_2_1_1 n59_a_history_of_qed__1_3_2_2->n59_a_history_of_qed__1_3_2_2_1 n59_a_history_of_qed__1_4->n59_a_history_of_qed__1_4_1 n59_a_history_of_qed__1_5_1 P-CONN n59_a_history_of_qed__1_5->n59_a_history_of_qed__1_5_1 n59_a_history_of_qed__1_5_2 IP-ADV n59_a_history_of_qed__1_5->n59_a_history_of_qed__1_5_2 n59_a_history_of_qed__1_5_1->n59_a_history_of_qed__1_5_1_1 n59_a_history_of_qed__1_5_2_1 NP-SBJ n59_a_history_of_qed__1_5_2->n59_a_history_of_qed__1_5_2_1 n59_a_history_of_qed__1_5_2_2 DOP n59_a_history_of_qed__1_5_2->n59_a_history_of_qed__1_5_2_2 n59_a_history_of_qed__1_5_2_3 NEG;_clitic_ n59_a_history_of_qed__1_5_2->n59_a_history_of_qed__1_5_2_3 n59_a_history_of_qed__1_5_2_4 VB;_Tf_ n59_a_history_of_qed__1_5_2->n59_a_history_of_qed__1_5_2_4 n59_a_history_of_qed__1_5_2_5 CP-THT-OB1 n59_a_history_of_qed__1_5_2->n59_a_history_of_qed__1_5_2_5 n59_a_history_of_qed__1_5_2_1_1 PRO n59_a_history_of_qed__1_5_2_1->n59_a_history_of_qed__1_5_2_1_1 n59_a_history_of_qed__1_5_2_1_1->n59_a_history_of_qed__1_5_2_1_1_1 n59_a_history_of_qed__1_5_2_2->n59_a_history_of_qed__1_5_2_2_1 n59_a_history_of_qed__1_5_2_3->n59_a_history_of_qed__1_5_2_3_1 n59_a_history_of_qed__1_5_2_4->n59_a_history_of_qed__1_5_2_4_1 n59_a_history_of_qed__1_5_2_5_1 IP-SUB n59_a_history_of_qed__1_5_2_5->n59_a_history_of_qed__1_5_2_5_1 n59_a_history_of_qed__1_5_2_5_1_1 C n59_a_history_of_qed__1_5_2_5_1->n59_a_history_of_qed__1_5_2_5_1_1 n59_a_history_of_qed__1_5_2_5_1_2 NP-SBJ n59_a_history_of_qed__1_5_2_5_1->n59_a_history_of_qed__1_5_2_5_1_2 n59_a_history_of_qed__1_5_2_5_1_3 BEP;_La_ n59_a_history_of_qed__1_5_2_5_1->n59_a_history_of_qed__1_5_2_5_1_3 n59_a_history_of_qed__1_5_2_5_1_4 ADJP-PRD n59_a_history_of_qed__1_5_2_5_1->n59_a_history_of_qed__1_5_2_5_1_4 n59_a_history_of_qed__1_5_2_5_1_1->n59_a_history_of_qed__1_5_2_5_1_1_1 n59_a_history_of_qed__1_5_2_5_1_2_1 NPR n59_a_history_of_qed__1_5_2_5_1_2->n59_a_history_of_qed__1_5_2_5_1_2_1 n59_a_history_of_qed__1_5_2_5_1_2_1->n59_a_history_of_qed__1_5_2_5_1_2_1_1 n59_a_history_of_qed__1_5_2_5_1_3->n59_a_history_of_qed__1_5_2_5_1_3_1 n59_a_history_of_qed__1_5_2_5_1_4_1 ADVP n59_a_history_of_qed__1_5_2_5_1_4->n59_a_history_of_qed__1_5_2_5_1_4_1 n59_a_history_of_qed__1_5_2_5_1_4_2 ADJR n59_a_history_of_qed__1_5_2_5_1_4->n59_a_history_of_qed__1_5_2_5_1_4_2 n59_a_history_of_qed__1_5_2_5_1_4_1_1 ADV n59_a_history_of_qed__1_5_2_5_1_4_1->n59_a_history_of_qed__1_5_2_5_1_4_1_1 n59_a_history_of_qed__1_5_2_5_1_4_1_1->n59_a_history_of_qed__1_5_2_5_1_4_1_1_1 n59_a_history_of_qed__1_5_2_5_1_4_2->n59_a_history_of_qed__1_5_2_5_1_4_2_1 n59_a_history_of_qed__1_6->n59_a_history_of_qed__1_6_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ tart;{tart}))
                  (NS comments;{comment})
                  (PP (P-ROLE about;{about})
                      (NP (D the;{the})
                          (N rebarbativeness;{rebarbativeness})
                          (PP (P-ROLE of;{of})
                              (NP (NPR QED;{QED})))
                          (PP (P-ROLE as;{as})
                              (NP (D a;{a})
                                  (N scripting;{scripting})
                                  (N language;{language}))))))
          (BEP;_Ipr_ are;{be[on]})
          (PP-CLR (P-ROLE on;{on})
                  (NP (D the;{the})
                      (N mark;{mark})))
          (PUNC ,)
          (PP-SCON (P-CONN though;{though})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (DOP do;{do})
                           (NEG;_clitic_ n<apos>t;{not})
                           (VB;_Tf_ think;{think})
                           (CP-THT-OB1 (IP-SUB (C that;{that})
                                               (NP-SBJ;{EMACS} (NPR Emacs;{Emacs}))
                                               (BEP;_La_ is;{be})
                                               (ADJP-PRD (ADVP (ADV all_that_much;{all_that_much}))
                                                         (ADJR better;{good}))))))
          (PUNC .))
  (ID 59_a_history_of_qed))


%3 r_0059_0027__better better r_0059_0026__all_that_much all_that_much r_0059_0027__better->r_0059_0026__all_that_much [qual] r_0059_0025__is is r_0059_0025__is->r_0059_0027__better [prd] r_0059_0024__Emacs Emacs r_0059_0025__is->r_0059_0024__Emacs [arg0] r_0059_0021__n_apos_t n't r_0059_0020__do_r_0059_0022__think do think r_0059_0021__n_apos_t->r_0059_0020__do_r_0059_0022__think [keep_scope] r_0059_0020__do_r_0059_0022__think->r_0059_0025__is [arg1] r_0059_0019__I I r_0059_0020__do_r_0059_0022__think->r_0059_0019__I [arg0] r_0059_0018__though though r_0059_0018__though->r_0059_0021__n_apos_t [restriction] r_0059_0013__are_r_0059_0014__on are on r_0059_0018__though->r_0059_0013__are_r_0059_0014__on [scope] r_0059_0015__the_r_0059_0016__mark the mark r_0059_0013__are_r_0059_0014__on->r_0059_0015__the_r_0059_0016__mark [arg1] r_0059_0001__The_r_0059_0003__comments The comments r_0059_0013__are_r_0059_0014__on->r_0059_0001__The_r_0059_0003__comments [arg0] r_0059_0005__the_r_0059_0006__rebarbativeness the rebarbativeness r_0059_0001__The_r_0059_0003__comments->r_0059_0005__the_r_0059_0006__rebarbativeness about r_0059_0002__tart tart r_0059_0001__The_r_0059_0003__comments->r_0059_0002__tart [attrib] r_0059_0010__a_r_0059_0011__scripting_r_0059_0012__language a scripting language r_0059_0005__the_r_0059_0006__rebarbativeness->r_0059_0010__a_r_0059_0011__scripting_r_0059_0012__language as r_0059_0008__QED QED r_0059_0005__the_r_0059_0006__rebarbativeness->r_0059_0008__QED of 
arc(r_0059_0001__The_r_0059_0003__comments,r_0059_0002__tart,attrib).
arc(r_0059_0001__The_r_0059_0003__comments,r_0059_0005__the_r_0059_0006__rebarbativeness,r_0059_0004__about).
arc(r_0059_0005__the_r_0059_0006__rebarbativeness,r_0059_0008__QED,r_0059_0007__of).
arc(r_0059_0005__the_r_0059_0006__rebarbativeness,r_0059_0010__a_r_0059_0011__scripting_r_0059_0012__language,r_0059_0009__as).
arc(r_0059_0013__are_r_0059_0014__on,r_0059_0001__The_r_0059_0003__comments,arg0).
arc(r_0059_0013__are_r_0059_0014__on,r_0059_0015__the_r_0059_0016__mark,arg1).
arc(r_0059_0018__though,r_0059_0013__are_r_0059_0014__on,scope).
arc(r_0059_0018__though,r_0059_0021__n_apos_t,restriction).
arc(r_0059_0020__do_r_0059_0022__think,r_0059_0019__I,arg0).
arc(r_0059_0020__do_r_0059_0022__think,r_0059_0025__is,arg1).
arc(r_0059_0021__n_apos_t,r_0059_0020__do_r_0059_0022__think,keep_scope).
arc(r_0059_0025__is,r_0059_0024__Emacs,arg0).
arc(r_0059_0025__is,r_0059_0027__better,prd).
arc(r_0059_0027__better,r_0059_0026__all_that_much,qual).


%3 r_0059_0001__The_r_0059_0003__comments The comments r_0059_0002__tart tart r_0059_0001__The_r_0059_0003__comments->r_0059_0002__tart [attrib] r_0059_0005__the_r_0059_0006__rebarbativeness the rebarbativeness r_0059_0001__The_r_0059_0003__comments->r_0059_0005__the_r_0059_0006__rebarbativeness about r_0059_0008__QED QED r_0059_0005__the_r_0059_0006__rebarbativeness->r_0059_0008__QED of r_0059_0010__a_r_0059_0011__scripting_r_0059_0012__language a scripting language r_0059_0005__the_r_0059_0006__rebarbativeness->r_0059_0010__a_r_0059_0011__scripting_r_0059_0012__language as r_0059_0013__are_r_0059_0014__on are on r_0059_0013__are_r_0059_0014__on->r_0059_0001__The_r_0059_0003__comments [arg0] r_0059_0015__the_r_0059_0016__mark the mark r_0059_0013__are_r_0059_0014__on->r_0059_0015__the_r_0059_0016__mark [arg1] r_0059_0018__though though r_0059_0018__though->r_0059_0013__are_r_0059_0014__on [conj2] r_0059_0021__n_apos_t n't r_0059_0018__though->r_0059_0021__n_apos_t [conj1] r_0059_0020__do_r_0059_0022__think do think r_0059_0021__n_apos_t->r_0059_0020__do_r_0059_0022__think [keep_scope] r_0059_0019__I I r_0059_0020__do_r_0059_0022__think->r_0059_0019__I [arg0] r_0059_0025__is is r_0059_0020__do_r_0059_0022__think->r_0059_0025__is [arg1] r_0059_0024__Emacs Emacs r_0059_0025__is->r_0059_0024__Emacs [arg0] r_0059_0027__better better r_0059_0025__is->r_0059_0027__better [prd] r_0059_0026__all_that_much all_that_much r_0059_0027__better->r_0059_0026__all_that_much [qual] 
fof(formula,axiom,
    ? [R_0059_0002__TART,R_0059_0008__QED,R_0059_0010__A_R_0059_0011__SCRIPTING_R_0059_0012__LANGUAGE,R_0059_0005__THE_R_0059_0006__REBARBATIVENESS,R_0059_0001__THE_R_0059_0003__COMMENTS,R_0059_0015__THE_R_0059_0016__MARK,R_0059_0013__ARE_R_0059_0014__ON,R_0059_0018__THOUGH] :
      ( r_0059_0002__tart(R_0059_0002__TART)
      & r_0059_0008__QED(R_0059_0008__QED)
      & r_0059_0010__a_r_0059_0011__scripting_r_0059_0012__language(R_0059_0010__A_R_0059_0011__SCRIPTING_R_0059_0012__LANGUAGE)
      & r_0059_0015__the_r_0059_0016__mark(R_0059_0015__THE_R_0059_0016__MARK)
      & r_0059_0018__though(R_0059_0018__THOUGH)
      & has_conj1(R_0059_0018__THOUGH,R_0059_0021__N_APOS_T)
      & ~ ? [R_0059_0019__I,R_0059_0024__EMACS,R_0059_0026__ALL_THAT_MUCH,R_0059_0027__BETTER,R_0059_0025__IS,R_0059_0020__DO_R_0059_0022__THINK] :
            ( r_0059_0019__I(R_0059_0019__I)
            & r_0059_0024__Emacs(R_0059_0024__EMACS)
            & r_0059_0026__all_that_much(R_0059_0026__ALL_THAT_MUCH)
            & r_0059_0020__do_r_0059_0022__think(R_0059_0020__DO_R_0059_0022__THINK)
            & has_arg1(R_0059_0020__DO_R_0059_0022__THINK,R_0059_0025__IS)
            & r_0059_0025__is(R_0059_0025__IS)
            & has_prd(R_0059_0025__IS,R_0059_0027__BETTER)
            & r_0059_0027__better(R_0059_0027__BETTER)
            & has_qual(R_0059_0027__BETTER,R_0059_0026__ALL_THAT_MUCH)
            & has_arg0(R_0059_0025__IS,R_0059_0024__EMACS)
            & has_arg0(R_0059_0020__DO_R_0059_0022__THINK,R_0059_0019__I) )
      & has_conj2(R_0059_0018__THOUGH,R_0059_0013__ARE_R_0059_0014__ON)
      & r_0059_0013__are_r_0059_0014__on(R_0059_0013__ARE_R_0059_0014__ON)
      & has_arg1(R_0059_0013__ARE_R_0059_0014__ON,R_0059_0015__THE_R_0059_0016__MARK)
      & has_arg0(R_0059_0013__ARE_R_0059_0014__ON,R_0059_0001__THE_R_0059_0003__COMMENTS)
      & r_0059_0001__The_r_0059_0003__comments(R_0059_0001__THE_R_0059_0003__COMMENTS)
      & has_r_0059_0004__about(R_0059_0001__THE_R_0059_0003__COMMENTS,R_0059_0005__THE_R_0059_0006__REBARBATIVENESS)
      & r_0059_0005__the_r_0059_0006__rebarbativeness(R_0059_0005__THE_R_0059_0006__REBARBATIVENESS)
      & has_r_0059_0009__as(R_0059_0005__THE_R_0059_0006__REBARBATIVENESS,R_0059_0010__A_R_0059_0011__SCRIPTING_R_0059_0012__LANGUAGE)
      & has_r_0059_0007__of(R_0059_0005__THE_R_0059_0006__REBARBATIVENESS,R_0059_0008__QED)
      & has_attrib(R_0059_0001__THE_R_0059_0003__COMMENTS,R_0059_0002__TART) ) ).