47_a_history_of_qed
0047_0001__The_0047_0004__state
the_state
0047_0002__current
current
0047_0001__The_0047_0004__state->0047_0002__current
[attrib]
0047_0003__local
local
0047_0001__The_0047_0004__state->0047_0003__local
[attrib]
0047_0006__the_0047_0007__QED_0047_0008__line
the_qed_line
0047_0001__The_0047_0004__state->0047_0006__the_0047_0007__QED_0047_0008__line
of
0047_0010__descent
descent
0047_0006__the_0047_0007__QED_0047_0008__line->0047_0010__descent
of
0047_0011__is
is
0047_0012__exemplified
exemplified
0047_0011__is->0047_0012__exemplified
[scope]
0047_0020__see
see
0047_0011__is->0047_0020__see
[prn]
0047_0012__exemplified->0047_0001__The_0047_0004__state
[arg1]
0047_0014__sam
sam
0047_0012__exemplified->0047_0014__sam
by[arg0]
staz_0047_5017
*
0047_0012__exemplified->staz_0047_5017
lgs
0047_0026__sam
sam
0047_0020__see->0047_0026__sam
[arg1]
0047_0035__17_0047_0036___num__0047_0037__11
17__num__11
0047_0020__see->0047_0035__17_0047_0036___num__0047_0037__11
in[nim]
z_0047_5008
_
0047_0020__see->z_0047_5008
[arg0]
0047_0017__Rob_0047_0018__Pike
rob_pike
0047_0014__sam->0047_0017__Rob_0047_0018__Pike
by
0047_0021__his
his
0047_0026__sam->0047_0021__his
[gen]
0047_0023__The_0047_0024__Text_0047_0025__Editor
the_text_editor
0047_0026__sam->0047_0023__The_0047_0024__Text_0047_0025__Editor
[modifier]
0047_0030__Software_0047_0032__Practice_0047_0033__and_0047_0034__Experience
software_practice_and_experience
0047_0035__17_0047_0036___num__0047_0037__11->0047_0030__Software_0047_0032__Practice_0047_0033__and_0047_0034__Experience
[modifier]
z_0047_5013
_
z_0047_5013->0047_0035__17_0047_0036___num__0047_0037__11
[arg0]
0047_0039__Nov._0047_0040__1987
nov._1987
z_0047_5013->0047_0039__Nov._0047_0040__1987
[prd]
arc(r_0047_0001__The_r_0047_0004__state,r_0047_0002__current,attrib).
arc(r_0047_0001__The_r_0047_0004__state,r_0047_0003__local,attrib).
arc(r_0047_0001__The_r_0047_0004__state,r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line,r_0047_0005__of).
arc(r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line,r_0047_0010__descent,r_0047_0009__of).
arc(r_0047_0011__is,r_0047_0012__exemplified,keep_scope).
arc(r_0047_0011__is,r_0047_0020__see,prn).
arc(r_0047_0012__exemplified,r_0047_0001__The_r_0047_0004__state,arg1).
arc(r_0047_0012__exemplified,r_0047_0014__sam,r_0047_0013__by_arg0).
arc(r_0047_0012__exemplified,star_z_0047_5017,lgs).
arc(r_0047_0014__sam,r_0047_0017__Rob_r_0047_0018__Pike,r_0047_0016__by).
arc(r_0047_0020__see,r_0047_0026__sam,arg1).
arc(r_0047_0020__see,r_0047_0035__17_r_0047_0036___num__r_0047_0037__11,r_0047_0029__in__nim).
arc(r_0047_0020__see,z_0047_5008,arg0).
arc(r_0047_0026__sam,r_0047_0021__his,gen).
arc(r_0047_0026__sam,r_0047_0023__The_r_0047_0024__Text_r_0047_0025__Editor,modifier).
arc(r_0047_0035__17_r_0047_0036___num__r_0047_0037__11,r_0047_0030__Software_r_0047_0032__Practice_r_0047_0033__and_r_0047_0034__Experience,modifier).
arc(z_0047_5013,r_0047_0035__17_r_0047_0036___num__r_0047_0037__11,arg0).
arc(z_0047_5013,r_0047_0039__Nov_dot__r_0047_0040__1987,prd).
IP-MAT
NP-SBJ
D
The
ADJP
ADJ
current
ADJP
ADJ
local
N
state
PP
P-ROLE
of
NP
D
the
NPR
QED
N
line
PP
P-ROLE
of
NP
N
descent
BEP;~cat_Ve_passive_
is
IP-PPL-CAT
NP-LGS
*
VVN
exemplified
PP-LGS
P-ROLE;_lgs_
by
NP
NPR
sam
PUNC
,
PP
P-ROLE
by
NP
NPR
Rob
NPR
Pike
PULB
-LRB-
PRN
IP-IMP
VB
see
NP-OB1
NP-GEN
PRO;_genm_
his
PULQ
“
NLYR
D
The
N
Text
N
Editor
NPR
sam
PUNC
,
PURQ
”
PP-NIM
P-ROLE
in
NP
NLYR
NPR
Software
PUNC
--
NLYR
NLYR
NLYR
NPR
Practice
CONJP
CONJ
and
NLYR
NPR
Experience
NUM
17
N
<num>
NUM
11
PUNC
,
PRN
NP
NPR
Nov.
NPR
1987
PURB
-RRB-
PUNC
.
( (IP-MAT (NP-SBJ (D The;{the})
(ADJP (ADJ current;{current}))
(ADJP (ADJ local;{local}))
(N state;{state})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NPR QED;{QED})
(N line;{line})
(PP (P-ROLE of;{of})
(NP (N descent;{descent}))))))
(BEP;~cat_Ve_passive_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN exemplified;{exemplify})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP;{SAM} (NPR sam;{sam})
(PUNC ,)
(PP (P-ROLE by;{by})
(NP;{ROB} (NPR Rob;{Rob})
(NPR Pike;{Pike}))))))
(PULB -LRB-)
(PRN (IP-IMP (VB see;{see})
(NP-OB1 (NP-GEN;{ROB} (PRO;_genm_ his;{his}))
(PULQ <ldquo>)
(NLYR (D The;{the})
(N Text;{text})
(N Editor;{editor}))
(NPR sam;{sam})
(PUNC ,)
(PURQ <rdquo>))
(PP-NIM (P-ROLE in;{in})
(NP (NLYR (NPR Software;{Software})
(PUNC --)
(NLYR (NLYR (NLYR (NPR Practice;{Practice}))
(CONJP (CONJ and;{and})
(NLYR (NPR Experience;{Experience}))))))
(NUM 17)
(N <num>)
(NUM 11)
(PUNC ,)
(PRN (NP (NPR Nov<dot>)
(NPR 1987)))))))
(PURB -RRB-)
(PUNC .))
(ID 47_a_history_of_qed))