15_a_history_of_qed
0015_0002__was
was
0015_0003__used
used
0015_0002__was->0015_0003__used
[scope]
0015_0001__CTSS
ctss
0015_0003__used->0015_0001__CTSS
[arg1]
0015_0005__Bell_0015_0006__Labs
bell_labs
0015_0003__used->0015_0005__Bell_0015_0006__Labs
at[nim]
0015_0008__part
part
0015_0003__used->0015_0008__part
as[prd]
staz_0015_5006
*
0015_0003__used->staz_0015_5006
[arg0]
0015_0011__participation
participation
0015_0008__part->0015_0011__participation
of
0015_0010__our
our
0015_0011__participation->0015_0010__our
[gen]
0015_0013__the_0015_0014__Multics_0015_0015__project
the_multics_project
0015_0011__participation->0015_0013__the_0015_0014__Multics_0015_0015__project
in
0015_0017__and
and
0015_0017__and->0015_0002__was
[conj1]
0015_0018__as
as
0015_0017__and->0015_0018__as
[conj2]
0015_0020__began
began
0015_0018__as->0015_0020__began
[restriction]
0015_0026__wrote
wrote
0015_0018__as->0015_0026__wrote
[scope]
0015_0019__Ken
ken
0015_0020__began->0015_0019__Ken
[arg0]
0015_0022__use
use
0015_0020__began->0015_0022__use
[arg1]
0015_0026__wrote->0015_0019__Ken
[arg0]
0015_0028__anothe0015_0029__version
another_version
0015_0026__wrote->0015_0028__anothe0015_0029__version
[arg1]
0015_0022__use->0015_0019__Ken
[arg0]
0015_0023__Multics
multics
0015_0022__use->0015_0023__Multics
[arg1]
0015_0028__anothe0015_0029__version->0015_0023__Multics
for
0015_0027__yet
yet
0015_0028__anothe0015_0029__version->0015_0027__yet
[qual]
0015_0031__QED
qed
0015_0028__anothe0015_0029__version->0015_0031__QED
of
arc(r_0015_0002__was,r_0015_0003__used,keep_scope).
arc(r_0015_0003__used,r_0015_0001__CTSS,arg1).
arc(r_0015_0003__used,r_0015_0005__Bell_r_0015_0006__Labs,r_0015_0004__at__nim).
arc(r_0015_0003__used,r_0015_0008__part,r_0015_0007__as__prd).
arc(r_0015_0003__used,star_z_0015_5006,arg0).
arc(r_0015_0008__part,r_0015_0011__participation,r_0015_0009__of).
arc(r_0015_0011__participation,r_0015_0010__our,gen).
arc(r_0015_0011__participation,r_0015_0013__the_r_0015_0014__Multics_r_0015_0015__project,r_0015_0012__in).
arc(r_0015_0017__and,r_0015_0002__was,coord_conj1).
arc(r_0015_0017__and,r_0015_0018__as,coord_conj2).
arc(r_0015_0018__as,r_0015_0020__began,restriction).
arc(r_0015_0018__as,r_0015_0026__wrote,scope).
arc(r_0015_0020__began,r_0015_0019__Ken,arg0).
arc(r_0015_0020__began,r_0015_0022__use,arg1).
arc(r_0015_0022__use,r_0015_0019__Ken,arg0).
arc(r_0015_0022__use,r_0015_0023__Multics,arg1).
arc(r_0015_0026__wrote,r_0015_0019__Ken,arg0).
arc(r_0015_0026__wrote,r_0015_0028__another_r_0015_0029__version,arg1).
arc(r_0015_0028__another_r_0015_0029__version,r_0015_0023__Multics,r_0015_0032__for).
arc(r_0015_0028__another_r_0015_0029__version,r_0015_0027__yet,qual).
arc(r_0015_0028__another_r_0015_0029__version,r_0015_0031__QED,r_0015_0030__of).
IP-MAT
ILYR
ILYR
NP-SBJ
NPR
CTSS
BED;~cat_Ve_passive_
was
IP-PPL-CAT
NP-LGS
*
VVN;~Cn.n/a
used
PP-NIM
P-ROLE
at
NP
NPR
Bell
NPRS
Labs
PP-PRD
P-ROLE
as
NP
N
part
PP
P-ROLE
of
NP
NP-GEN
PRO;_genm_
our
N
participation
PP
P-ROLE
in
NP
D
the
NPR
Multics
N
project
PUNC
,
CONJP
CONJ
and
ILYR
PP-SCON
P-CONN
as
IP-ADV
NP-SBJ
NPR
Ken
VBD
began
IP-INF-OB1
TO
to
VB
use
NP-OB1
NPR
Multics
PUNC
,
NP-SBJ
PRO
he
VBD
wrote
NP-OB1
ADVP
ADV
yet
D
another
N
version
PP
P-ROLE
of
NP
NPR
QED
PP
P-ROLE
for
NP
D
that
N
system
PUNC
.
( (IP-MAT (ILYR (ILYR (NP-SBJ (NPR CTSS;{CTSS}))
(BED;~cat_Ve_passive_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;~Cn.n/a used;{use[as]})
(PP-NIM (P-ROLE at;{at})
(NP;{BELL_LABS} (NPR Bell;{Bell})
(NPRS Labs;{Labs})))
(PP-PRD (P-ROLE as;{as})
(NP (N part;{part})
(PP (P-ROLE of;{of})
(NP (NP-GEN;{BELL_LABS} (PRO;_genm_ our;{our}))
(N participation;{participation})
(PP (P-ROLE in;{in})
(NP (D the;{the})
(NPR Multics;{Multics})
(N project;{project})))))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (PP-SCON (P-CONN as;{as})
(IP-ADV (NP-SBJ;{KEN} (NPR Ken;{Ken}))
(VBD began;{begin})
(IP-INF-OB1 (TO to;{to})
(VB use;{use})
(NP-OB1;{MULTICS} (NPR Multics;{Multics})))))
(PUNC ,)
(NP-SBJ;{KEN} (PRO he;{he}))
(VBD wrote;{write})
(NP-OB1;{MULTICS_QED} (ADVP (ADV yet;{yet}))
(D another;{another})
(N version;{version})
(PP (P-ROLE of;{of})
(NP (NPR QED;{QED})))
(PP (P-ROLE for;{for})
(NP;{MULTICS} (D that;{that})
(N system;{system})))))))
(PUNC .))
(ID 15_a_history_of_qed))