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.

%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 are r_0059_0013__are->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_0015__the_r_0059_0016__mark on [clr] r_0059_0018__though though r_0059_0018__though->r_0059_0013__are [scope] r_0059_0021__n_apos_t n't r_0059_0018__though->r_0059_0021__n_apos_t [restriction] 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_0023__that_r_0059_0025__is that is r_0059_0020__do_r_0059_0022__think->r_0059_0023__that_r_0059_0025__is [arg1] r_0059_0024__Emacs Emacs r_0059_0023__that_r_0059_0025__is->r_0059_0024__Emacs [arg0] r_0059_0027__better better r_0059_0023__that_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] 
arc(r_0059_0001__The_r_0059_0003__comments, r_0059_0002__tart, attrib5).
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_0001__The_r_0059_0003__comments, arg0).
arc(r_0059_0013__are, r_0059_0015__the_r_0059_0016__mark, r_0059_0014__on_clr39).
arc(r_0059_0018__though, r_0059_0013__are, 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_0023__that_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_0023__that_r_0059_0025__is, r_0059_0024__Emacs, arg0).
arc(r_0059_0023__that_r_0059_0025__is, r_0059_0027__better, prd).
arc(r_0059_0027__better, r_0059_0026__all_that_much, qual69).


%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_0023__that_r_0059_0025__is that is r_0059_0023__that_r_0059_0025__is->r_0059_0027__better [prd] r_0059_0024__Emacs Emacs r_0059_0023__that_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_0023__that_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 [conj1] r_0059_0013__are are r_0059_0018__though->r_0059_0013__are [conj2] r_0059_0015__the_r_0059_0016__mark the mark r_0059_0013__are->r_0059_0015__the_r_0059_0016__mark on [clr] r_0059_0001__The_r_0059_0003__comments The comments r_0059_0013__are->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 
fof(formula,axiom,
    ? [R_59_18_THOUGH,R_59_13_ARE,R_59_1_THE_COMMENTS,R_59_2_TART,R_59_5_THE_REBARBATIVENESS,R_59_8_QED,R_59_10_A_SCRIPTING_LANGUAGE,R_59_15_THE_MARK] :
      ( tart(R_59_2_TART)
      & qED(R_59_8_QED)
      & a_scripting_language(R_59_10_A_SCRIPTING_LANGUAGE)
      & the_mark(R_59_15_THE_MARK)
      & though(R_59_18_THOUGH)
      & conj1(R_59_18_THOUGH,R_59_21_N_APOS_T)
      & ~ ? [R_59_20_DO_THINK,R_59_19_I,R_59_23_THAT_IS,R_59_24_EMACS,R_59_27_BETTER,R_59_26_ALL_THAT_MUCH] :
            ( i(R_59_19_I)
            & emacs(R_59_24_EMACS)
            & all_that_much(R_59_26_ALL_THAT_MUCH)
            & do_think(R_59_20_DO_THINK,R_59_19_I,R_59_23_THAT_IS)
            & that_is(R_59_23_THAT_IS,R_59_24_EMACS,R_59_27_BETTER)
            & better(R_59_27_BETTER)
            & qual69(R_59_27_BETTER,R_59_26_ALL_THAT_MUCH) )
      & conj2(R_59_18_THOUGH,R_59_13_ARE)
      & are(R_59_13_ARE,R_59_1_THE_COMMENTS)
      & the_comments(R_59_1_THE_COMMENTS)
      & attrib5(R_59_1_THE_COMMENTS,R_59_2_TART)
      & about(R_59_1_THE_COMMENTS,R_59_5_THE_REBARBATIVENESS)
      & the_rebarbativeness(R_59_5_THE_REBARBATIVENESS)
      & of(R_59_5_THE_REBARBATIVENESS,R_59_8_QED)
      & as(R_59_5_THE_REBARBATIVENESS,R_59_10_A_SCRIPTING_LANGUAGE)
      & on_clr39(R_59_13_ARE,R_59_15_THE_MARK) ) ).


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))