9_a_paulfellows
%3
r_0009_0014__got
got
r_0009_0015__to_r_0009_0016__do
to do
r_0009_0014__got->r_0009_0015__to_r_0009_0016__do
[scope]
r_0009_0013__he
he
r_0009_0015__to_r_0009_0016__do->r_0009_0013__he
[arg0]
r_0009_0017__the_r_0009_0018__core
the core
r_0009_0015__to_r_0009_0016__do->r_0009_0017__the_r_0009_0018__core
[arg1]
r_0009_0020__the_r_0009_0022__system
the system
r_0009_0017__the_r_0009_0018__core->r_0009_0020__the_r_0009_0022__system
of
r_0009_0021__operating
operating
r_0009_0021__operating->r_0009_0020__the_r_0009_0022__system
[arg0]
r_0009_0025__the_r_0009_0027__guts
the guts
r_0009_0024__so
so
r_0009_0025__the_r_0009_0027__guts->r_0009_0024__so
[qual]
r_0009_0026__real
real
r_0009_0025__the_r_0009_0027__guts->r_0009_0026__real
[attrib]
r_0009_0029__Arthur
Arthur
r_0009_0025__the_r_0009_0027__guts->r_0009_0029__Arthur
of
r_0009_0029__Arthur->r_0009_0013__he
[nim]
z_000_9_a_paulfellows_62
z_000_9_a_paulfellows_62->r_0009_0017__the_r_0009_0018__core
[arg0]
z_000_9_a_paulfellows_62->r_0009_0025__the_r_0009_0027__guts
[prd]
arc(r_0009_0014__got, r_0009_0015__to_r_0009_0016__do, scope).
arc(r_0009_0015__to_r_0009_0016__do, r_0009_0013__he, arg0).
arc(r_0009_0015__to_r_0009_0016__do, r_0009_0017__the_r_0009_0018__core, arg1).
arc(r_0009_0017__the_r_0009_0018__core, r_0009_0020__the_r_0009_0022__system, r_0009_0019__of).
arc(r_0009_0021__operating, r_0009_0020__the_r_0009_0022__system, arg0).
arc(r_0009_0025__the_r_0009_0027__guts, r_0009_0024__so, qual64).
arc(r_0009_0025__the_r_0009_0027__guts, r_0009_0026__real, attrib69).
arc(r_0009_0025__the_r_0009_0027__guts, r_0009_0029__Arthur, r_0009_0028__of).
arc(r_0009_0029__Arthur, r_0009_0013__he, nim80).
arc(z_000_9_a_paulfellows_62, r_0009_0017__the_r_0009_0018__core, arg0).
arc(z_000_9_a_paulfellows_62, r_0009_0025__the_r_0009_0027__guts, prd).
%3
r_0009_0014__got_r_0009_0015__to_r_0009_0016__do
got to do
r_0009_0013__he
he
r_0009_0014__got_r_0009_0015__to_r_0009_0016__do->r_0009_0013__he
[arg0]
r_0009_0017__the_r_0009_0018__core
the core
r_0009_0014__got_r_0009_0015__to_r_0009_0016__do->r_0009_0017__the_r_0009_0018__core
[arg1]
r_0009_0020__the_r_0009_0022__system
the system
r_0009_0017__the_r_0009_0018__core->r_0009_0020__the_r_0009_0022__system
of
r_0009_0021__operating
operating
r_0009_0021__operating->r_0009_0020__the_r_0009_0022__system
[arg0]
r_0009_0025__the_r_0009_0027__guts
the guts
r_0009_0024__so
so
r_0009_0025__the_r_0009_0027__guts->r_0009_0024__so
[qual]
r_0009_0026__real
real
r_0009_0025__the_r_0009_0027__guts->r_0009_0026__real
[attrib]
r_0009_0029__Arthur
Arthur
r_0009_0025__the_r_0009_0027__guts->r_0009_0029__Arthur
of
r_0009_0029__Arthur->r_0009_0013__he
[nim]
z_000_9_a_paulfellows_62
z_000_9_a_paulfellows_62->r_0009_0017__the_r_0009_0018__core
[arg0]
z_000_9_a_paulfellows_62->r_0009_0025__the_r_0009_0027__guts
[prd]
fof(formula,axiom,
? [R_9_14_GOT_TO_DO,R_9_21_OPERATING,Z_9_A_PAULFELLOWS_62,R_9_17_THE_CORE,R_9_20_THE_SYSTEM,R_9_25_THE_GUTS,R_9_26_REAL,R_9_24_SO,R_9_29_ARTHUR,R_9_13_HE] :
( the_system(R_9_20_THE_SYSTEM)
& real(R_9_26_REAL)
& so(R_9_24_SO)
& he(R_9_13_HE)
& got_to_do(R_9_14_GOT_TO_DO,R_9_13_HE,R_9_17_THE_CORE)
& the_core(R_9_17_THE_CORE)
& of(R_9_17_THE_CORE,R_9_20_THE_SYSTEM)
& operating(R_9_21_OPERATING,R_9_20_THE_SYSTEM)
& z_9_a_paulfellows_62(Z_9_A_PAULFELLOWS_62,R_9_17_THE_CORE,R_9_25_THE_GUTS)
& the_guts(R_9_25_THE_GUTS)
& attrib69(R_9_25_THE_GUTS,R_9_26_REAL)
& qual64(R_9_25_THE_GUTS,R_9_24_SO)
& of(R_9_25_THE_GUTS,R_9_29_ARTHUR)
& arthur(R_9_29_ARTHUR)
& nim80(R_9_29_ARTHUR,R_9_13_HE) ) ).
n9_a_paulfellows
n9_a_paulfellows_6
Tony
n9_a_paulfellows_8
Thompson
n9_a_paulfellows_10
,
n9_a_paulfellows_14
who
n9_a_paulfellows_16
had
n9_a_paulfellows_19
done
n9_a_paulfellows_22
that
n9_a_paulfellows_24
implementation
n9_a_paulfellows_27
of
n9_a_paulfellows_30
BASIC
n9_a_paulfellows_32
64
n9_a_paulfellows_34
,
n9_a_paulfellows_36
he
n9_a_paulfellows_38
got
n9_a_paulfellows_41
to
n9_a_paulfellows_43
do
n9_a_paulfellows_46
the
n9_a_paulfellows_48
core
n9_a_paulfellows_51
of
n9_a_paulfellows_54
the
n9_a_paulfellows_57
operating
n9_a_paulfellows_59
system
n9_a_paulfellows_61
,
n9_a_paulfellows_66
so
n9_a_paulfellows_68
the
n9_a_paulfellows_71
real
n9_a_paulfellows_73
guts
n9_a_paulfellows_76
of
n9_a_paulfellows_79
Arthur
n9_a_paulfellows_82
itself
n9_a_paulfellows_84
.
n9_a_paulfellows_1
IP-MAT
n9_a_paulfellows_2
NP-SBJ
n9_a_paulfellows_1->n9_a_paulfellows_2
n9_a_paulfellows_37
VBD;_cat_Vt_
n9_a_paulfellows_1->n9_a_paulfellows_37
n9_a_paulfellows_39
IP-INF-CAT
n9_a_paulfellows_1->n9_a_paulfellows_39
n9_a_paulfellows_83
PUNC
n9_a_paulfellows_1->n9_a_paulfellows_83
n9_a_paulfellows_3
IP-PPL
n9_a_paulfellows_2->n9_a_paulfellows_3
n9_a_paulfellows_33
PUNC
n9_a_paulfellows_2->n9_a_paulfellows_33
n9_a_paulfellows_35
PRO
n9_a_paulfellows_2->n9_a_paulfellows_35
n9_a_paulfellows_4
NP-PRD
n9_a_paulfellows_3->n9_a_paulfellows_4
n9_a_paulfellows_5
NPR
n9_a_paulfellows_4->n9_a_paulfellows_5
n9_a_paulfellows_7
NPR
n9_a_paulfellows_4->n9_a_paulfellows_7
n9_a_paulfellows_9
PUNC
n9_a_paulfellows_4->n9_a_paulfellows_9
n9_a_paulfellows_11
IP-REL
n9_a_paulfellows_4->n9_a_paulfellows_11
n9_a_paulfellows_5->n9_a_paulfellows_6
n9_a_paulfellows_7->n9_a_paulfellows_8
n9_a_paulfellows_9->n9_a_paulfellows_10
n9_a_paulfellows_12
NP-SBJ
n9_a_paulfellows_11->n9_a_paulfellows_12
n9_a_paulfellows_15
HVD;_cat_Ve_
n9_a_paulfellows_11->n9_a_paulfellows_15
n9_a_paulfellows_17
IP-PPL-CAT
n9_a_paulfellows_11->n9_a_paulfellows_17
n9_a_paulfellows_13
RPRO
n9_a_paulfellows_12->n9_a_paulfellows_13
n9_a_paulfellows_13->n9_a_paulfellows_14
n9_a_paulfellows_15->n9_a_paulfellows_16
n9_a_paulfellows_18
DON;_Tn_
n9_a_paulfellows_17->n9_a_paulfellows_18
n9_a_paulfellows_20
NP-OB1
n9_a_paulfellows_17->n9_a_paulfellows_20
n9_a_paulfellows_18->n9_a_paulfellows_19
n9_a_paulfellows_21
D
n9_a_paulfellows_20->n9_a_paulfellows_21
n9_a_paulfellows_23
N
n9_a_paulfellows_20->n9_a_paulfellows_23
n9_a_paulfellows_25
PP
n9_a_paulfellows_20->n9_a_paulfellows_25
n9_a_paulfellows_21->n9_a_paulfellows_22
n9_a_paulfellows_23->n9_a_paulfellows_24
n9_a_paulfellows_26
P-ROLE
n9_a_paulfellows_25->n9_a_paulfellows_26
n9_a_paulfellows_28
NP
n9_a_paulfellows_25->n9_a_paulfellows_28
n9_a_paulfellows_26->n9_a_paulfellows_27
n9_a_paulfellows_29
NPR
n9_a_paulfellows_28->n9_a_paulfellows_29
n9_a_paulfellows_31
NUM
n9_a_paulfellows_28->n9_a_paulfellows_31
n9_a_paulfellows_29->n9_a_paulfellows_30
n9_a_paulfellows_31->n9_a_paulfellows_32
n9_a_paulfellows_33->n9_a_paulfellows_34
n9_a_paulfellows_35->n9_a_paulfellows_36
n9_a_paulfellows_37->n9_a_paulfellows_38
n9_a_paulfellows_40
TO
n9_a_paulfellows_39->n9_a_paulfellows_40
n9_a_paulfellows_42
DO;_Tn_
n9_a_paulfellows_39->n9_a_paulfellows_42
n9_a_paulfellows_44
NP-OB1
n9_a_paulfellows_39->n9_a_paulfellows_44
n9_a_paulfellows_40->n9_a_paulfellows_41
n9_a_paulfellows_42->n9_a_paulfellows_43
n9_a_paulfellows_45
D
n9_a_paulfellows_44->n9_a_paulfellows_45
n9_a_paulfellows_47
N
n9_a_paulfellows_44->n9_a_paulfellows_47
n9_a_paulfellows_49
PP
n9_a_paulfellows_44->n9_a_paulfellows_49
n9_a_paulfellows_60
PUNC
n9_a_paulfellows_44->n9_a_paulfellows_60
n9_a_paulfellows_62
IP-PPL
n9_a_paulfellows_44->n9_a_paulfellows_62
n9_a_paulfellows_45->n9_a_paulfellows_46
n9_a_paulfellows_47->n9_a_paulfellows_48
n9_a_paulfellows_50
P-ROLE
n9_a_paulfellows_49->n9_a_paulfellows_50
n9_a_paulfellows_52
NP
n9_a_paulfellows_49->n9_a_paulfellows_52
n9_a_paulfellows_50->n9_a_paulfellows_51
n9_a_paulfellows_53
D
n9_a_paulfellows_52->n9_a_paulfellows_53
n9_a_paulfellows_55
IP-PPL
n9_a_paulfellows_52->n9_a_paulfellows_55
n9_a_paulfellows_58
N
n9_a_paulfellows_52->n9_a_paulfellows_58
n9_a_paulfellows_53->n9_a_paulfellows_54
n9_a_paulfellows_56
VAG;_I_
n9_a_paulfellows_55->n9_a_paulfellows_56
n9_a_paulfellows_56->n9_a_paulfellows_57
n9_a_paulfellows_58->n9_a_paulfellows_59
n9_a_paulfellows_60->n9_a_paulfellows_61
n9_a_paulfellows_63
NP-PRD
n9_a_paulfellows_62->n9_a_paulfellows_63
n9_a_paulfellows_64
ADVP
n9_a_paulfellows_63->n9_a_paulfellows_64
n9_a_paulfellows_67
D
n9_a_paulfellows_63->n9_a_paulfellows_67
n9_a_paulfellows_69
ADJP
n9_a_paulfellows_63->n9_a_paulfellows_69
n9_a_paulfellows_72
NS
n9_a_paulfellows_63->n9_a_paulfellows_72
n9_a_paulfellows_74
PP
n9_a_paulfellows_63->n9_a_paulfellows_74
n9_a_paulfellows_65
ADV
n9_a_paulfellows_64->n9_a_paulfellows_65
n9_a_paulfellows_65->n9_a_paulfellows_66
n9_a_paulfellows_67->n9_a_paulfellows_68
n9_a_paulfellows_70
ADJ
n9_a_paulfellows_69->n9_a_paulfellows_70
n9_a_paulfellows_70->n9_a_paulfellows_71
n9_a_paulfellows_72->n9_a_paulfellows_73
n9_a_paulfellows_75
P-ROLE
n9_a_paulfellows_74->n9_a_paulfellows_75
n9_a_paulfellows_77
NP
n9_a_paulfellows_74->n9_a_paulfellows_77
n9_a_paulfellows_75->n9_a_paulfellows_76
n9_a_paulfellows_78
NPR
n9_a_paulfellows_77->n9_a_paulfellows_78
n9_a_paulfellows_80
NP-RFL
n9_a_paulfellows_77->n9_a_paulfellows_80
n9_a_paulfellows_78->n9_a_paulfellows_79
n9_a_paulfellows_81
PNX
n9_a_paulfellows_80->n9_a_paulfellows_81
n9_a_paulfellows_81->n9_a_paulfellows_82
n9_a_paulfellows_83->n9_a_paulfellows_84
( (IP-MAT (NP-SBJ (IP-PPL (NP-PRD (NPR Tony;{Tony})
(NPR Thompson;{Thompson})
(PUNC ,)
(IP-REL (NP-SBJ (RPRO who;{who}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (DON;_Tn_ done;{do})
(NP-OB1 (D that;{that})
(N implementation;{implementation})
(PP (P-ROLE of;{of})
(NP (NPR BASIC;{BASIC})
(NUM 64))))))))
(PUNC ,)
(PRO he;{he}))
(VBD;_cat_Vt_ got;{get})
(IP-INF-CAT (TO to;{to})
(DO;_Tn_ do;{do})
(NP-OB1 (D the;{the})
(N core;{core})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(IP-PPL (VAG;_I_ operating;{operate}))
(N system;{system})))
(PUNC ,)
(IP-PPL (NP-PRD (ADVP (ADV so;{so}))
(D the;{the})
(ADJP (ADJ real;{real}))
(NS guts;{gut})
(PP (P-ROLE of;{of})
(NP (NPR Arthur;{Arthur})
(NP-RFL (PNX itself;{itself}))))))))
(PUNC .))
(ID 9_a_paulfellows))