43_a_hardy_1883
%3
r_0043_0001__Dancing
Dancing
z_000_43_a_hardy_1883_2
r_0043_0001__Dancing->z_000_43_a_hardy_1883_2
[arg0]
r_0043_0002__was
was
r_0043_0002__was->r_0043_0001__Dancing
[arg0]
r_0043_0003__instantaneous
instantaneous
r_0043_0002__was->r_0043_0003__instantaneous
[prd]
r_0043_0008__enjoining
enjoining
r_0043_0005__Mrs_dot__r_0043_0006__Fennel
Mrs. Fennel
r_0043_0008__enjoining->r_0043_0005__Mrs_dot__r_0043_0006__Fennel
[arg0]
r_0043_0007__privately
privately
r_0043_0008__enjoining->r_0043_0007__privately
[nim]
r_0043_0009__the_r_0043_0010__players
the players
r_0043_0008__enjoining->r_0043_0009__the_r_0043_0010__players
[arg2]
r_0043_0012__no_quant
no [quant]
r_0043_0008__enjoining->r_0043_0012__no_quant
[arg1]
r_0043_0013__account
account
r_0043_0012__no_quant->r_0043_0013__account
[restriction]
r_0043_0014__to_r_0043_0015__let
to let
r_0043_0012__no_quant->r_0043_0014__to_r_0043_0015__let
[scope]
r_0043_0014__to_r_0043_0015__let->r_0043_0009__the_r_0043_0010__players
[arg0]
r_0043_0014__to_r_0043_0015__let->r_0043_0013__account
on [nim]
r_0043_0016__the_r_0043_0017__dance
the dance
r_0043_0014__to_r_0043_0015__let->r_0043_0016__the_r_0043_0017__dance
[arg1]
r_0043_0018__exceed
exceed
r_0043_0014__to_r_0043_0015__let->r_0043_0018__exceed
[prd]
r_0043_0019__the_r_0043_0020__length
the length
r_0043_0018__exceed->r_0043_0019__the_r_0043_0020__length
[arg1]
x_000_43_a_hardy_1883_47
__
r_0043_0018__exceed->x_000_43_a_hardy_1883_47
[arg0]
r_0043_0022__a_r_0043_0023__quarter
a quarter
r_0043_0019__the_r_0043_0020__length->r_0043_0022__a_r_0043_0023__quarter
of
r_0043_0025__an_r_0043_0026__hour
an hour
r_0043_0022__a_r_0043_0023__quarter->r_0043_0025__an_r_0043_0026__hour
of
z_000_43_a_hardy_1883_12
z_000_43_a_hardy_1883_12->r_0043_0002__was
[scope]
z_000_43_a_hardy_1883_12->r_0043_0008__enjoining
[restriction]
arc(r_0043_0001__Dancing, z_000_43_a_hardy_1883_2, arg0).
arc(r_0043_0002__was, r_0043_0001__Dancing, arg0).
arc(r_0043_0002__was, r_0043_0003__instantaneous, prd).
arc(r_0043_0008__enjoining, r_0043_0005__Mrs_dot__r_0043_0006__Fennel, arg0).
arc(r_0043_0008__enjoining, r_0043_0007__privately, nim19).
arc(r_0043_0008__enjoining, r_0043_0009__the_r_0043_0010__players, arg2).
arc(r_0043_0008__enjoining, r_0043_0012__no_quant, arg1).
arc(r_0043_0012__no_quant, r_0043_0013__account, restriction).
arc(r_0043_0012__no_quant, r_0043_0014__to_r_0043_0015__let, scope).
arc(r_0043_0014__to_r_0043_0015__let, r_0043_0009__the_r_0043_0010__players, arg0).
arc(r_0043_0014__to_r_0043_0015__let, r_0043_0013__account, r_0043_0011__on_nim33).
arc(r_0043_0014__to_r_0043_0015__let, r_0043_0016__the_r_0043_0017__dance, arg1).
arc(r_0043_0014__to_r_0043_0015__let, r_0043_0018__exceed, prd).
arc(r_0043_0018__exceed, r_0043_0019__the_r_0043_0020__length, arg1).
arc(r_0043_0018__exceed, x_000_43_a_hardy_1883_47, arg0).
arc(r_0043_0019__the_r_0043_0020__length, r_0043_0022__a_r_0043_0023__quarter, r_0043_0021__of).
arc(r_0043_0022__a_r_0043_0023__quarter, r_0043_0025__an_r_0043_0026__hour, r_0043_0024__of).
arc(z_000_43_a_hardy_1883_12, r_0043_0002__was, scope).
arc(z_000_43_a_hardy_1883_12, r_0043_0008__enjoining, restriction).
%3
z_000_43_a_hardy_1883_12
r_0043_0008__enjoining
enjoining
z_000_43_a_hardy_1883_12->r_0043_0008__enjoining
[conj1]
r_0043_0002__was
was
z_000_43_a_hardy_1883_12->r_0043_0002__was
[conj2]
r_0043_0009__the_r_0043_0010__players
the players
r_0043_0008__enjoining->r_0043_0009__the_r_0043_0010__players
[arg2]
r_0043_0012__no_quant
no [quant]
r_0043_0008__enjoining->r_0043_0012__no_quant
[arg1]
r_0043_0007__privately
privately
r_0043_0008__enjoining->r_0043_0007__privately
[nim]
r_0043_0005__Mrs_dot__r_0043_0006__Fennel
Mrs. Fennel
r_0043_0008__enjoining->r_0043_0005__Mrs_dot__r_0043_0006__Fennel
[arg0]
r_0043_0003__instantaneous
instantaneous
r_0043_0002__was->r_0043_0003__instantaneous
[prd]
r_0043_0001__Dancing
Dancing
r_0043_0002__was->r_0043_0001__Dancing
[arg0]
r_0043_0022__a_r_0043_0023__quarter
a quarter
r_0043_0025__an_r_0043_0026__hour
an hour
r_0043_0022__a_r_0043_0023__quarter->r_0043_0025__an_r_0043_0026__hour
of
r_0043_0019__the_r_0043_0020__length
the length
r_0043_0019__the_r_0043_0020__length->r_0043_0022__a_r_0043_0023__quarter
of
r_0043_0018__exceed
exceed
r_0043_0018__exceed->r_0043_0019__the_r_0043_0020__length
[arg1]
x_000_43_a_hardy_1883_47
__
r_0043_0018__exceed->x_000_43_a_hardy_1883_47
[arg0]
r_0043_0014__to_r_0043_0015__let
to let
r_0043_0014__to_r_0043_0015__let->r_0043_0018__exceed
[prd]
r_0043_0016__the_r_0043_0017__dance
the dance
r_0043_0014__to_r_0043_0015__let->r_0043_0016__the_r_0043_0017__dance
[arg1]
r_0043_0013__account
account
r_0043_0014__to_r_0043_0015__let->r_0043_0013__account
on [nim]
r_0043_0014__to_r_0043_0015__let->r_0043_0009__the_r_0043_0010__players
[arg0]
r_0043_0012__no_quant->r_0043_0014__to_r_0043_0015__let
[scope]
r_0043_0012__no_quant->r_0043_0013__account
[restriction]
z_000_43_a_hardy_1883_2
r_0043_0001__Dancing->z_000_43_a_hardy_1883_2
[arg0]
fof(formula,axiom,
? [Z_43_A_HARDY_1883_12,R_43_8_ENJOINING,R_43_5_MRS_DOT_FENNEL,R_43_9_THE_PLAYERS,R_43_7_PRIVATELY,R_43_2_WAS,R_43_1_DANCING,Z_43_A_HARDY_1883_2,R_43_3_INSTANTANEOUS] :
( mrs_dot_Fennel(R_43_5_MRS_DOT_FENNEL)
& the_players(R_43_9_THE_PLAYERS)
& privately(R_43_7_PRIVATELY)
& instantaneous(R_43_3_INSTANTANEOUS)
& z_43_a_hardy_1883_12(Z_43_A_HARDY_1883_12)
& conj1(Z_43_A_HARDY_1883_12,R_43_8_ENJOINING)
& ! [R_43_13_ACCOUNT] :
( account(R_43_13_ACCOUNT)
=> ? [R_43_14_TO_LET,R_43_16_THE_DANCE,R_43_18_EXCEED,X_43_A_HARDY_1883_47,R_43_19_THE_LENGTH,R_43_22_A_QUARTER,R_43_25_AN_HOUR] :
( the_dance(R_43_16_THE_DANCE)
& an_hour(R_43_25_AN_HOUR)
& to_let(R_43_14_TO_LET,R_43_9_THE_PLAYERS,R_43_16_THE_DANCE,R_43_18_EXCEED)
& exceed(R_43_18_EXCEED,X_43_A_HARDY_1883_47,R_43_19_THE_LENGTH)
& the_length(R_43_19_THE_LENGTH)
& of(R_43_19_THE_LENGTH,R_43_22_A_QUARTER)
& a_quarter(R_43_22_A_QUARTER)
& of(R_43_22_A_QUARTER,R_43_25_AN_HOUR)
& on_nim33(R_43_14_TO_LET,R_43_13_ACCOUNT) ) )
& arg1(ARG1)
& enjoining(R_43_8_ENJOINING,R_43_5_MRS_DOT_FENNEL)
& arg2(R_43_8_ENJOINING,R_43_9_THE_PLAYERS)
& nim19(R_43_8_ENJOINING,R_43_7_PRIVATELY)
& conj2(Z_43_A_HARDY_1883_12,R_43_2_WAS)
& was(R_43_2_WAS,R_43_1_DANCING,R_43_3_INSTANTANEOUS)
& dancing(R_43_1_DANCING,Z_43_A_HARDY_1883_2) ) ).
n43_a_hardy_1883
n43_a_hardy_1883__1_1_1_1
Dancing
n43_a_hardy_1883__1_2_1
was
n43_a_hardy_1883__1_3_1_1
instantaneous
n43_a_hardy_1883__1_4_1
,
n43_a_hardy_1883__1_5_1_1_1_1
Mrs.
n43_a_hardy_1883__1_5_1_1_2_1
Fennel
n43_a_hardy_1883__1_5_1_2_1_1
privately
n43_a_hardy_1883__1_5_1_3_1
enjoining
n43_a_hardy_1883__1_5_1_4_1_1
the
n43_a_hardy_1883__1_5_1_4_2_1
players
n43_a_hardy_1883__1_5_1_5_1_1_1
on
n43_a_hardy_1883__1_5_1_5_1_2_1_1
no
n43_a_hardy_1883__1_5_1_5_1_2_2_1
account
n43_a_hardy_1883__1_5_1_5_2_1
to
n43_a_hardy_1883__1_5_1_5_3_1
let
n43_a_hardy_1883__1_5_1_5_4_1_1
the
n43_a_hardy_1883__1_5_1_5_4_2_1
dance
n43_a_hardy_1883__1_5_1_5_5_1_1
exceed
n43_a_hardy_1883__1_5_1_5_5_2_1_1
the
n43_a_hardy_1883__1_5_1_5_5_2_2_1
length
n43_a_hardy_1883__1_5_1_5_5_2_3_1_1
of
n43_a_hardy_1883__1_5_1_5_5_2_3_2_1_1
a
n43_a_hardy_1883__1_5_1_5_5_2_3_2_2_1
quarter
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_1_1
of
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2_1_1
an
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2_2_1
hour
n43_a_hardy_1883__1_6_1
.
n43_a_hardy_1883__1
IP-MAT
n43_a_hardy_1883__1_1
IP-PPL-SBJ
n43_a_hardy_1883__1->n43_a_hardy_1883__1_1
n43_a_hardy_1883__1_2
BED;_La_
n43_a_hardy_1883__1->n43_a_hardy_1883__1_2
n43_a_hardy_1883__1_3
ADJP-PRD
n43_a_hardy_1883__1->n43_a_hardy_1883__1_3
n43_a_hardy_1883__1_4
PUNC
n43_a_hardy_1883__1->n43_a_hardy_1883__1_4
n43_a_hardy_1883__1_5
PP-SCON
n43_a_hardy_1883__1->n43_a_hardy_1883__1_5
n43_a_hardy_1883__1_6
PUNC
n43_a_hardy_1883__1->n43_a_hardy_1883__1_6
n43_a_hardy_1883__1_1_1
VAG;__
n43_a_hardy_1883__1_1->n43_a_hardy_1883__1_1_1
n43_a_hardy_1883__1_1_1->n43_a_hardy_1883__1_1_1_1
n43_a_hardy_1883__1_2->n43_a_hardy_1883__1_2_1
n43_a_hardy_1883__1_3_1
ADJ
n43_a_hardy_1883__1_3->n43_a_hardy_1883__1_3_1
n43_a_hardy_1883__1_3_1->n43_a_hardy_1883__1_3_1_1
n43_a_hardy_1883__1_4->n43_a_hardy_1883__1_4_1
n43_a_hardy_1883__1_5_1
IP-PPL3
n43_a_hardy_1883__1_5->n43_a_hardy_1883__1_5_1
n43_a_hardy_1883__1_5_1_1
NP-SBJ
n43_a_hardy_1883__1_5_1->n43_a_hardy_1883__1_5_1_1
n43_a_hardy_1883__1_5_1_2
ADVP-NIM
n43_a_hardy_1883__1_5_1->n43_a_hardy_1883__1_5_1_2
n43_a_hardy_1883__1_5_1_3
VAG;__
n43_a_hardy_1883__1_5_1->n43_a_hardy_1883__1_5_1_3
n43_a_hardy_1883__1_5_1_4
NP-OB2
n43_a_hardy_1883__1_5_1->n43_a_hardy_1883__1_5_1_4
n43_a_hardy_1883__1_5_1_5
IP-INF-OB1
n43_a_hardy_1883__1_5_1->n43_a_hardy_1883__1_5_1_5
n43_a_hardy_1883__1_5_1_1_1
N
n43_a_hardy_1883__1_5_1_1->n43_a_hardy_1883__1_5_1_1_1
n43_a_hardy_1883__1_5_1_1_2
NPR
n43_a_hardy_1883__1_5_1_1->n43_a_hardy_1883__1_5_1_1_2
n43_a_hardy_1883__1_5_1_1_1->n43_a_hardy_1883__1_5_1_1_1_1
n43_a_hardy_1883__1_5_1_1_2->n43_a_hardy_1883__1_5_1_1_2_1
n43_a_hardy_1883__1_5_1_2_1
ADV
n43_a_hardy_1883__1_5_1_2->n43_a_hardy_1883__1_5_1_2_1
n43_a_hardy_1883__1_5_1_2_1->n43_a_hardy_1883__1_5_1_2_1_1
n43_a_hardy_1883__1_5_1_3->n43_a_hardy_1883__1_5_1_3_1
n43_a_hardy_1883__1_5_1_4_1
D
n43_a_hardy_1883__1_5_1_4->n43_a_hardy_1883__1_5_1_4_1
n43_a_hardy_1883__1_5_1_4_2
NS
n43_a_hardy_1883__1_5_1_4->n43_a_hardy_1883__1_5_1_4_2
n43_a_hardy_1883__1_5_1_4_1->n43_a_hardy_1883__1_5_1_4_1_1
n43_a_hardy_1883__1_5_1_4_2->n43_a_hardy_1883__1_5_1_4_2_1
n43_a_hardy_1883__1_5_1_5_1
PP-NIM
n43_a_hardy_1883__1_5_1_5->n43_a_hardy_1883__1_5_1_5_1
n43_a_hardy_1883__1_5_1_5_2
TO
n43_a_hardy_1883__1_5_1_5->n43_a_hardy_1883__1_5_1_5_2
n43_a_hardy_1883__1_5_1_5_3
VB;__
n43_a_hardy_1883__1_5_1_5->n43_a_hardy_1883__1_5_1_5_3
n43_a_hardy_1883__1_5_1_5_4
NP-OB1
n43_a_hardy_1883__1_5_1_5->n43_a_hardy_1883__1_5_1_5_4
n43_a_hardy_1883__1_5_1_5_5
IP-INF-PRD
n43_a_hardy_1883__1_5_1_5->n43_a_hardy_1883__1_5_1_5_5
n43_a_hardy_1883__1_5_1_5_1_1
P-ROLE
n43_a_hardy_1883__1_5_1_5_1->n43_a_hardy_1883__1_5_1_5_1_1
n43_a_hardy_1883__1_5_1_5_1_2
NP
n43_a_hardy_1883__1_5_1_5_1->n43_a_hardy_1883__1_5_1_5_1_2
n43_a_hardy_1883__1_5_1_5_1_1->n43_a_hardy_1883__1_5_1_5_1_1_1
n43_a_hardy_1883__1_5_1_5_1_2_1
Q
n43_a_hardy_1883__1_5_1_5_1_2->n43_a_hardy_1883__1_5_1_5_1_2_1
n43_a_hardy_1883__1_5_1_5_1_2_2
N
n43_a_hardy_1883__1_5_1_5_1_2->n43_a_hardy_1883__1_5_1_5_1_2_2
n43_a_hardy_1883__1_5_1_5_1_2_1->n43_a_hardy_1883__1_5_1_5_1_2_1_1
n43_a_hardy_1883__1_5_1_5_1_2_2->n43_a_hardy_1883__1_5_1_5_1_2_2_1
n43_a_hardy_1883__1_5_1_5_2->n43_a_hardy_1883__1_5_1_5_2_1
n43_a_hardy_1883__1_5_1_5_3->n43_a_hardy_1883__1_5_1_5_3_1
n43_a_hardy_1883__1_5_1_5_4_1
D
n43_a_hardy_1883__1_5_1_5_4->n43_a_hardy_1883__1_5_1_5_4_1
n43_a_hardy_1883__1_5_1_5_4_2
N
n43_a_hardy_1883__1_5_1_5_4->n43_a_hardy_1883__1_5_1_5_4_2
n43_a_hardy_1883__1_5_1_5_4_1->n43_a_hardy_1883__1_5_1_5_4_1_1
n43_a_hardy_1883__1_5_1_5_4_2->n43_a_hardy_1883__1_5_1_5_4_2_1
n43_a_hardy_1883__1_5_1_5_5_1
VB;__
n43_a_hardy_1883__1_5_1_5_5->n43_a_hardy_1883__1_5_1_5_5_1
n43_a_hardy_1883__1_5_1_5_5_2
NP-OB1
n43_a_hardy_1883__1_5_1_5_5->n43_a_hardy_1883__1_5_1_5_5_2
n43_a_hardy_1883__1_5_1_5_5_1->n43_a_hardy_1883__1_5_1_5_5_1_1
n43_a_hardy_1883__1_5_1_5_5_2_1
D
n43_a_hardy_1883__1_5_1_5_5_2->n43_a_hardy_1883__1_5_1_5_5_2_1
n43_a_hardy_1883__1_5_1_5_5_2_2
N
n43_a_hardy_1883__1_5_1_5_5_2->n43_a_hardy_1883__1_5_1_5_5_2_2
n43_a_hardy_1883__1_5_1_5_5_2_3
PP
n43_a_hardy_1883__1_5_1_5_5_2->n43_a_hardy_1883__1_5_1_5_5_2_3
n43_a_hardy_1883__1_5_1_5_5_2_1->n43_a_hardy_1883__1_5_1_5_5_2_1_1
n43_a_hardy_1883__1_5_1_5_5_2_2->n43_a_hardy_1883__1_5_1_5_5_2_2_1
n43_a_hardy_1883__1_5_1_5_5_2_3_1
P-ROLE
n43_a_hardy_1883__1_5_1_5_5_2_3->n43_a_hardy_1883__1_5_1_5_5_2_3_1
n43_a_hardy_1883__1_5_1_5_5_2_3_2
NP
n43_a_hardy_1883__1_5_1_5_5_2_3->n43_a_hardy_1883__1_5_1_5_5_2_3_2
n43_a_hardy_1883__1_5_1_5_5_2_3_1->n43_a_hardy_1883__1_5_1_5_5_2_3_1_1
n43_a_hardy_1883__1_5_1_5_5_2_3_2_1
D
n43_a_hardy_1883__1_5_1_5_5_2_3_2->n43_a_hardy_1883__1_5_1_5_5_2_3_2_1
n43_a_hardy_1883__1_5_1_5_5_2_3_2_2
N
n43_a_hardy_1883__1_5_1_5_5_2_3_2->n43_a_hardy_1883__1_5_1_5_5_2_3_2_2
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3
PP
n43_a_hardy_1883__1_5_1_5_5_2_3_2->n43_a_hardy_1883__1_5_1_5_5_2_3_2_3
n43_a_hardy_1883__1_5_1_5_5_2_3_2_1->n43_a_hardy_1883__1_5_1_5_5_2_3_2_1_1
n43_a_hardy_1883__1_5_1_5_5_2_3_2_2->n43_a_hardy_1883__1_5_1_5_5_2_3_2_2_1
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_1
P-ROLE
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3->n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_1
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2
NP
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3->n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_1->n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_1_1
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2_1
D
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2->n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2_1
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2_2
N
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2->n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2_2
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2_1->n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2_1_1
n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2_2->n43_a_hardy_1883__1_5_1_5_5_2_3_2_3_2_2_1
n43_a_hardy_1883__1_6->n43_a_hardy_1883__1_6_1
( (IP-MAT (IP-PPL-SBJ (VAG;__ Dancing;{dance}))
(BED;_La_ was;{be})
(ADJP-PRD (ADJ instantaneous;{instantaneous}))
(PUNC ,)
(PP-SCON (IP-PPL3 (NP-SBJ (N Mrs<dot>)
(NPR Fennel;{Fennel}))
(ADVP-NIM (ADV privately;{privately}))
(VAG;__ enjoining;{enjoin})
(NP-OB2 (D the;{the})
(NS players;{player}))
(IP-INF-OB1 (PP-NIM (P-ROLE on;{on})
(NP (Q no;{no})
(N account;{account})))
(TO to;{to})
(VB;__ let;{let})
(NP-OB1 (D the;{the})
(N dance;{dance}))
(IP-INF-PRD (VB;__ exceed;{exceed})
(NP-OB1 (D the;{the})
(N length;{length})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(N quarter;{quarter})
(PP (P-ROLE of;{of})
(NP (D an;{an})
(N hour;{hour}))))))))))
(PUNC .))
(ID 43_a_hardy_1883))