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
z_000_9_a_paulfellows_62
r_0009_0025__the_r_0009_0027__guts
the guts
z_000_9_a_paulfellows_62->r_0009_0025__the_r_0009_0027__guts
[prd]
r_0009_0017__the_r_0009_0018__core
the core
z_000_9_a_paulfellows_62->r_0009_0017__the_r_0009_0018__core
[arg0]
r_0009_0029__Arthur
Arthur
r_0009_0025__the_r_0009_0027__guts->r_0009_0029__Arthur
of
r_0009_0026__real
real
r_0009_0025__the_r_0009_0027__guts->r_0009_0026__real
[attrib]
r_0009_0024__so
so
r_0009_0025__the_r_0009_0027__guts->r_0009_0024__so
[qual]
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_0013__he
he
r_0009_0029__Arthur->r_0009_0013__he
[nim]
r_0009_0021__operating
operating
r_0009_0021__operating->r_0009_0020__the_r_0009_0022__system
[arg0]
r_0009_0014__got_r_0009_0015__to_r_0009_0016__do
got to do
r_0009_0014__got_r_0009_0015__to_r_0009_0016__do->r_0009_0017__the_r_0009_0018__core
[arg1]
r_0009_0014__got_r_0009_0015__to_r_0009_0016__do->r_0009_0013__he
[arg0]
fof(formula,axiom,
? [R_0009_0013__HE,R_0009_0020__THE_R_0009_0022__SYSTEM,R_0009_0017__THE_R_0009_0018__CORE,R_0009_0014__GOT_R_0009_0015__TO_R_0009_0016__DO,R_0009_0021__OPERATING,R_0009_0024__SO,R_0009_0026__REAL,R_0009_0029__ARTHUR,R_0009_0025__THE_R_0009_0027__GUTS,Z_000_9_A_PAULFELLOWS_62] :
( r_0009_0013__he(R_0009_0013__HE)
& r_0009_0020__the_r_0009_0022__system(R_0009_0020__THE_R_0009_0022__SYSTEM)
& r_0009_0024__so(R_0009_0024__SO)
& r_0009_0026__real(R_0009_0026__REAL)
& z_000_9_a_paulfellows_62(Z_000_9_A_PAULFELLOWS_62)
& has_prd(Z_000_9_A_PAULFELLOWS_62,R_0009_0025__THE_R_0009_0027__GUTS)
& r_0009_0025__the_r_0009_0027__guts(R_0009_0025__THE_R_0009_0027__GUTS)
& has_r_0009_0028__of(R_0009_0025__THE_R_0009_0027__GUTS,R_0009_0029__ARTHUR)
& r_0009_0029__Arthur(R_0009_0029__ARTHUR)
& has_nim80(R_0009_0029__ARTHUR,R_0009_0013__HE)
& has_attrib69(R_0009_0025__THE_R_0009_0027__GUTS,R_0009_0026__REAL)
& has_qual64(R_0009_0025__THE_R_0009_0027__GUTS,R_0009_0024__SO)
& has_arg0(Z_000_9_A_PAULFELLOWS_62,R_0009_0017__THE_R_0009_0018__CORE)
& r_0009_0017__the_r_0009_0018__core(R_0009_0017__THE_R_0009_0018__CORE)
& has_r_0009_0019__of(R_0009_0017__THE_R_0009_0018__CORE,R_0009_0020__THE_R_0009_0022__SYSTEM)
& r_0009_0021__operating(R_0009_0021__OPERATING)
& has_arg0(R_0009_0021__OPERATING,R_0009_0020__THE_R_0009_0022__SYSTEM)
& r_0009_0014__got_r_0009_0015__to_r_0009_0016__do(R_0009_0014__GOT_R_0009_0015__TO_R_0009_0016__DO)
& has_arg1(R_0009_0014__GOT_R_0009_0015__TO_R_0009_0016__DO,R_0009_0017__THE_R_0009_0018__CORE)
& has_arg0(R_0009_0014__GOT_R_0009_0015__TO_R_0009_0016__DO,R_0009_0013__HE) ) ).
n9_a_paulfellows
n9_a_paulfellows__1_1_1_1_1_1
Tony
n9_a_paulfellows__1_1_1_1_2_1
Thompson
n9_a_paulfellows__1_1_1_1_3_1
,
n9_a_paulfellows__1_1_1_1_4_1_1_1
who
n9_a_paulfellows__1_1_1_1_4_2_1
had
n9_a_paulfellows__1_1_1_1_4_3_1_1
done
n9_a_paulfellows__1_1_1_1_4_3_2_1_1
that
n9_a_paulfellows__1_1_1_1_4_3_2_2_1
implementation
n9_a_paulfellows__1_1_1_1_4_3_2_3_1_1
of
n9_a_paulfellows__1_1_1_1_4_3_2_3_2_1_1
BASIC
n9_a_paulfellows__1_1_1_1_4_3_2_3_2_2_1
64
n9_a_paulfellows__1_1_2_1
,
n9_a_paulfellows__1_1_3_1
he
n9_a_paulfellows__1_2_1
got
n9_a_paulfellows__1_3_1_1
to
n9_a_paulfellows__1_3_2_1
do
n9_a_paulfellows__1_3_3_1_1
the
n9_a_paulfellows__1_3_3_2_1
core
n9_a_paulfellows__1_3_3_3_1_1
of
n9_a_paulfellows__1_3_3_3_2_1_1
the
n9_a_paulfellows__1_3_3_3_2_2_1_1
operating
n9_a_paulfellows__1_3_3_3_2_3_1
system
n9_a_paulfellows__1_3_3_4_1
,
n9_a_paulfellows__1_3_3_5_1_1_1_1
so
n9_a_paulfellows__1_3_3_5_1_2_1
the
n9_a_paulfellows__1_3_3_5_1_3_1_1
real
n9_a_paulfellows__1_3_3_5_1_4_1
guts
n9_a_paulfellows__1_3_3_5_1_5_1_1
of
n9_a_paulfellows__1_3_3_5_1_5_2_1_1
Arthur
n9_a_paulfellows__1_3_3_5_1_5_2_2_1_1
itself
n9_a_paulfellows__1_4_1
.
n9_a_paulfellows__1
IP-MAT
n9_a_paulfellows__1_1
NP-SBJ
n9_a_paulfellows__1->n9_a_paulfellows__1_1
n9_a_paulfellows__1_2
VBD;_cat_Vt_
n9_a_paulfellows__1->n9_a_paulfellows__1_2
n9_a_paulfellows__1_3
IP-INF-CAT
n9_a_paulfellows__1->n9_a_paulfellows__1_3
n9_a_paulfellows__1_4
PUNC
n9_a_paulfellows__1->n9_a_paulfellows__1_4
n9_a_paulfellows__1_1_1
IP-PPL
n9_a_paulfellows__1_1->n9_a_paulfellows__1_1_1
n9_a_paulfellows__1_1_2
PUNC
n9_a_paulfellows__1_1->n9_a_paulfellows__1_1_2
n9_a_paulfellows__1_1_3
PRO
n9_a_paulfellows__1_1->n9_a_paulfellows__1_1_3
n9_a_paulfellows__1_1_1_1
NP-PRD
n9_a_paulfellows__1_1_1->n9_a_paulfellows__1_1_1_1
n9_a_paulfellows__1_1_1_1_1
NPR
n9_a_paulfellows__1_1_1_1->n9_a_paulfellows__1_1_1_1_1
n9_a_paulfellows__1_1_1_1_2
NPR
n9_a_paulfellows__1_1_1_1->n9_a_paulfellows__1_1_1_1_2
n9_a_paulfellows__1_1_1_1_3
PUNC
n9_a_paulfellows__1_1_1_1->n9_a_paulfellows__1_1_1_1_3
n9_a_paulfellows__1_1_1_1_4
IP-REL
n9_a_paulfellows__1_1_1_1->n9_a_paulfellows__1_1_1_1_4
n9_a_paulfellows__1_1_1_1_1->n9_a_paulfellows__1_1_1_1_1_1
n9_a_paulfellows__1_1_1_1_2->n9_a_paulfellows__1_1_1_1_2_1
n9_a_paulfellows__1_1_1_1_3->n9_a_paulfellows__1_1_1_1_3_1
n9_a_paulfellows__1_1_1_1_4_1
NP-SBJ
n9_a_paulfellows__1_1_1_1_4->n9_a_paulfellows__1_1_1_1_4_1
n9_a_paulfellows__1_1_1_1_4_2
HVD;_cat_Ve_
n9_a_paulfellows__1_1_1_1_4->n9_a_paulfellows__1_1_1_1_4_2
n9_a_paulfellows__1_1_1_1_4_3
IP-PPL-CAT
n9_a_paulfellows__1_1_1_1_4->n9_a_paulfellows__1_1_1_1_4_3
n9_a_paulfellows__1_1_1_1_4_1_1
RPRO
n9_a_paulfellows__1_1_1_1_4_1->n9_a_paulfellows__1_1_1_1_4_1_1
n9_a_paulfellows__1_1_1_1_4_1_1->n9_a_paulfellows__1_1_1_1_4_1_1_1
n9_a_paulfellows__1_1_1_1_4_2->n9_a_paulfellows__1_1_1_1_4_2_1
n9_a_paulfellows__1_1_1_1_4_3_1
DON;_Tn_
n9_a_paulfellows__1_1_1_1_4_3->n9_a_paulfellows__1_1_1_1_4_3_1
n9_a_paulfellows__1_1_1_1_4_3_2
NP-OB1
n9_a_paulfellows__1_1_1_1_4_3->n9_a_paulfellows__1_1_1_1_4_3_2
n9_a_paulfellows__1_1_1_1_4_3_1->n9_a_paulfellows__1_1_1_1_4_3_1_1
n9_a_paulfellows__1_1_1_1_4_3_2_1
D
n9_a_paulfellows__1_1_1_1_4_3_2->n9_a_paulfellows__1_1_1_1_4_3_2_1
n9_a_paulfellows__1_1_1_1_4_3_2_2
N
n9_a_paulfellows__1_1_1_1_4_3_2->n9_a_paulfellows__1_1_1_1_4_3_2_2
n9_a_paulfellows__1_1_1_1_4_3_2_3
PP
n9_a_paulfellows__1_1_1_1_4_3_2->n9_a_paulfellows__1_1_1_1_4_3_2_3
n9_a_paulfellows__1_1_1_1_4_3_2_1->n9_a_paulfellows__1_1_1_1_4_3_2_1_1
n9_a_paulfellows__1_1_1_1_4_3_2_2->n9_a_paulfellows__1_1_1_1_4_3_2_2_1
n9_a_paulfellows__1_1_1_1_4_3_2_3_1
P-ROLE
n9_a_paulfellows__1_1_1_1_4_3_2_3->n9_a_paulfellows__1_1_1_1_4_3_2_3_1
n9_a_paulfellows__1_1_1_1_4_3_2_3_2
NP
n9_a_paulfellows__1_1_1_1_4_3_2_3->n9_a_paulfellows__1_1_1_1_4_3_2_3_2
n9_a_paulfellows__1_1_1_1_4_3_2_3_1->n9_a_paulfellows__1_1_1_1_4_3_2_3_1_1
n9_a_paulfellows__1_1_1_1_4_3_2_3_2_1
NPR
n9_a_paulfellows__1_1_1_1_4_3_2_3_2->n9_a_paulfellows__1_1_1_1_4_3_2_3_2_1
n9_a_paulfellows__1_1_1_1_4_3_2_3_2_2
NUM
n9_a_paulfellows__1_1_1_1_4_3_2_3_2->n9_a_paulfellows__1_1_1_1_4_3_2_3_2_2
n9_a_paulfellows__1_1_1_1_4_3_2_3_2_1->n9_a_paulfellows__1_1_1_1_4_3_2_3_2_1_1
n9_a_paulfellows__1_1_1_1_4_3_2_3_2_2->n9_a_paulfellows__1_1_1_1_4_3_2_3_2_2_1
n9_a_paulfellows__1_1_2->n9_a_paulfellows__1_1_2_1
n9_a_paulfellows__1_1_3->n9_a_paulfellows__1_1_3_1
n9_a_paulfellows__1_2->n9_a_paulfellows__1_2_1
n9_a_paulfellows__1_3_1
TO
n9_a_paulfellows__1_3->n9_a_paulfellows__1_3_1
n9_a_paulfellows__1_3_2
DO;_Tn_
n9_a_paulfellows__1_3->n9_a_paulfellows__1_3_2
n9_a_paulfellows__1_3_3
NP-OB1
n9_a_paulfellows__1_3->n9_a_paulfellows__1_3_3
n9_a_paulfellows__1_3_1->n9_a_paulfellows__1_3_1_1
n9_a_paulfellows__1_3_2->n9_a_paulfellows__1_3_2_1
n9_a_paulfellows__1_3_3_1
D
n9_a_paulfellows__1_3_3->n9_a_paulfellows__1_3_3_1
n9_a_paulfellows__1_3_3_2
N
n9_a_paulfellows__1_3_3->n9_a_paulfellows__1_3_3_2
n9_a_paulfellows__1_3_3_3
PP
n9_a_paulfellows__1_3_3->n9_a_paulfellows__1_3_3_3
n9_a_paulfellows__1_3_3_4
PUNC
n9_a_paulfellows__1_3_3->n9_a_paulfellows__1_3_3_4
n9_a_paulfellows__1_3_3_5
IP-PPL
n9_a_paulfellows__1_3_3->n9_a_paulfellows__1_3_3_5
n9_a_paulfellows__1_3_3_1->n9_a_paulfellows__1_3_3_1_1
n9_a_paulfellows__1_3_3_2->n9_a_paulfellows__1_3_3_2_1
n9_a_paulfellows__1_3_3_3_1
P-ROLE
n9_a_paulfellows__1_3_3_3->n9_a_paulfellows__1_3_3_3_1
n9_a_paulfellows__1_3_3_3_2
NP
n9_a_paulfellows__1_3_3_3->n9_a_paulfellows__1_3_3_3_2
n9_a_paulfellows__1_3_3_3_1->n9_a_paulfellows__1_3_3_3_1_1
n9_a_paulfellows__1_3_3_3_2_1
D
n9_a_paulfellows__1_3_3_3_2->n9_a_paulfellows__1_3_3_3_2_1
n9_a_paulfellows__1_3_3_3_2_2
IP-PPL
n9_a_paulfellows__1_3_3_3_2->n9_a_paulfellows__1_3_3_3_2_2
n9_a_paulfellows__1_3_3_3_2_3
N
n9_a_paulfellows__1_3_3_3_2->n9_a_paulfellows__1_3_3_3_2_3
n9_a_paulfellows__1_3_3_3_2_1->n9_a_paulfellows__1_3_3_3_2_1_1
n9_a_paulfellows__1_3_3_3_2_2_1
VAG;_I_
n9_a_paulfellows__1_3_3_3_2_2->n9_a_paulfellows__1_3_3_3_2_2_1
n9_a_paulfellows__1_3_3_3_2_2_1->n9_a_paulfellows__1_3_3_3_2_2_1_1
n9_a_paulfellows__1_3_3_3_2_3->n9_a_paulfellows__1_3_3_3_2_3_1
n9_a_paulfellows__1_3_3_4->n9_a_paulfellows__1_3_3_4_1
n9_a_paulfellows__1_3_3_5_1
NP-PRD
n9_a_paulfellows__1_3_3_5->n9_a_paulfellows__1_3_3_5_1
n9_a_paulfellows__1_3_3_5_1_1
ADVP
n9_a_paulfellows__1_3_3_5_1->n9_a_paulfellows__1_3_3_5_1_1
n9_a_paulfellows__1_3_3_5_1_2
D
n9_a_paulfellows__1_3_3_5_1->n9_a_paulfellows__1_3_3_5_1_2
n9_a_paulfellows__1_3_3_5_1_3
ADJP
n9_a_paulfellows__1_3_3_5_1->n9_a_paulfellows__1_3_3_5_1_3
n9_a_paulfellows__1_3_3_5_1_4
NS
n9_a_paulfellows__1_3_3_5_1->n9_a_paulfellows__1_3_3_5_1_4
n9_a_paulfellows__1_3_3_5_1_5
PP
n9_a_paulfellows__1_3_3_5_1->n9_a_paulfellows__1_3_3_5_1_5
n9_a_paulfellows__1_3_3_5_1_1_1
ADV
n9_a_paulfellows__1_3_3_5_1_1->n9_a_paulfellows__1_3_3_5_1_1_1
n9_a_paulfellows__1_3_3_5_1_1_1->n9_a_paulfellows__1_3_3_5_1_1_1_1
n9_a_paulfellows__1_3_3_5_1_2->n9_a_paulfellows__1_3_3_5_1_2_1
n9_a_paulfellows__1_3_3_5_1_3_1
ADJ
n9_a_paulfellows__1_3_3_5_1_3->n9_a_paulfellows__1_3_3_5_1_3_1
n9_a_paulfellows__1_3_3_5_1_3_1->n9_a_paulfellows__1_3_3_5_1_3_1_1
n9_a_paulfellows__1_3_3_5_1_4->n9_a_paulfellows__1_3_3_5_1_4_1
n9_a_paulfellows__1_3_3_5_1_5_1
P-ROLE
n9_a_paulfellows__1_3_3_5_1_5->n9_a_paulfellows__1_3_3_5_1_5_1
n9_a_paulfellows__1_3_3_5_1_5_2
NP
n9_a_paulfellows__1_3_3_5_1_5->n9_a_paulfellows__1_3_3_5_1_5_2
n9_a_paulfellows__1_3_3_5_1_5_1->n9_a_paulfellows__1_3_3_5_1_5_1_1
n9_a_paulfellows__1_3_3_5_1_5_2_1
NPR
n9_a_paulfellows__1_3_3_5_1_5_2->n9_a_paulfellows__1_3_3_5_1_5_2_1
n9_a_paulfellows__1_3_3_5_1_5_2_2
NP-RFL
n9_a_paulfellows__1_3_3_5_1_5_2->n9_a_paulfellows__1_3_3_5_1_5_2_2
n9_a_paulfellows__1_3_3_5_1_5_2_1->n9_a_paulfellows__1_3_3_5_1_5_2_1_1
n9_a_paulfellows__1_3_3_5_1_5_2_2_1
PNX
n9_a_paulfellows__1_3_3_5_1_5_2_2->n9_a_paulfellows__1_3_3_5_1_5_2_2_1
n9_a_paulfellows__1_3_3_5_1_5_2_2_1->n9_a_paulfellows__1_3_3_5_1_5_2_2_1_1
n9_a_paulfellows__1_4->n9_a_paulfellows__1_4_1
( (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))