6_a_stories_10_k58
%3
r_0006_0002__clambered
clambered
r_0006_0001__Mickey
Mickey
r_0006_0002__clambered->r_0006_0001__Mickey
[arg0]
r_0006_0003__up
up
r_0006_0002__clambered->r_0006_0003__up
[clr]
r_0006_0006__puppy_r_0006_0007__ways
puppy ways
r_0006_0002__clambered->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
[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
arriving
r_0006_0009__when->r_0006_0010__arriving
[restriction]
r_0006_0016__realised
realised
r_0006_0009__when->r_0006_0016__realised
[scope]
r_0006_0010__arriving->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_0012__the_r_0006_0013__top_r_0006_0014__step
on [clr]
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
would
r_0006_0023__not->r_0006_0022__would
[keep_scope]
r_0006_0021__terror
terror
r_0006_0021__terror->r_0006_0001__Mickey
[gen]
r_0006_0024__let
let
r_0006_0022__would->r_0006_0024__let
[scope]
r_0006_0024__let->r_0006_0001__Mickey
[arg1]
r_0006_0024__let->r_0006_0021__terror
[arg0]
r_0006_0026__go
go
r_0006_0024__let->r_0006_0026__go
[prd]
r_0006_0027__down
down
r_0006_0026__go->r_0006_0027__down
[clr]
x_000_6_a_stories_10_k58_75
__
r_0006_0026__go->x_000_6_a_stories_10_k58_75
[arg0]
arc(r_0006_0002__clambered, r_0006_0001__Mickey, arg0).
arc(r_0006_0002__clambered, r_0006_0003__up, clr9).
arc(r_0006_0002__clambered, r_0006_0006__puppy_r_0006_0007__ways, r_0006_0004__in_nim15).
arc(r_0006_0006__puppy_r_0006_0007__ways, r_0006_0001__Mickey, gen).
arc(r_0006_0008__and, r_0006_0002__clambered, conj1).
arc(r_0006_0008__and, r_0006_0019__and, conj2).
arc(r_0006_0009__when, r_0006_0010__arriving, restriction).
arc(r_0006_0009__when, r_0006_0016__realised, scope).
arc(r_0006_0010__arriving, r_0006_0001__Mickey, arg0).
arc(r_0006_0010__arriving, r_0006_0012__the_r_0006_0013__top_r_0006_0014__step, r_0006_0011__on_clr38).
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, prd).
arc(r_0006_0026__go, r_0006_0027__down, clr78).
arc(r_0006_0026__go, x_000_6_a_stories_10_k58_75, arg0).
%3
r_0006_0002__clambered
clambered
r_0006_0001__Mickey
Mickey
r_0006_0002__clambered->r_0006_0001__Mickey
[arg0]
r_0006_0003__up
up
r_0006_0002__clambered->r_0006_0003__up
[clr]
r_0006_0006__puppy_r_0006_0007__ways
puppy ways
r_0006_0002__clambered->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
[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
arriving
r_0006_0009__when->r_0006_0010__arriving
[restriction]
r_0006_0016__realised
realised
r_0006_0009__when->r_0006_0016__realised
[scope]
r_0006_0010__arriving->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_0012__the_r_0006_0013__top_r_0006_0014__step
on [clr]
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
go
r_0006_0022__would_r_0006_0024__let->r_0006_0026__go
[prd]
r_0006_0027__down
down
r_0006_0026__go->r_0006_0027__down
[clr]
x_000_6_a_stories_10_k58_75
__
r_0006_0026__go->x_000_6_a_stories_10_k58_75
[arg0]
fof(formula,axiom,
? [R_6_8_AND,R_6_2_CLAMBERED,R_6_3_UP,R_6_6_PUPPY_WAYS,R_6_1_MICKEY,R_6_19_AND] :
( up(R_6_3_UP)
& mickey(R_6_1_MICKEY)
& and(R_6_8_AND)
& conj1(R_6_8_AND,R_6_2_CLAMBERED)
& clambered(R_6_2_CLAMBERED,R_6_1_MICKEY)
& clr9(R_6_2_CLAMBERED,R_6_3_UP)
& in_nim15(R_6_2_CLAMBERED,R_6_6_PUPPY_WAYS)
& puppy_ways(R_6_6_PUPPY_WAYS)
& gen(R_6_6_PUPPY_WAYS,R_6_1_MICKEY)
& conj2(R_6_8_AND,R_6_19_AND)
& ! [R_6_10_ARRIVING,R_6_12_THE_TOP_STEP] :
( ( the_top_step(R_6_12_THE_TOP_STEP)
& arriving(R_6_10_ARRIVING,R_6_1_MICKEY)
& on_clr38(R_6_10_ARRIVING,R_6_12_THE_TOP_STEP) )
=> ? [R_6_16_REALISED,R_6_17_THE_HEIGHT] :
( the_height(R_6_17_THE_HEIGHT)
& realised(R_6_16_REALISED,R_6_1_MICKEY,R_6_17_THE_HEIGHT) ) )
& conj1(CONJ1)
& and(R_6_19_AND)
& conj2(R_6_19_AND,R_6_23_NOT)
& ~ ? [R_6_22_WOULD_LET,R_6_21_TERROR,R_6_26_GO,X_6_A_STORIES_10_K58_75,R_6_27_DOWN] :
( down(R_6_27_DOWN)
& would_let(R_6_22_WOULD_LET,R_6_21_TERROR,R_6_1_MICKEY,R_6_26_GO)
& terror(R_6_21_TERROR)
& gen(R_6_21_TERROR,R_6_1_MICKEY)
& go(R_6_26_GO,X_6_A_STORIES_10_K58_75)
& clr78(R_6_26_GO,R_6_27_DOWN) ) ) ).
n6_a_stories_10_k58
n6_a_stories_10_k58_6
Mickey
n6_a_stories_10_k58_8
clambered
n6_a_stories_10_k58_11
up
n6_a_stories_10_k58_14
in
n6_a_stories_10_k58_18
his
n6_a_stories_10_k58_20
puppy
n6_a_stories_10_k58_22
ways
n6_a_stories_10_k58_25
and
n6_a_stories_10_k58_31
when
n6_a_stories_10_k58_34
arriving
n6_a_stories_10_k58_37
on
n6_a_stories_10_k58_40
the
n6_a_stories_10_k58_42
top
n6_a_stories_10_k58_44
step
n6_a_stories_10_k58_47
he
n6_a_stories_10_k58_49
realised
n6_a_stories_10_k58_52
the
n6_a_stories_10_k58_54
height
n6_a_stories_10_k58_57
and
n6_a_stories_10_k58_62
his
n6_a_stories_10_k58_64
terror
n6_a_stories_10_k58_66
would
n6_a_stories_10_k58_68
not
n6_a_stories_10_k58_71
let
n6_a_stories_10_k58_74
him
n6_a_stories_10_k58_77
go
n6_a_stories_10_k58_80
down
n6_a_stories_10_k58_82
.
n6_a_stories_10_k58_1
IP-MAT
n6_a_stories_10_k58_2
ILYR
n6_a_stories_10_k58_1->n6_a_stories_10_k58_2
n6_a_stories_10_k58_81
PUNC
n6_a_stories_10_k58_1->n6_a_stories_10_k58_81
n6_a_stories_10_k58_3
ILYR
n6_a_stories_10_k58_2->n6_a_stories_10_k58_3
n6_a_stories_10_k58_23
CONJP
n6_a_stories_10_k58_2->n6_a_stories_10_k58_23
n6_a_stories_10_k58_4
NP-SBJ
n6_a_stories_10_k58_3->n6_a_stories_10_k58_4
n6_a_stories_10_k58_7
VBD;_Ip_
n6_a_stories_10_k58_3->n6_a_stories_10_k58_7
n6_a_stories_10_k58_9
ADVP-CLR
n6_a_stories_10_k58_3->n6_a_stories_10_k58_9
n6_a_stories_10_k58_12
PP-NIM
n6_a_stories_10_k58_3->n6_a_stories_10_k58_12
n6_a_stories_10_k58_5
NPR
n6_a_stories_10_k58_4->n6_a_stories_10_k58_5
n6_a_stories_10_k58_5->n6_a_stories_10_k58_6
n6_a_stories_10_k58_7->n6_a_stories_10_k58_8
n6_a_stories_10_k58_10
RP
n6_a_stories_10_k58_9->n6_a_stories_10_k58_10
n6_a_stories_10_k58_10->n6_a_stories_10_k58_11
n6_a_stories_10_k58_13
P-ROLE
n6_a_stories_10_k58_12->n6_a_stories_10_k58_13
n6_a_stories_10_k58_15
NP
n6_a_stories_10_k58_12->n6_a_stories_10_k58_15
n6_a_stories_10_k58_13->n6_a_stories_10_k58_14
n6_a_stories_10_k58_16
NP-GEN
n6_a_stories_10_k58_15->n6_a_stories_10_k58_16
n6_a_stories_10_k58_19
N
n6_a_stories_10_k58_15->n6_a_stories_10_k58_19
n6_a_stories_10_k58_21
NS
n6_a_stories_10_k58_15->n6_a_stories_10_k58_21
n6_a_stories_10_k58_17
PRO;_genm_
n6_a_stories_10_k58_16->n6_a_stories_10_k58_17
n6_a_stories_10_k58_17->n6_a_stories_10_k58_18
n6_a_stories_10_k58_19->n6_a_stories_10_k58_20
n6_a_stories_10_k58_21->n6_a_stories_10_k58_22
n6_a_stories_10_k58_24
CONJ
n6_a_stories_10_k58_23->n6_a_stories_10_k58_24
n6_a_stories_10_k58_26
ILYR
n6_a_stories_10_k58_23->n6_a_stories_10_k58_26
n6_a_stories_10_k58_24->n6_a_stories_10_k58_25
n6_a_stories_10_k58_27
ILYR
n6_a_stories_10_k58_26->n6_a_stories_10_k58_27
n6_a_stories_10_k58_28
ILYR
n6_a_stories_10_k58_27->n6_a_stories_10_k58_28
n6_a_stories_10_k58_55
CONJP
n6_a_stories_10_k58_27->n6_a_stories_10_k58_55
n6_a_stories_10_k58_29
PP-SCON
n6_a_stories_10_k58_28->n6_a_stories_10_k58_29
n6_a_stories_10_k58_45
NP-SBJ
n6_a_stories_10_k58_28->n6_a_stories_10_k58_45
n6_a_stories_10_k58_48
VBD;_Tn_
n6_a_stories_10_k58_28->n6_a_stories_10_k58_48
n6_a_stories_10_k58_50
NP-OB1
n6_a_stories_10_k58_28->n6_a_stories_10_k58_50
n6_a_stories_10_k58_30
P-CONN
n6_a_stories_10_k58_29->n6_a_stories_10_k58_30
n6_a_stories_10_k58_32
IP-PPL2
n6_a_stories_10_k58_29->n6_a_stories_10_k58_32
n6_a_stories_10_k58_30->n6_a_stories_10_k58_31
n6_a_stories_10_k58_33
VAG;_Ipr_
n6_a_stories_10_k58_32->n6_a_stories_10_k58_33
n6_a_stories_10_k58_35
PP-CLR
n6_a_stories_10_k58_32->n6_a_stories_10_k58_35
n6_a_stories_10_k58_33->n6_a_stories_10_k58_34
n6_a_stories_10_k58_36
P-ROLE
n6_a_stories_10_k58_35->n6_a_stories_10_k58_36
n6_a_stories_10_k58_38
NP
n6_a_stories_10_k58_35->n6_a_stories_10_k58_38
n6_a_stories_10_k58_36->n6_a_stories_10_k58_37
n6_a_stories_10_k58_39
D
n6_a_stories_10_k58_38->n6_a_stories_10_k58_39
n6_a_stories_10_k58_41
N
n6_a_stories_10_k58_38->n6_a_stories_10_k58_41
n6_a_stories_10_k58_43
N
n6_a_stories_10_k58_38->n6_a_stories_10_k58_43
n6_a_stories_10_k58_39->n6_a_stories_10_k58_40
n6_a_stories_10_k58_41->n6_a_stories_10_k58_42
n6_a_stories_10_k58_43->n6_a_stories_10_k58_44
n6_a_stories_10_k58_46
PRO
n6_a_stories_10_k58_45->n6_a_stories_10_k58_46
n6_a_stories_10_k58_46->n6_a_stories_10_k58_47
n6_a_stories_10_k58_48->n6_a_stories_10_k58_49
n6_a_stories_10_k58_51
D
n6_a_stories_10_k58_50->n6_a_stories_10_k58_51
n6_a_stories_10_k58_53
N
n6_a_stories_10_k58_50->n6_a_stories_10_k58_53
n6_a_stories_10_k58_51->n6_a_stories_10_k58_52
n6_a_stories_10_k58_53->n6_a_stories_10_k58_54
n6_a_stories_10_k58_56
CONJ
n6_a_stories_10_k58_55->n6_a_stories_10_k58_56
n6_a_stories_10_k58_58
ILYR
n6_a_stories_10_k58_55->n6_a_stories_10_k58_58
n6_a_stories_10_k58_56->n6_a_stories_10_k58_57
n6_a_stories_10_k58_59
NP-SBJ
n6_a_stories_10_k58_58->n6_a_stories_10_k58_59
n6_a_stories_10_k58_65
MD;_cat_Vi_
n6_a_stories_10_k58_58->n6_a_stories_10_k58_65
n6_a_stories_10_k58_67
NEG
n6_a_stories_10_k58_58->n6_a_stories_10_k58_67
n6_a_stories_10_k58_69
IP-INF-CAT
n6_a_stories_10_k58_58->n6_a_stories_10_k58_69
n6_a_stories_10_k58_60
NP-GEN
n6_a_stories_10_k58_59->n6_a_stories_10_k58_60
n6_a_stories_10_k58_63
N
n6_a_stories_10_k58_59->n6_a_stories_10_k58_63
n6_a_stories_10_k58_61
PRO;_genm_
n6_a_stories_10_k58_60->n6_a_stories_10_k58_61
n6_a_stories_10_k58_61->n6_a_stories_10_k58_62
n6_a_stories_10_k58_63->n6_a_stories_10_k58_64
n6_a_stories_10_k58_65->n6_a_stories_10_k58_66
n6_a_stories_10_k58_67->n6_a_stories_10_k58_68
n6_a_stories_10_k58_70
VB;_Cn.i_
n6_a_stories_10_k58_69->n6_a_stories_10_k58_70
n6_a_stories_10_k58_72
NP-OB1
n6_a_stories_10_k58_69->n6_a_stories_10_k58_72
n6_a_stories_10_k58_75
IP-INF-PRD
n6_a_stories_10_k58_69->n6_a_stories_10_k58_75
n6_a_stories_10_k58_70->n6_a_stories_10_k58_71
n6_a_stories_10_k58_73
PRO
n6_a_stories_10_k58_72->n6_a_stories_10_k58_73
n6_a_stories_10_k58_73->n6_a_stories_10_k58_74
n6_a_stories_10_k58_76
VB;_Ip_
n6_a_stories_10_k58_75->n6_a_stories_10_k58_76
n6_a_stories_10_k58_78
ADVP-CLR
n6_a_stories_10_k58_75->n6_a_stories_10_k58_78
n6_a_stories_10_k58_76->n6_a_stories_10_k58_77
n6_a_stories_10_k58_79
RP
n6_a_stories_10_k58_78->n6_a_stories_10_k58_79
n6_a_stories_10_k58_79->n6_a_stories_10_k58_80
n6_a_stories_10_k58_81->n6_a_stories_10_k58_82
( (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))