6_a_stories_10_k58
n6_a_stories_10_k58
n6_a_stories_10_k58__1_1_1_1_1_1
Mickey
n6_a_stories_10_k58__1_1_1_2_1
clambered
n6_a_stories_10_k58__1_1_1_3_1_1
up
n6_a_stories_10_k58__1_1_1_4_1_1
in
n6_a_stories_10_k58__1_1_1_4_2_1_1_1
his
n6_a_stories_10_k58__1_1_1_4_2_2_1
puppy
n6_a_stories_10_k58__1_1_1_4_2_3_1
ways
n6_a_stories_10_k58__1_1_2_1_1
and
n6_a_stories_10_k58__1_1_2_2_1_1_1_1_1
when
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_1_1
arriving
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_1_1
on
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_1_1
the
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_2_1
top
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_3_1
step
n6_a_stories_10_k58__1_1_2_2_1_1_2_1_1
he
n6_a_stories_10_k58__1_1_2_2_1_1_3_1
realised
n6_a_stories_10_k58__1_1_2_2_1_1_4_1_1
the
n6_a_stories_10_k58__1_1_2_2_1_1_4_2_1
height
n6_a_stories_10_k58__1_1_2_2_1_2_1_1
and
n6_a_stories_10_k58__1_1_2_2_1_2_2_1_1_1_1
his
n6_a_stories_10_k58__1_1_2_2_1_2_2_1_2_1
terror
n6_a_stories_10_k58__1_1_2_2_1_2_2_2_1
would
n6_a_stories_10_k58__1_1_2_2_1_2_2_3_1
not
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_1_1
let
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_2_1_1
him
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_1_1
go
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_2_1_1
down
n6_a_stories_10_k58__1_2_1
.
n6_a_stories_10_k58__1
IP-MAT
n6_a_stories_10_k58__1_1
ILYR
n6_a_stories_10_k58__1->n6_a_stories_10_k58__1_1
n6_a_stories_10_k58__1_2
PUNC
n6_a_stories_10_k58__1->n6_a_stories_10_k58__1_2
n6_a_stories_10_k58__1_1_1
ILYR
n6_a_stories_10_k58__1_1->n6_a_stories_10_k58__1_1_1
n6_a_stories_10_k58__1_1_2
CONJP
n6_a_stories_10_k58__1_1->n6_a_stories_10_k58__1_1_2
n6_a_stories_10_k58__1_1_1_1
NP-SBJ
n6_a_stories_10_k58__1_1_1->n6_a_stories_10_k58__1_1_1_1
n6_a_stories_10_k58__1_1_1_2
VBD;_Ip_
n6_a_stories_10_k58__1_1_1->n6_a_stories_10_k58__1_1_1_2
n6_a_stories_10_k58__1_1_1_3
ADVP-CLR
n6_a_stories_10_k58__1_1_1->n6_a_stories_10_k58__1_1_1_3
n6_a_stories_10_k58__1_1_1_4
PP-NIM
n6_a_stories_10_k58__1_1_1->n6_a_stories_10_k58__1_1_1_4
n6_a_stories_10_k58__1_1_1_1_1
NPR
n6_a_stories_10_k58__1_1_1_1->n6_a_stories_10_k58__1_1_1_1_1
n6_a_stories_10_k58__1_1_1_1_1->n6_a_stories_10_k58__1_1_1_1_1_1
n6_a_stories_10_k58__1_1_1_2->n6_a_stories_10_k58__1_1_1_2_1
n6_a_stories_10_k58__1_1_1_3_1
RP
n6_a_stories_10_k58__1_1_1_3->n6_a_stories_10_k58__1_1_1_3_1
n6_a_stories_10_k58__1_1_1_3_1->n6_a_stories_10_k58__1_1_1_3_1_1
n6_a_stories_10_k58__1_1_1_4_1
P-ROLE
n6_a_stories_10_k58__1_1_1_4->n6_a_stories_10_k58__1_1_1_4_1
n6_a_stories_10_k58__1_1_1_4_2
NP
n6_a_stories_10_k58__1_1_1_4->n6_a_stories_10_k58__1_1_1_4_2
n6_a_stories_10_k58__1_1_1_4_1->n6_a_stories_10_k58__1_1_1_4_1_1
n6_a_stories_10_k58__1_1_1_4_2_1
NP-GEN
n6_a_stories_10_k58__1_1_1_4_2->n6_a_stories_10_k58__1_1_1_4_2_1
n6_a_stories_10_k58__1_1_1_4_2_2
N
n6_a_stories_10_k58__1_1_1_4_2->n6_a_stories_10_k58__1_1_1_4_2_2
n6_a_stories_10_k58__1_1_1_4_2_3
NS
n6_a_stories_10_k58__1_1_1_4_2->n6_a_stories_10_k58__1_1_1_4_2_3
n6_a_stories_10_k58__1_1_1_4_2_1_1
PRO;_genm_
n6_a_stories_10_k58__1_1_1_4_2_1->n6_a_stories_10_k58__1_1_1_4_2_1_1
n6_a_stories_10_k58__1_1_1_4_2_1_1->n6_a_stories_10_k58__1_1_1_4_2_1_1_1
n6_a_stories_10_k58__1_1_1_4_2_2->n6_a_stories_10_k58__1_1_1_4_2_2_1
n6_a_stories_10_k58__1_1_1_4_2_3->n6_a_stories_10_k58__1_1_1_4_2_3_1
n6_a_stories_10_k58__1_1_2_1
CONJ
n6_a_stories_10_k58__1_1_2->n6_a_stories_10_k58__1_1_2_1
n6_a_stories_10_k58__1_1_2_2
ILYR
n6_a_stories_10_k58__1_1_2->n6_a_stories_10_k58__1_1_2_2
n6_a_stories_10_k58__1_1_2_1->n6_a_stories_10_k58__1_1_2_1_1
n6_a_stories_10_k58__1_1_2_2_1
ILYR
n6_a_stories_10_k58__1_1_2_2->n6_a_stories_10_k58__1_1_2_2_1
n6_a_stories_10_k58__1_1_2_2_1_1
ILYR
n6_a_stories_10_k58__1_1_2_2_1->n6_a_stories_10_k58__1_1_2_2_1_1
n6_a_stories_10_k58__1_1_2_2_1_2
CONJP
n6_a_stories_10_k58__1_1_2_2_1->n6_a_stories_10_k58__1_1_2_2_1_2
n6_a_stories_10_k58__1_1_2_2_1_1_1
PP-SCON
n6_a_stories_10_k58__1_1_2_2_1_1->n6_a_stories_10_k58__1_1_2_2_1_1_1
n6_a_stories_10_k58__1_1_2_2_1_1_2
NP-SBJ
n6_a_stories_10_k58__1_1_2_2_1_1->n6_a_stories_10_k58__1_1_2_2_1_1_2
n6_a_stories_10_k58__1_1_2_2_1_1_3
VBD;_Tn_
n6_a_stories_10_k58__1_1_2_2_1_1->n6_a_stories_10_k58__1_1_2_2_1_1_3
n6_a_stories_10_k58__1_1_2_2_1_1_4
NP-OB1
n6_a_stories_10_k58__1_1_2_2_1_1->n6_a_stories_10_k58__1_1_2_2_1_1_4
n6_a_stories_10_k58__1_1_2_2_1_1_1_1
P-CONN
n6_a_stories_10_k58__1_1_2_2_1_1_1->n6_a_stories_10_k58__1_1_2_2_1_1_1_1
n6_a_stories_10_k58__1_1_2_2_1_1_1_2
IP-PPL2
n6_a_stories_10_k58__1_1_2_2_1_1_1->n6_a_stories_10_k58__1_1_2_2_1_1_1_2
n6_a_stories_10_k58__1_1_2_2_1_1_1_1->n6_a_stories_10_k58__1_1_2_2_1_1_1_1_1
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_1
VAG;_Ipr_
n6_a_stories_10_k58__1_1_2_2_1_1_1_2->n6_a_stories_10_k58__1_1_2_2_1_1_1_2_1
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2
PP-CLR
n6_a_stories_10_k58__1_1_2_2_1_1_1_2->n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_1->n6_a_stories_10_k58__1_1_2_2_1_1_1_2_1_1
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_1
P-ROLE
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2->n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_1
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2
NP
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2->n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_1->n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_1_1
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_1
D
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2->n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_1
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_2
N
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2->n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_2
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_3
N
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2->n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_3
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_1->n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_1_1
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_2->n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_2_1
n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_3->n6_a_stories_10_k58__1_1_2_2_1_1_1_2_2_2_3_1
n6_a_stories_10_k58__1_1_2_2_1_1_2_1
PRO
n6_a_stories_10_k58__1_1_2_2_1_1_2->n6_a_stories_10_k58__1_1_2_2_1_1_2_1
n6_a_stories_10_k58__1_1_2_2_1_1_2_1->n6_a_stories_10_k58__1_1_2_2_1_1_2_1_1
n6_a_stories_10_k58__1_1_2_2_1_1_3->n6_a_stories_10_k58__1_1_2_2_1_1_3_1
n6_a_stories_10_k58__1_1_2_2_1_1_4_1
D
n6_a_stories_10_k58__1_1_2_2_1_1_4->n6_a_stories_10_k58__1_1_2_2_1_1_4_1
n6_a_stories_10_k58__1_1_2_2_1_1_4_2
N
n6_a_stories_10_k58__1_1_2_2_1_1_4->n6_a_stories_10_k58__1_1_2_2_1_1_4_2
n6_a_stories_10_k58__1_1_2_2_1_1_4_1->n6_a_stories_10_k58__1_1_2_2_1_1_4_1_1
n6_a_stories_10_k58__1_1_2_2_1_1_4_2->n6_a_stories_10_k58__1_1_2_2_1_1_4_2_1
n6_a_stories_10_k58__1_1_2_2_1_2_1
CONJ
n6_a_stories_10_k58__1_1_2_2_1_2->n6_a_stories_10_k58__1_1_2_2_1_2_1
n6_a_stories_10_k58__1_1_2_2_1_2_2
ILYR
n6_a_stories_10_k58__1_1_2_2_1_2->n6_a_stories_10_k58__1_1_2_2_1_2_2
n6_a_stories_10_k58__1_1_2_2_1_2_1->n6_a_stories_10_k58__1_1_2_2_1_2_1_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_1
NP-SBJ
n6_a_stories_10_k58__1_1_2_2_1_2_2->n6_a_stories_10_k58__1_1_2_2_1_2_2_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_2
MD;_cat_Vi_
n6_a_stories_10_k58__1_1_2_2_1_2_2->n6_a_stories_10_k58__1_1_2_2_1_2_2_2
n6_a_stories_10_k58__1_1_2_2_1_2_2_3
NEG
n6_a_stories_10_k58__1_1_2_2_1_2_2->n6_a_stories_10_k58__1_1_2_2_1_2_2_3
n6_a_stories_10_k58__1_1_2_2_1_2_2_4
IP-INF-CAT
n6_a_stories_10_k58__1_1_2_2_1_2_2->n6_a_stories_10_k58__1_1_2_2_1_2_2_4
n6_a_stories_10_k58__1_1_2_2_1_2_2_1_1
NP-GEN
n6_a_stories_10_k58__1_1_2_2_1_2_2_1->n6_a_stories_10_k58__1_1_2_2_1_2_2_1_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_1_2
N
n6_a_stories_10_k58__1_1_2_2_1_2_2_1->n6_a_stories_10_k58__1_1_2_2_1_2_2_1_2
n6_a_stories_10_k58__1_1_2_2_1_2_2_1_1_1
PRO;_genm_
n6_a_stories_10_k58__1_1_2_2_1_2_2_1_1->n6_a_stories_10_k58__1_1_2_2_1_2_2_1_1_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_1_1_1->n6_a_stories_10_k58__1_1_2_2_1_2_2_1_1_1_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_1_2->n6_a_stories_10_k58__1_1_2_2_1_2_2_1_2_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_2->n6_a_stories_10_k58__1_1_2_2_1_2_2_2_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_3->n6_a_stories_10_k58__1_1_2_2_1_2_2_3_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_1
VB;_Cn.i_
n6_a_stories_10_k58__1_1_2_2_1_2_2_4->n6_a_stories_10_k58__1_1_2_2_1_2_2_4_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_2
NP-OB1
n6_a_stories_10_k58__1_1_2_2_1_2_2_4->n6_a_stories_10_k58__1_1_2_2_1_2_2_4_2
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3
IP-INF-PRD
n6_a_stories_10_k58__1_1_2_2_1_2_2_4->n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_1->n6_a_stories_10_k58__1_1_2_2_1_2_2_4_1_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_2_1
PRO
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_2->n6_a_stories_10_k58__1_1_2_2_1_2_2_4_2_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_2_1->n6_a_stories_10_k58__1_1_2_2_1_2_2_4_2_1_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_1
VB;_Ip_
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3->n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_2
ADVP-CLR
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3->n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_2
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_1->n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_1_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_2_1
RP
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_2->n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_2_1
n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_2_1->n6_a_stories_10_k58__1_1_2_2_1_2_2_4_3_2_1_1
n6_a_stories_10_k58__1_2->n6_a_stories_10_k58__1_2_1
( (IP-MAT (ILYR (ILYR (NP-SBJ;{MICKEY} (NPR Mickey;{Mickey}))
(VBD;_Ip_ clambered;{clamber[up]})
(ADVP-CLR (RP up;{up}))
(PP-NIM (P-ROLE in;{in})
(NP (NP-GEN;{MICKEY} (PRO;_genm_ his;{his}))
(N puppy;{puppy})
(NS ways;{way}))))
(CONJP (CONJ and;{and})
(ILYR (ILYR (ILYR (PP-SCON (P-CONN when;{when})
(IP-PPL2 (VAG;_Ipr_ arriving;{arrive[on]})
(PP-CLR (P-ROLE on;{on})
(NP (D the;{the})
(N top;{top})
(N step;{step})))))
(NP-SBJ;{MICKEY} (PRO he;{he}))
(VBD;_Tn_ realised;{realise})
(NP-OB1 (D the;{the})
(N height;{height})))
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (NP-GEN;{MICKEY} (PRO;_genm_ his;{his}))
(N terror;{terror}))
(MD;_cat_Vi_ would;{will})
(NEG not;{not})
(IP-INF-CAT (VB;_Cn.i_ let;{let})
(NP-OB1;{MICKEY} (PRO him;{he}))
(IP-INF-PRD (VB;_Ip_ go;{go[down]})
(ADVP-CLR (RP down;{down}))))))))))
(PUNC .))
(ID 6_a_stories_10_k58))
%3
r_0006_0026__go_r_0006_0027__down
go down
z_0006_5016
r_0006_0026__go_r_0006_0027__down->z_0006_5016
[arg0]
r_0006_0024__let
let
r_0006_0024__let->r_0006_0026__go_r_0006_0027__down
[prd]
r_0006_0021__terror
terror
r_0006_0024__let->r_0006_0021__terror
[arg0]
r_0006_0001__Mickey
Mickey
r_0006_0024__let->r_0006_0001__Mickey
[arg1]
r_0006_0021__terror->r_0006_0001__Mickey
[gen]
r_0006_0023__not
not
r_0006_0022__would
would
r_0006_0023__not->r_0006_0022__would
[keep_scope]
r_0006_0022__would->r_0006_0024__let
[scope]
r_0006_0019__and
and
r_0006_0019__and->r_0006_0023__not
[conj2]
r_0006_0009__when
when
r_0006_0019__and->r_0006_0009__when
[conj1]
r_0006_0016__realised
realised
r_0006_0009__when->r_0006_0016__realised
[scope]
r_0006_0010__arriving_r_0006_0011__on
arriving on
r_0006_0009__when->r_0006_0010__arriving_r_0006_0011__on
[restriction]
r_0006_0016__realised->r_0006_0001__Mickey
[arg0]
r_0006_0017__the_r_0006_0018__height
the height
r_0006_0016__realised->r_0006_0017__the_r_0006_0018__height
[arg1]
r_0006_0010__arriving_r_0006_0011__on->r_0006_0001__Mickey
[arg0]
r_0006_0012__the_r_0006_0013__top_r_0006_0014__step
the top step
r_0006_0010__arriving_r_0006_0011__on->r_0006_0012__the_r_0006_0013__top_r_0006_0014__step
[arg1]
r_0006_0008__and
and
r_0006_0008__and->r_0006_0019__and
[conj2]
r_0006_0002__clambered_r_0006_0003__up
clambered up
r_0006_0008__and->r_0006_0002__clambered_r_0006_0003__up
[conj1]
r_0006_0002__clambered_r_0006_0003__up->r_0006_0001__Mickey
[arg0]
r_0006_0006__puppy_r_0006_0007__ways
puppy ways
r_0006_0002__clambered_r_0006_0003__up->r_0006_0006__puppy_r_0006_0007__ways
in [nim]
r_0006_0006__puppy_r_0006_0007__ways->r_0006_0001__Mickey
[gen]
arc(r_0006_0002__clambered_r_0006_0003__up,r_0006_0001__Mickey,arg0).
arc(r_0006_0002__clambered_r_0006_0003__up,r_0006_0006__puppy_r_0006_0007__ways,r_0006_0004__in__nim).
arc(r_0006_0006__puppy_r_0006_0007__ways,r_0006_0001__Mickey,gen).
arc(r_0006_0008__and,r_0006_0002__clambered_r_0006_0003__up,conj1).
arc(r_0006_0008__and,r_0006_0019__and,conj2).
arc(r_0006_0009__when,r_0006_0010__arriving_r_0006_0011__on,restriction).
arc(r_0006_0009__when,r_0006_0016__realised,scope).
arc(r_0006_0010__arriving_r_0006_0011__on,r_0006_0001__Mickey,arg0).
arc(r_0006_0010__arriving_r_0006_0011__on,r_0006_0012__the_r_0006_0013__top_r_0006_0014__step,arg1).
arc(r_0006_0016__realised,r_0006_0001__Mickey,arg0).
arc(r_0006_0016__realised,r_0006_0017__the_r_0006_0018__height,arg1).
arc(r_0006_0019__and,r_0006_0009__when,conj1).
arc(r_0006_0019__and,r_0006_0023__not,conj2).
arc(r_0006_0021__terror,r_0006_0001__Mickey,gen).
arc(r_0006_0022__would,r_0006_0024__let,scope).
arc(r_0006_0023__not,r_0006_0022__would,keep_scope).
arc(r_0006_0024__let,r_0006_0001__Mickey,arg1).
arc(r_0006_0024__let,r_0006_0021__terror,arg0).
arc(r_0006_0024__let,r_0006_0026__go_r_0006_0027__down,prd).
arc(r_0006_0026__go_r_0006_0027__down,z_0006_5016,arg0).
%3
r_0006_0002__clambered_r_0006_0003__up
clambered up
r_0006_0001__Mickey
Mickey
r_0006_0002__clambered_r_0006_0003__up->r_0006_0001__Mickey
[arg0]
r_0006_0006__puppy_r_0006_0007__ways
puppy ways
r_0006_0002__clambered_r_0006_0003__up->r_0006_0006__puppy_r_0006_0007__ways
in [nim]
r_0006_0006__puppy_r_0006_0007__ways->r_0006_0001__Mickey
[gen]
r_0006_0008__and
and
r_0006_0008__and->r_0006_0002__clambered_r_0006_0003__up
[conj1]
r_0006_0019__and
and
r_0006_0008__and->r_0006_0019__and
[conj2]
r_0006_0009__when
when
r_0006_0019__and->r_0006_0009__when
[conj1]
r_0006_0023__not
not
r_0006_0019__and->r_0006_0023__not
[conj2]
r_0006_0010__arriving_r_0006_0011__on
arriving on
r_0006_0009__when->r_0006_0010__arriving_r_0006_0011__on
[restriction]
r_0006_0016__realised
realised
r_0006_0009__when->r_0006_0016__realised
[scope]
r_0006_0010__arriving_r_0006_0011__on->r_0006_0001__Mickey
[arg0]
r_0006_0012__the_r_0006_0013__top_r_0006_0014__step
the top step
r_0006_0010__arriving_r_0006_0011__on->r_0006_0012__the_r_0006_0013__top_r_0006_0014__step
[arg1]
r_0006_0016__realised->r_0006_0001__Mickey
[arg0]
r_0006_0017__the_r_0006_0018__height
the height
r_0006_0016__realised->r_0006_0017__the_r_0006_0018__height
[arg1]
r_0006_0022__would_r_0006_0024__let
would let
r_0006_0023__not->r_0006_0022__would_r_0006_0024__let
[keep_scope]
r_0006_0021__terror
terror
r_0006_0021__terror->r_0006_0001__Mickey
[gen]
r_0006_0022__would_r_0006_0024__let->r_0006_0001__Mickey
[arg1]
r_0006_0022__would_r_0006_0024__let->r_0006_0021__terror
[arg0]
r_0006_0026__go_r_0006_0027__down
go down
r_0006_0022__would_r_0006_0024__let->r_0006_0026__go_r_0006_0027__down
[prd]
z_0006_5016
r_0006_0026__go_r_0006_0027__down->z_0006_5016
[arg0]
fof(formula,axiom,
? [R_0006_0001__MICKEY,R_0006_0006__PUPPY_R_0006_0007__WAYS,R_0006_0002__CLAMBERED_R_0006_0003__UP,R_0006_0019__AND,R_0006_0008__AND] :
( r_0006_0001__Mickey(R_0006_0001__MICKEY)
& r_0006_0008__and(R_0006_0008__AND)
& has_conj2(R_0006_0008__AND,R_0006_0019__AND)
& r_0006_0019__and(R_0006_0019__AND)
& has_conj2(R_0006_0019__AND,R_0006_0023__NOT)
& ~ ? [R_0006_0021__TERROR,Z_0006_5016,R_0006_0026__GO_R_0006_0027__DOWN,R_0006_0022__WOULD_R_0006_0024__LET] :
( z_0006_5016(Z_0006_5016)
& r_0006_0022__would_r_0006_0024__let(R_0006_0022__WOULD_R_0006_0024__LET)
& has_prd(R_0006_0022__WOULD_R_0006_0024__LET,R_0006_0026__GO_R_0006_0027__DOWN)
& r_0006_0026__go_r_0006_0027__down(R_0006_0026__GO_R_0006_0027__DOWN)
& has_arg0(R_0006_0026__GO_R_0006_0027__DOWN,Z_0006_5016)
& has_arg0(R_0006_0022__WOULD_R_0006_0024__LET,R_0006_0021__TERROR)
& r_0006_0021__terror(R_0006_0021__TERROR)
& has_gen(R_0006_0021__TERROR,R_0006_0001__MICKEY)
& has_arg1(R_0006_0022__WOULD_R_0006_0024__LET,R_0006_0001__MICKEY) )
& ! [R_0006_0010__ARRIVING_R_0006_0011__ON,R_0006_0012__THE_R_0006_0013__TOP_R_0006_0014__STEP] :
( ( r_0006_0012__the_r_0006_0013__top_r_0006_0014__step(R_0006_0012__THE_R_0006_0013__TOP_R_0006_0014__STEP)
& r_0006_0010__arriving_r_0006_0011__on(R_0006_0010__ARRIVING_R_0006_0011__ON)
& has_arg1(R_0006_0010__ARRIVING_R_0006_0011__ON,R_0006_0012__THE_R_0006_0013__TOP_R_0006_0014__STEP)
& has_arg0(R_0006_0010__ARRIVING_R_0006_0011__ON,R_0006_0001__MICKEY) )
=> ? [R_0006_0017__THE_R_0006_0018__HEIGHT,R_0006_0016__REALISED] :
( r_0006_0017__the_r_0006_0018__height(R_0006_0017__THE_R_0006_0018__HEIGHT)
& r_0006_0016__realised(R_0006_0016__REALISED)
& has_arg1(R_0006_0016__REALISED,R_0006_0017__THE_R_0006_0018__HEIGHT)
& has_arg0(R_0006_0016__REALISED,R_0006_0001__MICKEY) ) )
& has_conj1(R_0006_0008__AND,R_0006_0002__CLAMBERED_R_0006_0003__UP)
& r_0006_0002__clambered_r_0006_0003__up(R_0006_0002__CLAMBERED_R_0006_0003__UP)
& has_r_0006_0004__in__nim(R_0006_0002__CLAMBERED_R_0006_0003__UP,R_0006_0006__PUPPY_R_0006_0007__WAYS)
& r_0006_0006__puppy_r_0006_0007__ways(R_0006_0006__PUPPY_R_0006_0007__WAYS)
& has_gen(R_0006_0006__PUPPY_R_0006_0007__WAYS,R_0006_0001__MICKEY)
& has_arg0(R_0006_0002__CLAMBERED_R_0006_0003__UP,R_0006_0001__MICKEY) ) ).