73_a_paulfellows
n73_a_paulfellows
n73_a_paulfellows__1_1_1_1
When
n73_a_paulfellows__1_1_2_1_1_1
the
n73_a_paulfellows__1_1_2_1_2_1_1
fourth
n73_a_paulfellows__1_1_2_1_3_1
one
n73_a_paulfellows__1_1_2_2_1
started
n73_a_paulfellows__1_2_1_1_1_1
the
n73_a_paulfellows__1_2_1_1_2_1
system
n73_a_paulfellows__1_2_1_2_1_1_1
started
n73_a_paulfellows__1_2_1_2_1_2_1_1
to
n73_a_paulfellows__1_2_1_2_1_2_2_1
engage
n73_a_paulfellows__1_2_1_2_1_2_3_1_1_1
virtual
n73_a_paulfellows__1_2_1_2_1_2_3_2_1
memory
n73_a_paulfellows__1_2_1_2_2_1_1
and
n73_a_paulfellows__1_2_1_2_2_2_1_1
started
n73_a_paulfellows__1_2_1_2_2_2_2_1_1
swapping
n73_a_paulfellows__1_2_1_2_2_2_2_2_1
,
n73_a_paulfellows__1_2_1_2_2_2_2_3_1_1
on
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_1_1
a
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2_1_1
4
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2_2_1
MB
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_3_1
machine
n73_a_paulfellows__1_2_2_1_1
and
n73_a_paulfellows__1_2_2_2_1_1_1
the
n73_a_paulfellows__1_2_2_2_1_2_1
hands
n73_a_paulfellows__1_2_2_2_1_3_1_1
on
n73_a_paulfellows__1_2_2_2_1_3_2_1_1
the
n73_a_paulfellows__1_2_2_2_1_3_2_2_1
clock
n73_a_paulfellows__1_2_2_2_2_1
started
n73_a_paulfellows__1_2_2_2_3_1_1
ticking
n73_a_paulfellows__1_2_2_2_4_1_1
once
n73_a_paulfellows__1_2_2_2_5_1_1
every
n73_a_paulfellows__1_2_2_2_5_2_1_1
16
n73_a_paulfellows__1_2_2_2_5_2_2_1
seconds
n73_a_paulfellows__1_3_1
.
n73_a_paulfellows__1
IP-MAT
n73_a_paulfellows__1_1
PP-SCON
n73_a_paulfellows__1->n73_a_paulfellows__1_1
n73_a_paulfellows__1_2
ILYR
n73_a_paulfellows__1->n73_a_paulfellows__1_2
n73_a_paulfellows__1_3
PUNC
n73_a_paulfellows__1->n73_a_paulfellows__1_3
n73_a_paulfellows__1_1_1
P-CONN
n73_a_paulfellows__1_1->n73_a_paulfellows__1_1_1
n73_a_paulfellows__1_1_2
IP-ADV
n73_a_paulfellows__1_1->n73_a_paulfellows__1_1_2
n73_a_paulfellows__1_1_1->n73_a_paulfellows__1_1_1_1
n73_a_paulfellows__1_1_2_1
NP-SBJ
n73_a_paulfellows__1_1_2->n73_a_paulfellows__1_1_2_1
n73_a_paulfellows__1_1_2_2
VBD;_I_
n73_a_paulfellows__1_1_2->n73_a_paulfellows__1_1_2_2
n73_a_paulfellows__1_1_2_1_1
D
n73_a_paulfellows__1_1_2_1->n73_a_paulfellows__1_1_2_1_1
n73_a_paulfellows__1_1_2_1_2
ADJP
n73_a_paulfellows__1_1_2_1->n73_a_paulfellows__1_1_2_1_2
n73_a_paulfellows__1_1_2_1_3
N
n73_a_paulfellows__1_1_2_1->n73_a_paulfellows__1_1_2_1_3
n73_a_paulfellows__1_1_2_1_1->n73_a_paulfellows__1_1_2_1_1_1
n73_a_paulfellows__1_1_2_1_2_1
ADJ
n73_a_paulfellows__1_1_2_1_2->n73_a_paulfellows__1_1_2_1_2_1
n73_a_paulfellows__1_1_2_1_2_1->n73_a_paulfellows__1_1_2_1_2_1_1
n73_a_paulfellows__1_1_2_1_3->n73_a_paulfellows__1_1_2_1_3_1
n73_a_paulfellows__1_1_2_2->n73_a_paulfellows__1_1_2_2_1
n73_a_paulfellows__1_2_1
ILYR
n73_a_paulfellows__1_2->n73_a_paulfellows__1_2_1
n73_a_paulfellows__1_2_2
CONJP
n73_a_paulfellows__1_2->n73_a_paulfellows__1_2_2
n73_a_paulfellows__1_2_1_1
NP-SBJ
n73_a_paulfellows__1_2_1->n73_a_paulfellows__1_2_1_1
n73_a_paulfellows__1_2_1_2
ILYR
n73_a_paulfellows__1_2_1->n73_a_paulfellows__1_2_1_2
n73_a_paulfellows__1_2_1_1_1
D
n73_a_paulfellows__1_2_1_1->n73_a_paulfellows__1_2_1_1_1
n73_a_paulfellows__1_2_1_1_2
N
n73_a_paulfellows__1_2_1_1->n73_a_paulfellows__1_2_1_1_2
n73_a_paulfellows__1_2_1_1_1->n73_a_paulfellows__1_2_1_1_1_1
n73_a_paulfellows__1_2_1_1_2->n73_a_paulfellows__1_2_1_1_2_1
n73_a_paulfellows__1_2_1_2_1
ILYR
n73_a_paulfellows__1_2_1_2->n73_a_paulfellows__1_2_1_2_1
n73_a_paulfellows__1_2_1_2_2
CONJP
n73_a_paulfellows__1_2_1_2->n73_a_paulfellows__1_2_1_2_2
n73_a_paulfellows__1_2_1_2_1_1
VBD;_cat_Vt_
n73_a_paulfellows__1_2_1_2_1->n73_a_paulfellows__1_2_1_2_1_1
n73_a_paulfellows__1_2_1_2_1_2
IP-INF-CAT
n73_a_paulfellows__1_2_1_2_1->n73_a_paulfellows__1_2_1_2_1_2
n73_a_paulfellows__1_2_1_2_1_1->n73_a_paulfellows__1_2_1_2_1_1_1
n73_a_paulfellows__1_2_1_2_1_2_1
TO
n73_a_paulfellows__1_2_1_2_1_2->n73_a_paulfellows__1_2_1_2_1_2_1
n73_a_paulfellows__1_2_1_2_1_2_2
VB;_Tn_
n73_a_paulfellows__1_2_1_2_1_2->n73_a_paulfellows__1_2_1_2_1_2_2
n73_a_paulfellows__1_2_1_2_1_2_3
NP-OB1
n73_a_paulfellows__1_2_1_2_1_2->n73_a_paulfellows__1_2_1_2_1_2_3
n73_a_paulfellows__1_2_1_2_1_2_1->n73_a_paulfellows__1_2_1_2_1_2_1_1
n73_a_paulfellows__1_2_1_2_1_2_2->n73_a_paulfellows__1_2_1_2_1_2_2_1
n73_a_paulfellows__1_2_1_2_1_2_3_1
ADJP
n73_a_paulfellows__1_2_1_2_1_2_3->n73_a_paulfellows__1_2_1_2_1_2_3_1
n73_a_paulfellows__1_2_1_2_1_2_3_2
N
n73_a_paulfellows__1_2_1_2_1_2_3->n73_a_paulfellows__1_2_1_2_1_2_3_2
n73_a_paulfellows__1_2_1_2_1_2_3_1_1
ADJ
n73_a_paulfellows__1_2_1_2_1_2_3_1->n73_a_paulfellows__1_2_1_2_1_2_3_1_1
n73_a_paulfellows__1_2_1_2_1_2_3_1_1->n73_a_paulfellows__1_2_1_2_1_2_3_1_1_1
n73_a_paulfellows__1_2_1_2_1_2_3_2->n73_a_paulfellows__1_2_1_2_1_2_3_2_1
n73_a_paulfellows__1_2_1_2_2_1
CONJ
n73_a_paulfellows__1_2_1_2_2->n73_a_paulfellows__1_2_1_2_2_1
n73_a_paulfellows__1_2_1_2_2_2
ILYR
n73_a_paulfellows__1_2_1_2_2->n73_a_paulfellows__1_2_1_2_2_2
n73_a_paulfellows__1_2_1_2_2_1->n73_a_paulfellows__1_2_1_2_2_1_1
n73_a_paulfellows__1_2_1_2_2_2_1
VBD;_cat_Vg_
n73_a_paulfellows__1_2_1_2_2_2->n73_a_paulfellows__1_2_1_2_2_2_1
n73_a_paulfellows__1_2_1_2_2_2_2
IP-PPL-CAT
n73_a_paulfellows__1_2_1_2_2_2->n73_a_paulfellows__1_2_1_2_2_2_2
n73_a_paulfellows__1_2_1_2_2_2_1->n73_a_paulfellows__1_2_1_2_2_2_1_1
n73_a_paulfellows__1_2_1_2_2_2_2_1
VAG;_I_
n73_a_paulfellows__1_2_1_2_2_2_2->n73_a_paulfellows__1_2_1_2_2_2_2_1
n73_a_paulfellows__1_2_1_2_2_2_2_2
PUNC
n73_a_paulfellows__1_2_1_2_2_2_2->n73_a_paulfellows__1_2_1_2_2_2_2_2
n73_a_paulfellows__1_2_1_2_2_2_2_3
PP-NIM
n73_a_paulfellows__1_2_1_2_2_2_2->n73_a_paulfellows__1_2_1_2_2_2_2_3
n73_a_paulfellows__1_2_1_2_2_2_2_1->n73_a_paulfellows__1_2_1_2_2_2_2_1_1
n73_a_paulfellows__1_2_1_2_2_2_2_2->n73_a_paulfellows__1_2_1_2_2_2_2_2_1
n73_a_paulfellows__1_2_1_2_2_2_2_3_1
P-ROLE
n73_a_paulfellows__1_2_1_2_2_2_2_3->n73_a_paulfellows__1_2_1_2_2_2_2_3_1
n73_a_paulfellows__1_2_1_2_2_2_2_3_2
NP
n73_a_paulfellows__1_2_1_2_2_2_2_3->n73_a_paulfellows__1_2_1_2_2_2_2_3_2
n73_a_paulfellows__1_2_1_2_2_2_2_3_1->n73_a_paulfellows__1_2_1_2_2_2_2_3_1_1
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_1
D
n73_a_paulfellows__1_2_1_2_2_2_2_3_2->n73_a_paulfellows__1_2_1_2_2_2_2_3_2_1
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2
NLYR
n73_a_paulfellows__1_2_1_2_2_2_2_3_2->n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_3
N
n73_a_paulfellows__1_2_1_2_2_2_2_3_2->n73_a_paulfellows__1_2_1_2_2_2_2_3_2_3
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_1->n73_a_paulfellows__1_2_1_2_2_2_2_3_2_1_1
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2_1
NUM
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2->n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2_1
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2_2
N
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2->n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2_2
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2_1->n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2_1_1
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2_2->n73_a_paulfellows__1_2_1_2_2_2_2_3_2_2_2_1
n73_a_paulfellows__1_2_1_2_2_2_2_3_2_3->n73_a_paulfellows__1_2_1_2_2_2_2_3_2_3_1
n73_a_paulfellows__1_2_2_1
CONJ
n73_a_paulfellows__1_2_2->n73_a_paulfellows__1_2_2_1
n73_a_paulfellows__1_2_2_2
ILYR
n73_a_paulfellows__1_2_2->n73_a_paulfellows__1_2_2_2
n73_a_paulfellows__1_2_2_1->n73_a_paulfellows__1_2_2_1_1
n73_a_paulfellows__1_2_2_2_1
NP-SBJ
n73_a_paulfellows__1_2_2_2->n73_a_paulfellows__1_2_2_2_1
n73_a_paulfellows__1_2_2_2_2
VBD;_cat_Vg_
n73_a_paulfellows__1_2_2_2->n73_a_paulfellows__1_2_2_2_2
n73_a_paulfellows__1_2_2_2_3
IP-PPL-CAT
n73_a_paulfellows__1_2_2_2->n73_a_paulfellows__1_2_2_2_3
n73_a_paulfellows__1_2_2_2_4
ADVP-NIM
n73_a_paulfellows__1_2_2_2->n73_a_paulfellows__1_2_2_2_4
n73_a_paulfellows__1_2_2_2_5
NP-NIM
n73_a_paulfellows__1_2_2_2->n73_a_paulfellows__1_2_2_2_5
n73_a_paulfellows__1_2_2_2_1_1
D
n73_a_paulfellows__1_2_2_2_1->n73_a_paulfellows__1_2_2_2_1_1
n73_a_paulfellows__1_2_2_2_1_2
NS
n73_a_paulfellows__1_2_2_2_1->n73_a_paulfellows__1_2_2_2_1_2
n73_a_paulfellows__1_2_2_2_1_3
PP
n73_a_paulfellows__1_2_2_2_1->n73_a_paulfellows__1_2_2_2_1_3
n73_a_paulfellows__1_2_2_2_1_1->n73_a_paulfellows__1_2_2_2_1_1_1
n73_a_paulfellows__1_2_2_2_1_2->n73_a_paulfellows__1_2_2_2_1_2_1
n73_a_paulfellows__1_2_2_2_1_3_1
P-ROLE
n73_a_paulfellows__1_2_2_2_1_3->n73_a_paulfellows__1_2_2_2_1_3_1
n73_a_paulfellows__1_2_2_2_1_3_2
NP
n73_a_paulfellows__1_2_2_2_1_3->n73_a_paulfellows__1_2_2_2_1_3_2
n73_a_paulfellows__1_2_2_2_1_3_1->n73_a_paulfellows__1_2_2_2_1_3_1_1
n73_a_paulfellows__1_2_2_2_1_3_2_1
D
n73_a_paulfellows__1_2_2_2_1_3_2->n73_a_paulfellows__1_2_2_2_1_3_2_1
n73_a_paulfellows__1_2_2_2_1_3_2_2
N
n73_a_paulfellows__1_2_2_2_1_3_2->n73_a_paulfellows__1_2_2_2_1_3_2_2
n73_a_paulfellows__1_2_2_2_1_3_2_1->n73_a_paulfellows__1_2_2_2_1_3_2_1_1
n73_a_paulfellows__1_2_2_2_1_3_2_2->n73_a_paulfellows__1_2_2_2_1_3_2_2_1
n73_a_paulfellows__1_2_2_2_2->n73_a_paulfellows__1_2_2_2_2_1
n73_a_paulfellows__1_2_2_2_3_1
VAG;_I_
n73_a_paulfellows__1_2_2_2_3->n73_a_paulfellows__1_2_2_2_3_1
n73_a_paulfellows__1_2_2_2_3_1->n73_a_paulfellows__1_2_2_2_3_1_1
n73_a_paulfellows__1_2_2_2_4_1
ADV
n73_a_paulfellows__1_2_2_2_4->n73_a_paulfellows__1_2_2_2_4_1
n73_a_paulfellows__1_2_2_2_4_1->n73_a_paulfellows__1_2_2_2_4_1_1
n73_a_paulfellows__1_2_2_2_5_1
Q
n73_a_paulfellows__1_2_2_2_5->n73_a_paulfellows__1_2_2_2_5_1
n73_a_paulfellows__1_2_2_2_5_2
NLYR
n73_a_paulfellows__1_2_2_2_5->n73_a_paulfellows__1_2_2_2_5_2
n73_a_paulfellows__1_2_2_2_5_1->n73_a_paulfellows__1_2_2_2_5_1_1
n73_a_paulfellows__1_2_2_2_5_2_1
NUM
n73_a_paulfellows__1_2_2_2_5_2->n73_a_paulfellows__1_2_2_2_5_2_1
n73_a_paulfellows__1_2_2_2_5_2_2
NS
n73_a_paulfellows__1_2_2_2_5_2->n73_a_paulfellows__1_2_2_2_5_2_2
n73_a_paulfellows__1_2_2_2_5_2_1->n73_a_paulfellows__1_2_2_2_5_2_1_1
n73_a_paulfellows__1_2_2_2_5_2_2->n73_a_paulfellows__1_2_2_2_5_2_2_1
n73_a_paulfellows__1_3->n73_a_paulfellows__1_3_1
( (IP-MAT (PP-SCON (P-CONN When;{when})
(IP-ADV (NP-SBJ (D the;{the})
(ADJP (ADJ fourth;{fourth}))
(N one;{one}))
(VBD;_I_ started;{start})))
(ILYR (ILYR (NP-SBJ (D the;{the})
(N system;{system}))
(ILYR (ILYR (VBD;_cat_Vt_ started;{start})
(IP-INF-CAT (TO to;{to})
(VB;_Tn_ engage;{engage})
(NP-OB1 (ADJP (ADJ virtual;{virtual}))
(N memory;{memory}))))
(CONJP (CONJ and;{and})
(ILYR (VBD;_cat_Vg_ started;{start})
(IP-PPL-CAT (VAG;_I_ swapping;{swap})
(PUNC ,)
(PP-NIM (P-ROLE on;{on})
(NP (D a;{a})
(NLYR (NUM 4)
(N MB))
(N machine;{machine}))))))))
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (D the;{the})
(NS hands;{hand})
(PP (P-ROLE on;{on})
(NP (D the;{the})
(N clock;{clock}))))
(VBD;_cat_Vg_ started;{start})
(IP-PPL-CAT (VAG;_I_ ticking;{tick}))
(ADVP-NIM (ADV once;{once}))
(NP-NIM (Q every;{every})
(NLYR (NUM 16)
(NS seconds;{second}))))))
(PUNC .))
(ID 73_a_paulfellows))
%3
z_0073_5021
r_0073_0032__16_r_0073_0033__seconds
16 seconds
z_0073_5021->r_0073_0032__16_r_0073_0033__seconds
[nim]
r_0073_0031__every__quant
every [quant]
r_0073_0031__every__quant->z_0073_5021
[restriction]
r_0073_0028__started
started
r_0073_0031__every__quant->r_0073_0028__started
[scope]
r_0073_0028__started->z_0073_5021
[nim]
r_0073_0029__ticking
ticking
r_0073_0028__started->r_0073_0029__ticking
[scope]
r_0073_0030__once
once
r_0073_0028__started->r_0073_0030__once
[nim]
r_0073_0023__the_r_0073_0024__hands
the hands
r_0073_0029__ticking->r_0073_0023__the_r_0073_0024__hands
[arg0]
r_0073_0026__the_r_0073_0027__clock
the clock
r_0073_0023__the_r_0073_0024__hands->r_0073_0026__the_r_0073_0027__clock
on
r_0073_0022__and
and
r_0073_0022__and->r_0073_0031__every__quant
[conj2]
r_0073_0013__and
and
r_0073_0022__and->r_0073_0013__and
[conj1]
r_0073_0014__started
started
r_0073_0013__and->r_0073_0014__started
[conj2]
r_0073_0008__started
started
r_0073_0013__and->r_0073_0008__started
[conj1]
r_0073_0015__swapping
swapping
r_0073_0018__a_r_0073_0019__4_r_0073_0020__MB_r_0073_0021__machine
a 4 MB machine
r_0073_0015__swapping->r_0073_0018__a_r_0073_0019__4_r_0073_0020__MB_r_0073_0021__machine
on [nim]
r_0073_0006__the_r_0073_0007__system
the system
r_0073_0015__swapping->r_0073_0006__the_r_0073_0007__system
[arg0]
r_0073_0014__started->r_0073_0015__swapping
[scope]
r_0073_0010__engage
engage
r_0073_0008__started->r_0073_0010__engage
[scope]
r_0073_0012__memory
memory
r_0073_0011__virtual
virtual
r_0073_0012__memory->r_0073_0011__virtual
[attrib]
r_0073_0010__engage->r_0073_0006__the_r_0073_0007__system
[arg0]
r_0073_0010__engage->r_0073_0012__memory
[arg1]
r_0073_0005__started
started
r_0073_0002__the_r_0073_0004__one
the one
r_0073_0005__started->r_0073_0002__the_r_0073_0004__one
[arg0]
r_0073_0003__fourth
fourth
r_0073_0002__the_r_0073_0004__one->r_0073_0003__fourth
[attrib]
r_0073_0001__When
When
r_0073_0001__When->r_0073_0022__and
[scope]
r_0073_0001__When->r_0073_0005__started
[restriction]
arc(r_0073_0001__When,r_0073_0005__started,restriction).
arc(r_0073_0001__When,r_0073_0022__and,scope).
arc(r_0073_0002__the_r_0073_0004__one,r_0073_0003__fourth,attrib).
arc(r_0073_0005__started,r_0073_0002__the_r_0073_0004__one,arg0).
arc(r_0073_0008__started,r_0073_0010__engage,scope).
arc(r_0073_0010__engage,r_0073_0006__the_r_0073_0007__system,arg0).
arc(r_0073_0010__engage,r_0073_0012__memory,arg1).
arc(r_0073_0012__memory,r_0073_0011__virtual,attrib).
arc(r_0073_0013__and,r_0073_0008__started,conj1).
arc(r_0073_0013__and,r_0073_0014__started,conj2).
arc(r_0073_0014__started,r_0073_0015__swapping,scope).
arc(r_0073_0015__swapping,r_0073_0006__the_r_0073_0007__system,arg0).
arc(r_0073_0015__swapping,r_0073_0018__a_r_0073_0019__4_r_0073_0020__MB_r_0073_0021__machine,r_0073_0017__on__nim).
arc(r_0073_0022__and,r_0073_0013__and,conj1).
arc(r_0073_0022__and,r_0073_0031__every__quant,conj2).
arc(r_0073_0023__the_r_0073_0024__hands,r_0073_0026__the_r_0073_0027__clock,r_0073_0025__on).
arc(r_0073_0028__started,r_0073_0029__ticking,scope).
arc(r_0073_0028__started,r_0073_0030__once,nim).
arc(r_0073_0028__started,z_0073_5021,nim).
arc(r_0073_0029__ticking,r_0073_0023__the_r_0073_0024__hands,arg0).
arc(r_0073_0031__every__quant,r_0073_0028__started,scope).
arc(r_0073_0031__every__quant,z_0073_5021,restriction).
arc(z_0073_5021,r_0073_0032__16_r_0073_0033__seconds,nim).
%3
r_0073_0001__When
When
r_0073_0005__started
started
r_0073_0001__When->r_0073_0005__started
[restriction]
r_0073_0022__and
and
r_0073_0001__When->r_0073_0022__and
[scope]
r_0073_0002__the_r_0073_0004__one
the one
r_0073_0005__started->r_0073_0002__the_r_0073_0004__one
[arg0]
r_0073_0013__and
and
r_0073_0022__and->r_0073_0013__and
[conj1]
r_0073_0031__every__quant
every [quant]
r_0073_0022__and->r_0073_0031__every__quant
[conj2]
r_0073_0003__fourth
fourth
r_0073_0002__the_r_0073_0004__one->r_0073_0003__fourth
[attrib]
r_0073_0008__started_r_0073_0010__engage
started engage
r_0073_0006__the_r_0073_0007__system
the system
r_0073_0008__started_r_0073_0010__engage->r_0073_0006__the_r_0073_0007__system
[arg0]
r_0073_0012__memory
memory
r_0073_0008__started_r_0073_0010__engage->r_0073_0012__memory
[arg1]
r_0073_0011__virtual
virtual
r_0073_0012__memory->r_0073_0011__virtual
[attrib]
r_0073_0013__and->r_0073_0008__started_r_0073_0010__engage
[conj1]
r_0073_0014__started_r_0073_0015__swapping
started swapping
r_0073_0013__and->r_0073_0014__started_r_0073_0015__swapping
[conj2]
r_0073_0014__started_r_0073_0015__swapping->r_0073_0006__the_r_0073_0007__system
[arg0]
r_0073_0018__a_r_0073_0019__4_r_0073_0020__MB_r_0073_0021__machine
a 4 MB machine
r_0073_0014__started_r_0073_0015__swapping->r_0073_0018__a_r_0073_0019__4_r_0073_0020__MB_r_0073_0021__machine
on [nim]
r_0073_0028__started_r_0073_0029__ticking
started ticking
r_0073_0031__every__quant->r_0073_0028__started_r_0073_0029__ticking
[scope]
z_0073_5021
r_0073_0031__every__quant->z_0073_5021
[restriction]
r_0073_0023__the_r_0073_0024__hands
the hands
r_0073_0026__the_r_0073_0027__clock
the clock
r_0073_0023__the_r_0073_0024__hands->r_0073_0026__the_r_0073_0027__clock
on
r_0073_0028__started_r_0073_0029__ticking->r_0073_0023__the_r_0073_0024__hands
[arg0]
r_0073_0030__once
once
r_0073_0028__started_r_0073_0029__ticking->r_0073_0030__once
[nim]
r_0073_0028__started_r_0073_0029__ticking->z_0073_5021
[nim]
r_0073_0032__16_r_0073_0033__seconds
16 seconds
z_0073_5021->r_0073_0032__16_r_0073_0033__seconds
[nim]
fof(formula,axiom,
! [R_0073_0005__STARTED,R_0073_0003__FOURTH,R_0073_0002__THE_R_0073_0004__ONE] :
( ( r_0073_0003__fourth(R_0073_0003__FOURTH)
& r_0073_0005__started(R_0073_0005__STARTED)
& has_arg0(R_0073_0005__STARTED,R_0073_0002__THE_R_0073_0004__ONE)
& r_0073_0002__the_r_0073_0004__one(R_0073_0002__THE_R_0073_0004__ONE)
& has_attrib(R_0073_0002__THE_R_0073_0004__ONE,R_0073_0003__FOURTH) )
=> ? [R_0073_0006__THE_R_0073_0007__SYSTEM,R_0073_0011__VIRTUAL,R_0073_0012__MEMORY,R_0073_0008__STARTED_R_0073_0010__ENGAGE,R_0073_0018__A_R_0073_0019__4_R_0073_0020__MB_R_0073_0021__MACHINE,R_0073_0014__STARTED_R_0073_0015__SWAPPING,R_0073_0013__AND,R_0073_0022__AND] :
( r_0073_0006__the_r_0073_0007__system(R_0073_0006__THE_R_0073_0007__SYSTEM)
& r_0073_0011__virtual(R_0073_0011__VIRTUAL)
& r_0073_0018__a_r_0073_0019__4_r_0073_0020__MB_r_0073_0021__machine(R_0073_0018__A_R_0073_0019__4_R_0073_0020__MB_R_0073_0021__MACHINE)
& r_0073_0022__and(R_0073_0022__AND)
& ! [Z_0073_5021,R_0073_0032__16_R_0073_0033__SECONDS] :
( ( r_0073_0032__16_r_0073_0033__seconds(R_0073_0032__16_R_0073_0033__SECONDS)
& z_0073_5021(Z_0073_5021)
& has_nim(Z_0073_5021,R_0073_0032__16_R_0073_0033__SECONDS) )
=> ? [R_0073_0030__ONCE,R_0073_0026__THE_R_0073_0027__CLOCK,R_0073_0023__THE_R_0073_0024__HANDS,R_0073_0028__STARTED_R_0073_0029__TICKING] :
( r_0073_0026__the_r_0073_0027__clock(R_0073_0026__THE_R_0073_0027__CLOCK)
& r_0073_0030__once(R_0073_0030__ONCE)
& r_0073_0028__started_r_0073_0029__ticking(R_0073_0028__STARTED_R_0073_0029__TICKING)
& has_arg0(R_0073_0028__STARTED_R_0073_0029__TICKING,R_0073_0023__THE_R_0073_0024__HANDS)
& r_0073_0023__the_r_0073_0024__hands(R_0073_0023__THE_R_0073_0024__HANDS)
& has_r_0073_0025__on(R_0073_0023__THE_R_0073_0024__HANDS,R_0073_0026__THE_R_0073_0027__CLOCK)
& has_nim(R_0073_0028__STARTED_R_0073_0029__TICKING,Z_0073_5021)
& has_nim(R_0073_0028__STARTED_R_0073_0029__TICKING,R_0073_0030__ONCE) ) )
& has_conj1(R_0073_0022__AND,R_0073_0013__AND)
& r_0073_0013__and(R_0073_0013__AND)
& has_conj2(R_0073_0013__AND,R_0073_0014__STARTED_R_0073_0015__SWAPPING)
& r_0073_0014__started_r_0073_0015__swapping(R_0073_0014__STARTED_R_0073_0015__SWAPPING)
& has_r_0073_0017__on__nim(R_0073_0014__STARTED_R_0073_0015__SWAPPING,R_0073_0018__A_R_0073_0019__4_R_0073_0020__MB_R_0073_0021__MACHINE)
& has_arg0(R_0073_0014__STARTED_R_0073_0015__SWAPPING,R_0073_0006__THE_R_0073_0007__SYSTEM)
& has_conj1(R_0073_0013__AND,R_0073_0008__STARTED_R_0073_0010__ENGAGE)
& r_0073_0008__started_r_0073_0010__engage(R_0073_0008__STARTED_R_0073_0010__ENGAGE)
& has_arg1(R_0073_0008__STARTED_R_0073_0010__ENGAGE,R_0073_0012__MEMORY)
& r_0073_0012__memory(R_0073_0012__MEMORY)
& has_attrib(R_0073_0012__MEMORY,R_0073_0011__VIRTUAL)
& has_arg0(R_0073_0008__STARTED_R_0073_0010__ENGAGE,R_0073_0006__THE_R_0073_0007__SYSTEM) ) ) ).