16_a_history_of_qed
%3
r_0016_0003__was
was
r_0016_0001__This_r_0016_0002__one
This one
r_0016_0003__was->r_0016_0001__This_r_0016_0002__one
[arg0]
r_0016_0005__BCPL
BCPL
r_0016_0003__was->r_0016_0005__BCPL
in [clr]
r_0016_0007__and
and
r_0016_0007__and->r_0016_0003__was
[conj1]
r_0016_0008__instead_of
instead of
r_0016_0007__and->r_0016_0008__instead_of
[conj2]
r_0016_0009__compiling
compiling
r_0016_0008__instead_of->r_0016_0009__compiling
[restriction]
r_0016_0016__were
were
r_0016_0008__instead_of->r_0016_0016__were
[scope]
r_0016_0011__machine_r_0016_0012__code
machine code
r_0016_0009__compiling->r_0016_0011__machine_r_0016_0012__code
to [nim]
r_0016_0015__expressions
expressions
r_0016_0009__compiling->r_0016_0015__expressions
[arg0]
r_0016_0017__represented
represented
r_0016_0016__were->r_0016_0017__represented
[scope]
r_0016_0014__regular
regular
r_0016_0015__expressions->r_0016_0014__regular
[attrib]
r_0016_0017__represented->r_0016_0015__expressions
[arg1]
r_0016_0019__trees
trees
r_0016_0017__represented->r_0016_0019__trees
[prd]
z_000_16_a_history_of_qed_48
r_0016_0017__represented->z_000_16_a_history_of_qed_48
[arg0]
r_0016_0020__that_r_0016_0021__were
that were
r_0016_0022__interpreted
interpreted
r_0016_0020__that_r_0016_0021__were->r_0016_0022__interpreted
[scope]
r_0016_0022__interpreted->r_0016_0019__trees
[arg1]
r_0016_0024__the_r_0016_0025__editor
the editor
r_0016_0022__interpreted->r_0016_0024__the_r_0016_0025__editor
[arg0]
arc(r_0016_0003__was, r_0016_0001__This_r_0016_0002__one, arg0).
arc(r_0016_0003__was, r_0016_0005__BCPL, r_0016_0004__in_clr14).
arc(r_0016_0007__and, r_0016_0003__was, conj1).
arc(r_0016_0007__and, r_0016_0008__instead_of, conj2).
arc(r_0016_0008__instead_of, r_0016_0009__compiling, restriction).
arc(r_0016_0008__instead_of, r_0016_0016__were, scope).
arc(r_0016_0009__compiling, r_0016_0011__machine_r_0016_0012__code, r_0016_0010__to_nim32).
arc(r_0016_0009__compiling, r_0016_0015__expressions, arg0).
arc(r_0016_0015__expressions, r_0016_0014__regular, attrib40).
arc(r_0016_0016__were, r_0016_0017__represented, scope).
arc(r_0016_0017__represented, r_0016_0015__expressions, arg1).
arc(r_0016_0017__represented, r_0016_0019__trees, prd).
arc(r_0016_0017__represented, z_000_16_a_history_of_qed_48, arg0).
arc(r_0016_0020__that_r_0016_0021__were, r_0016_0022__interpreted, scope).
arc(r_0016_0022__interpreted, r_0016_0019__trees, arg1).
arc(r_0016_0022__interpreted, r_0016_0024__the_r_0016_0025__editor, arg0).
%3
r_0016_0003__was
was
r_0016_0001__This_r_0016_0002__one
This one
r_0016_0003__was->r_0016_0001__This_r_0016_0002__one
[arg0]
r_0016_0005__BCPL
BCPL
r_0016_0003__was->r_0016_0005__BCPL
in [clr]
r_0016_0007__and
and
r_0016_0007__and->r_0016_0003__was
[conj1]
r_0016_0008__instead_of
instead of
r_0016_0007__and->r_0016_0008__instead_of
[conj2]
r_0016_0009__compiling
compiling
r_0016_0008__instead_of->r_0016_0009__compiling
[conj1]
r_0016_0016__were_r_0016_0017__represented
were represented
r_0016_0008__instead_of->r_0016_0016__were_r_0016_0017__represented
[conj2]
r_0016_0011__machine_r_0016_0012__code
machine code
r_0016_0009__compiling->r_0016_0011__machine_r_0016_0012__code
to [nim]
r_0016_0015__expressions
expressions
r_0016_0009__compiling->r_0016_0015__expressions
[arg0]
r_0016_0016__were_r_0016_0017__represented->r_0016_0015__expressions
[arg1]
r_0016_0019__trees
trees
r_0016_0016__were_r_0016_0017__represented->r_0016_0019__trees
[prd]
z_000_16_a_history_of_qed_48
r_0016_0016__were_r_0016_0017__represented->z_000_16_a_history_of_qed_48
[arg0]
r_0016_0014__regular
regular
r_0016_0015__expressions->r_0016_0014__regular
[attrib]
r_0016_0020__that_r_0016_0021__were_r_0016_0022__interpreted
that were interpreted
r_0016_0020__that_r_0016_0021__were_r_0016_0022__interpreted->r_0016_0019__trees
[arg1]
r_0016_0024__the_r_0016_0025__editor
the editor
r_0016_0020__that_r_0016_0021__were_r_0016_0022__interpreted->r_0016_0024__the_r_0016_0025__editor
[arg0]
fof(formula,axiom,
? [R_16_7_AND,R_16_3_WAS,R_16_1_THIS_ONE,R_16_5_BCPL,R_16_8_INSTEAD_OF,R_16_9_COMPILING,R_16_11_MACHINE_CODE,R_16_16_WERE_REPRESENTED,Z_16_A_HISTORY_OF_QED_48,R_16_15_EXPRESSIONS,R_16_14_REGULAR,R_16_20_THAT_WERE_INTERPRETED,R_16_24_THE_EDITOR,R_16_19_TREES] :
( this_one(R_16_1_THIS_ONE)
& bCPL(R_16_5_BCPL)
& machine_code(R_16_11_MACHINE_CODE)
& regular(R_16_14_REGULAR)
& the_editor(R_16_24_THE_EDITOR)
& trees(R_16_19_TREES)
& and(R_16_7_AND)
& conj1(R_16_7_AND,R_16_3_WAS)
& was(R_16_3_WAS,R_16_1_THIS_ONE)
& in_clr14(R_16_3_WAS,R_16_5_BCPL)
& conj2(R_16_7_AND,R_16_8_INSTEAD_OF)
& instead_of(R_16_8_INSTEAD_OF)
& conj1(R_16_8_INSTEAD_OF,R_16_9_COMPILING)
& compiling(R_16_9_COMPILING,R_16_15_EXPRESSIONS)
& expressions(R_16_15_EXPRESSIONS)
& attrib40(R_16_15_EXPRESSIONS,R_16_14_REGULAR)
& to_nim32(R_16_9_COMPILING,R_16_11_MACHINE_CODE)
& conj2(R_16_8_INSTEAD_OF,R_16_16_WERE_REPRESENTED)
& were_represented(R_16_16_WERE_REPRESENTED,Z_16_A_HISTORY_OF_QED_48,R_16_15_EXPRESSIONS,R_16_19_TREES)
& that_were_interpreted(R_16_20_THAT_WERE_INTERPRETED,R_16_24_THE_EDITOR,R_16_19_TREES) ) ).
n16_a_history_of_qed
n16_a_history_of_qed_6
This
n16_a_history_of_qed_8
one
n16_a_history_of_qed_10
was
n16_a_history_of_qed_13
in
n16_a_history_of_qed_16
BCPL
n16_a_history_of_qed_18
,
n16_a_history_of_qed_21
and
n16_a_history_of_qed_25
instead_of
n16_a_history_of_qed_28
compiling
n16_a_history_of_qed_31
to
n16_a_history_of_qed_34
machine
n16_a_history_of_qed_36
code
n16_a_history_of_qed_38
,
n16_a_history_of_qed_42
regular
n16_a_history_of_qed_44
expressions
n16_a_history_of_qed_46
were
n16_a_history_of_qed_49
*
n16_a_history_of_qed_51
represented
n16_a_history_of_qed_54
as
n16_a_history_of_qed_57
trees
n16_a_history_of_qed_60
that
n16_a_history_of_qed_62
*T*
n16_a_history_of_qed_64
were
n16_a_history_of_qed_67
*
n16_a_history_of_qed_69
interpreted
n16_a_history_of_qed_72
by
n16_a_history_of_qed_75
the
n16_a_history_of_qed_77
editor
n16_a_history_of_qed_79
.
n16_a_history_of_qed_1
IP-MAT
n16_a_history_of_qed_2
ILYR
n16_a_history_of_qed_1->n16_a_history_of_qed_2
n16_a_history_of_qed_78
PUNC
n16_a_history_of_qed_1->n16_a_history_of_qed_78
n16_a_history_of_qed_3
ILYR
n16_a_history_of_qed_2->n16_a_history_of_qed_3
n16_a_history_of_qed_17
PUNC
n16_a_history_of_qed_2->n16_a_history_of_qed_17
n16_a_history_of_qed_19
CONJP
n16_a_history_of_qed_2->n16_a_history_of_qed_19
n16_a_history_of_qed_4
NP-SBJ
n16_a_history_of_qed_3->n16_a_history_of_qed_4
n16_a_history_of_qed_9
BED;_Ipr_
n16_a_history_of_qed_3->n16_a_history_of_qed_9
n16_a_history_of_qed_11
PP-CLR
n16_a_history_of_qed_3->n16_a_history_of_qed_11
n16_a_history_of_qed_5
D
n16_a_history_of_qed_4->n16_a_history_of_qed_5
n16_a_history_of_qed_7
NUM
n16_a_history_of_qed_4->n16_a_history_of_qed_7
n16_a_history_of_qed_5->n16_a_history_of_qed_6
n16_a_history_of_qed_7->n16_a_history_of_qed_8
n16_a_history_of_qed_9->n16_a_history_of_qed_10
n16_a_history_of_qed_12
P-ROLE
n16_a_history_of_qed_11->n16_a_history_of_qed_12
n16_a_history_of_qed_14
NP
n16_a_history_of_qed_11->n16_a_history_of_qed_14
n16_a_history_of_qed_12->n16_a_history_of_qed_13
n16_a_history_of_qed_15
NPR
n16_a_history_of_qed_14->n16_a_history_of_qed_15
n16_a_history_of_qed_15->n16_a_history_of_qed_16
n16_a_history_of_qed_17->n16_a_history_of_qed_18
n16_a_history_of_qed_20
CONJ
n16_a_history_of_qed_19->n16_a_history_of_qed_20
n16_a_history_of_qed_22
ILYR
n16_a_history_of_qed_19->n16_a_history_of_qed_22
n16_a_history_of_qed_20->n16_a_history_of_qed_21
n16_a_history_of_qed_23
PP-SCON
n16_a_history_of_qed_22->n16_a_history_of_qed_23
n16_a_history_of_qed_37
PUNC
n16_a_history_of_qed_22->n16_a_history_of_qed_37
n16_a_history_of_qed_39
NP-SBJ
n16_a_history_of_qed_22->n16_a_history_of_qed_39
n16_a_history_of_qed_45
BED;_cat_VePASS_
n16_a_history_of_qed_22->n16_a_history_of_qed_45
n16_a_history_of_qed_47
IP-PPL-CAT
n16_a_history_of_qed_22->n16_a_history_of_qed_47
n16_a_history_of_qed_24
P-CONN
n16_a_history_of_qed_23->n16_a_history_of_qed_24
n16_a_history_of_qed_26
IP-PPL2
n16_a_history_of_qed_23->n16_a_history_of_qed_26
n16_a_history_of_qed_24->n16_a_history_of_qed_25
n16_a_history_of_qed_27
VAG;__
n16_a_history_of_qed_26->n16_a_history_of_qed_27
n16_a_history_of_qed_29
PP-NIM
n16_a_history_of_qed_26->n16_a_history_of_qed_29
n16_a_history_of_qed_27->n16_a_history_of_qed_28
n16_a_history_of_qed_30
P-ROLE
n16_a_history_of_qed_29->n16_a_history_of_qed_30
n16_a_history_of_qed_32
NP
n16_a_history_of_qed_29->n16_a_history_of_qed_32
n16_a_history_of_qed_30->n16_a_history_of_qed_31
n16_a_history_of_qed_33
N
n16_a_history_of_qed_32->n16_a_history_of_qed_33
n16_a_history_of_qed_35
N
n16_a_history_of_qed_32->n16_a_history_of_qed_35
n16_a_history_of_qed_33->n16_a_history_of_qed_34
n16_a_history_of_qed_35->n16_a_history_of_qed_36
n16_a_history_of_qed_37->n16_a_history_of_qed_38
n16_a_history_of_qed_40
ADJP
n16_a_history_of_qed_39->n16_a_history_of_qed_40
n16_a_history_of_qed_43
NS
n16_a_history_of_qed_39->n16_a_history_of_qed_43
n16_a_history_of_qed_41
ADJ
n16_a_history_of_qed_40->n16_a_history_of_qed_41
n16_a_history_of_qed_41->n16_a_history_of_qed_42
n16_a_history_of_qed_43->n16_a_history_of_qed_44
n16_a_history_of_qed_45->n16_a_history_of_qed_46
n16_a_history_of_qed_48
NP-LGS
n16_a_history_of_qed_47->n16_a_history_of_qed_48
n16_a_history_of_qed_50
VVN;__
n16_a_history_of_qed_47->n16_a_history_of_qed_50
n16_a_history_of_qed_52
PP-PRD
n16_a_history_of_qed_47->n16_a_history_of_qed_52
n16_a_history_of_qed_48->n16_a_history_of_qed_49
n16_a_history_of_qed_50->n16_a_history_of_qed_51
n16_a_history_of_qed_53
P-ROLE
n16_a_history_of_qed_52->n16_a_history_of_qed_53
n16_a_history_of_qed_55
NP
n16_a_history_of_qed_52->n16_a_history_of_qed_55
n16_a_history_of_qed_53->n16_a_history_of_qed_54
n16_a_history_of_qed_56
NS
n16_a_history_of_qed_55->n16_a_history_of_qed_56
n16_a_history_of_qed_58
IP-REL
n16_a_history_of_qed_55->n16_a_history_of_qed_58
n16_a_history_of_qed_56->n16_a_history_of_qed_57
n16_a_history_of_qed_59
C
n16_a_history_of_qed_58->n16_a_history_of_qed_59
n16_a_history_of_qed_61
NP-SBJ
n16_a_history_of_qed_58->n16_a_history_of_qed_61
n16_a_history_of_qed_63
BED;_cat_VePASS_
n16_a_history_of_qed_58->n16_a_history_of_qed_63
n16_a_history_of_qed_65
IP-PPL-CAT
n16_a_history_of_qed_58->n16_a_history_of_qed_65
n16_a_history_of_qed_59->n16_a_history_of_qed_60
n16_a_history_of_qed_61->n16_a_history_of_qed_62
n16_a_history_of_qed_63->n16_a_history_of_qed_64
n16_a_history_of_qed_66
NP-LGS
n16_a_history_of_qed_65->n16_a_history_of_qed_66
n16_a_history_of_qed_68
VVN;__
n16_a_history_of_qed_65->n16_a_history_of_qed_68
n16_a_history_of_qed_70
PP-LGS
n16_a_history_of_qed_65->n16_a_history_of_qed_70
n16_a_history_of_qed_66->n16_a_history_of_qed_67
n16_a_history_of_qed_68->n16_a_history_of_qed_69
n16_a_history_of_qed_71
P-ROLE;_lgs_
n16_a_history_of_qed_70->n16_a_history_of_qed_71
n16_a_history_of_qed_73
NP
n16_a_history_of_qed_70->n16_a_history_of_qed_73
n16_a_history_of_qed_71->n16_a_history_of_qed_72
n16_a_history_of_qed_74
D
n16_a_history_of_qed_73->n16_a_history_of_qed_74
n16_a_history_of_qed_76
N
n16_a_history_of_qed_73->n16_a_history_of_qed_76
n16_a_history_of_qed_74->n16_a_history_of_qed_75
n16_a_history_of_qed_76->n16_a_history_of_qed_77
n16_a_history_of_qed_78->n16_a_history_of_qed_79
( (IP-MAT (ILYR (ILYR (NP-SBJ;{MULTICS_QED} (D This;{this})
(NUM one;{one}))
(BED;_Ipr_ was;{be[in]})
(PP-CLR (P-ROLE in;{in})
(NP (NPR BCPL;{BCPL}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (PP-SCON (P-CONN instead_of;{instead_of})
(IP-PPL2 (VAG;__ compiling;{compile})
(PP-NIM (P-ROLE to;{to})
(NP (N machine;{machine})
(N code;{code})))))
(PUNC ,)
(NP-SBJ (ADJP (ADJ regular;{regular}))
(NS expressions;{expression}))
(BED;_cat_VePASS_ were;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ represented;{represent})
(PP-PRD (P-ROLE as;{as})
(NP (NS trees;{tree})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(BED;_cat_VePASS_ were;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ interpreted;{interpret})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D the;{the})
(N editor;{editor})))))))))))
(PUNC .))
(ID 16_a_history_of_qed))