59_a_history_of_qed
%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_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
[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_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]
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_4
The
n59_a_history_of_qed_7
tart
n59_a_history_of_qed_9
comments
n59_a_history_of_qed_12
about
n59_a_history_of_qed_15
the
n59_a_history_of_qed_17
rebarbativeness
n59_a_history_of_qed_20
of
n59_a_history_of_qed_23
QED
n59_a_history_of_qed_26
as
n59_a_history_of_qed_29
a
n59_a_history_of_qed_31
scripting
n59_a_history_of_qed_33
language
n59_a_history_of_qed_35
are
n59_a_history_of_qed_38
on
n59_a_history_of_qed_41
the
n59_a_history_of_qed_43
mark
n59_a_history_of_qed_45
,
n59_a_history_of_qed_48
though
n59_a_history_of_qed_52
I
n59_a_history_of_qed_54
do
n59_a_history_of_qed_56
n't
n59_a_history_of_qed_58
think
n59_a_history_of_qed_62
that
n59_a_history_of_qed_65
Emacs
n59_a_history_of_qed_67
is
n59_a_history_of_qed_71
all_that_much
n59_a_history_of_qed_73
better
n59_a_history_of_qed_75
.
n59_a_history_of_qed_1
IP-MAT
n59_a_history_of_qed_2
NP-SBJ
n59_a_history_of_qed_1->n59_a_history_of_qed_2
n59_a_history_of_qed_34
BEP;_Ipr_
n59_a_history_of_qed_1->n59_a_history_of_qed_34
n59_a_history_of_qed_36
PP-CLR
n59_a_history_of_qed_1->n59_a_history_of_qed_36
n59_a_history_of_qed_44
PUNC
n59_a_history_of_qed_1->n59_a_history_of_qed_44
n59_a_history_of_qed_46
PP-SCON
n59_a_history_of_qed_1->n59_a_history_of_qed_46
n59_a_history_of_qed_74
PUNC
n59_a_history_of_qed_1->n59_a_history_of_qed_74
n59_a_history_of_qed_3
D
n59_a_history_of_qed_2->n59_a_history_of_qed_3
n59_a_history_of_qed_5
ADJP
n59_a_history_of_qed_2->n59_a_history_of_qed_5
n59_a_history_of_qed_8
NS
n59_a_history_of_qed_2->n59_a_history_of_qed_8
n59_a_history_of_qed_10
PP
n59_a_history_of_qed_2->n59_a_history_of_qed_10
n59_a_history_of_qed_3->n59_a_history_of_qed_4
n59_a_history_of_qed_6
ADJ
n59_a_history_of_qed_5->n59_a_history_of_qed_6
n59_a_history_of_qed_6->n59_a_history_of_qed_7
n59_a_history_of_qed_8->n59_a_history_of_qed_9
n59_a_history_of_qed_11
P-ROLE
n59_a_history_of_qed_10->n59_a_history_of_qed_11
n59_a_history_of_qed_13
NP
n59_a_history_of_qed_10->n59_a_history_of_qed_13
n59_a_history_of_qed_11->n59_a_history_of_qed_12
n59_a_history_of_qed_14
D
n59_a_history_of_qed_13->n59_a_history_of_qed_14
n59_a_history_of_qed_16
N
n59_a_history_of_qed_13->n59_a_history_of_qed_16
n59_a_history_of_qed_18
PP
n59_a_history_of_qed_13->n59_a_history_of_qed_18
n59_a_history_of_qed_24
PP
n59_a_history_of_qed_13->n59_a_history_of_qed_24
n59_a_history_of_qed_14->n59_a_history_of_qed_15
n59_a_history_of_qed_16->n59_a_history_of_qed_17
n59_a_history_of_qed_19
P-ROLE
n59_a_history_of_qed_18->n59_a_history_of_qed_19
n59_a_history_of_qed_21
NP
n59_a_history_of_qed_18->n59_a_history_of_qed_21
n59_a_history_of_qed_19->n59_a_history_of_qed_20
n59_a_history_of_qed_22
NPR
n59_a_history_of_qed_21->n59_a_history_of_qed_22
n59_a_history_of_qed_22->n59_a_history_of_qed_23
n59_a_history_of_qed_25
P-ROLE
n59_a_history_of_qed_24->n59_a_history_of_qed_25
n59_a_history_of_qed_27
NP
n59_a_history_of_qed_24->n59_a_history_of_qed_27
n59_a_history_of_qed_25->n59_a_history_of_qed_26
n59_a_history_of_qed_28
D
n59_a_history_of_qed_27->n59_a_history_of_qed_28
n59_a_history_of_qed_30
N
n59_a_history_of_qed_27->n59_a_history_of_qed_30
n59_a_history_of_qed_32
N
n59_a_history_of_qed_27->n59_a_history_of_qed_32
n59_a_history_of_qed_28->n59_a_history_of_qed_29
n59_a_history_of_qed_30->n59_a_history_of_qed_31
n59_a_history_of_qed_32->n59_a_history_of_qed_33
n59_a_history_of_qed_34->n59_a_history_of_qed_35
n59_a_history_of_qed_37
P-ROLE
n59_a_history_of_qed_36->n59_a_history_of_qed_37
n59_a_history_of_qed_39
NP
n59_a_history_of_qed_36->n59_a_history_of_qed_39
n59_a_history_of_qed_37->n59_a_history_of_qed_38
n59_a_history_of_qed_40
D
n59_a_history_of_qed_39->n59_a_history_of_qed_40
n59_a_history_of_qed_42
N
n59_a_history_of_qed_39->n59_a_history_of_qed_42
n59_a_history_of_qed_40->n59_a_history_of_qed_41
n59_a_history_of_qed_42->n59_a_history_of_qed_43
n59_a_history_of_qed_44->n59_a_history_of_qed_45
n59_a_history_of_qed_47
P-CONN
n59_a_history_of_qed_46->n59_a_history_of_qed_47
n59_a_history_of_qed_49
IP-ADV
n59_a_history_of_qed_46->n59_a_history_of_qed_49
n59_a_history_of_qed_47->n59_a_history_of_qed_48
n59_a_history_of_qed_50
NP-SBJ
n59_a_history_of_qed_49->n59_a_history_of_qed_50
n59_a_history_of_qed_53
DOP
n59_a_history_of_qed_49->n59_a_history_of_qed_53
n59_a_history_of_qed_55
NEG;_clitic_
n59_a_history_of_qed_49->n59_a_history_of_qed_55
n59_a_history_of_qed_57
VB;_Tf_
n59_a_history_of_qed_49->n59_a_history_of_qed_57
n59_a_history_of_qed_59
CP-THT-OB1
n59_a_history_of_qed_49->n59_a_history_of_qed_59
n59_a_history_of_qed_51
PRO
n59_a_history_of_qed_50->n59_a_history_of_qed_51
n59_a_history_of_qed_51->n59_a_history_of_qed_52
n59_a_history_of_qed_53->n59_a_history_of_qed_54
n59_a_history_of_qed_55->n59_a_history_of_qed_56
n59_a_history_of_qed_57->n59_a_history_of_qed_58
n59_a_history_of_qed_60
IP-SUB
n59_a_history_of_qed_59->n59_a_history_of_qed_60
n59_a_history_of_qed_61
C
n59_a_history_of_qed_60->n59_a_history_of_qed_61
n59_a_history_of_qed_63
NP-SBJ
n59_a_history_of_qed_60->n59_a_history_of_qed_63
n59_a_history_of_qed_66
BEP;_La_
n59_a_history_of_qed_60->n59_a_history_of_qed_66
n59_a_history_of_qed_68
ADJP-PRD
n59_a_history_of_qed_60->n59_a_history_of_qed_68
n59_a_history_of_qed_61->n59_a_history_of_qed_62
n59_a_history_of_qed_64
NPR
n59_a_history_of_qed_63->n59_a_history_of_qed_64
n59_a_history_of_qed_64->n59_a_history_of_qed_65
n59_a_history_of_qed_66->n59_a_history_of_qed_67
n59_a_history_of_qed_69
ADVP
n59_a_history_of_qed_68->n59_a_history_of_qed_69
n59_a_history_of_qed_72
ADJR
n59_a_history_of_qed_68->n59_a_history_of_qed_72
n59_a_history_of_qed_70
ADV
n59_a_history_of_qed_69->n59_a_history_of_qed_70
n59_a_history_of_qed_70->n59_a_history_of_qed_71
n59_a_history_of_qed_72->n59_a_history_of_qed_73
n59_a_history_of_qed_74->n59_a_history_of_qed_75
( (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))