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
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
[conj2]
z_000_43_a_hardy_1883_12->r_0043_0008__enjoining
[conj1]
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_4
Dancing
n43_a_hardy_1883_6
was
n43_a_hardy_1883_9
instantaneous
n43_a_hardy_1883_11
,
n43_a_hardy_1883_16
Mrs.
n43_a_hardy_1883_18
Fennel
n43_a_hardy_1883_21
privately
n43_a_hardy_1883_23
enjoining
n43_a_hardy_1883_26
the
n43_a_hardy_1883_28
players
n43_a_hardy_1883_32
on
n43_a_hardy_1883_35
no
n43_a_hardy_1883_37
account
n43_a_hardy_1883_39
to
n43_a_hardy_1883_41
let
n43_a_hardy_1883_44
the
n43_a_hardy_1883_46
dance
n43_a_hardy_1883_49
exceed
n43_a_hardy_1883_52
the
n43_a_hardy_1883_54
length
n43_a_hardy_1883_57
of
n43_a_hardy_1883_60
a
n43_a_hardy_1883_62
quarter
n43_a_hardy_1883_65
of
n43_a_hardy_1883_68
an
n43_a_hardy_1883_70
hour
n43_a_hardy_1883_72
.
n43_a_hardy_1883_1
IP-MAT
n43_a_hardy_1883_2
IP-PPL-SBJ
n43_a_hardy_1883_1->n43_a_hardy_1883_2
n43_a_hardy_1883_5
BED;_La_
n43_a_hardy_1883_1->n43_a_hardy_1883_5
n43_a_hardy_1883_7
ADJP-PRD
n43_a_hardy_1883_1->n43_a_hardy_1883_7
n43_a_hardy_1883_10
PUNC
n43_a_hardy_1883_1->n43_a_hardy_1883_10
n43_a_hardy_1883_12
PP-SCON
n43_a_hardy_1883_1->n43_a_hardy_1883_12
n43_a_hardy_1883_71
PUNC
n43_a_hardy_1883_1->n43_a_hardy_1883_71
n43_a_hardy_1883_3
VAG;__
n43_a_hardy_1883_2->n43_a_hardy_1883_3
n43_a_hardy_1883_3->n43_a_hardy_1883_4
n43_a_hardy_1883_5->n43_a_hardy_1883_6
n43_a_hardy_1883_8
ADJ
n43_a_hardy_1883_7->n43_a_hardy_1883_8
n43_a_hardy_1883_8->n43_a_hardy_1883_9
n43_a_hardy_1883_10->n43_a_hardy_1883_11
n43_a_hardy_1883_13
IP-PPL3
n43_a_hardy_1883_12->n43_a_hardy_1883_13
n43_a_hardy_1883_14
NP-SBJ
n43_a_hardy_1883_13->n43_a_hardy_1883_14
n43_a_hardy_1883_19
ADVP-NIM
n43_a_hardy_1883_13->n43_a_hardy_1883_19
n43_a_hardy_1883_22
VAG;__
n43_a_hardy_1883_13->n43_a_hardy_1883_22
n43_a_hardy_1883_24
NP-OB2
n43_a_hardy_1883_13->n43_a_hardy_1883_24
n43_a_hardy_1883_29
IP-INF-OB1
n43_a_hardy_1883_13->n43_a_hardy_1883_29
n43_a_hardy_1883_15
N
n43_a_hardy_1883_14->n43_a_hardy_1883_15
n43_a_hardy_1883_17
NPR
n43_a_hardy_1883_14->n43_a_hardy_1883_17
n43_a_hardy_1883_15->n43_a_hardy_1883_16
n43_a_hardy_1883_17->n43_a_hardy_1883_18
n43_a_hardy_1883_20
ADV
n43_a_hardy_1883_19->n43_a_hardy_1883_20
n43_a_hardy_1883_20->n43_a_hardy_1883_21
n43_a_hardy_1883_22->n43_a_hardy_1883_23
n43_a_hardy_1883_25
D
n43_a_hardy_1883_24->n43_a_hardy_1883_25
n43_a_hardy_1883_27
NS
n43_a_hardy_1883_24->n43_a_hardy_1883_27
n43_a_hardy_1883_25->n43_a_hardy_1883_26
n43_a_hardy_1883_27->n43_a_hardy_1883_28
n43_a_hardy_1883_30
PP-NIM
n43_a_hardy_1883_29->n43_a_hardy_1883_30
n43_a_hardy_1883_38
TO
n43_a_hardy_1883_29->n43_a_hardy_1883_38
n43_a_hardy_1883_40
VB;__
n43_a_hardy_1883_29->n43_a_hardy_1883_40
n43_a_hardy_1883_42
NP-OB1
n43_a_hardy_1883_29->n43_a_hardy_1883_42
n43_a_hardy_1883_47
IP-INF-PRD
n43_a_hardy_1883_29->n43_a_hardy_1883_47
n43_a_hardy_1883_31
P-ROLE
n43_a_hardy_1883_30->n43_a_hardy_1883_31
n43_a_hardy_1883_33
NP
n43_a_hardy_1883_30->n43_a_hardy_1883_33
n43_a_hardy_1883_31->n43_a_hardy_1883_32
n43_a_hardy_1883_34
Q
n43_a_hardy_1883_33->n43_a_hardy_1883_34
n43_a_hardy_1883_36
N
n43_a_hardy_1883_33->n43_a_hardy_1883_36
n43_a_hardy_1883_34->n43_a_hardy_1883_35
n43_a_hardy_1883_36->n43_a_hardy_1883_37
n43_a_hardy_1883_38->n43_a_hardy_1883_39
n43_a_hardy_1883_40->n43_a_hardy_1883_41
n43_a_hardy_1883_43
D
n43_a_hardy_1883_42->n43_a_hardy_1883_43
n43_a_hardy_1883_45
N
n43_a_hardy_1883_42->n43_a_hardy_1883_45
n43_a_hardy_1883_43->n43_a_hardy_1883_44
n43_a_hardy_1883_45->n43_a_hardy_1883_46
n43_a_hardy_1883_48
VB;__
n43_a_hardy_1883_47->n43_a_hardy_1883_48
n43_a_hardy_1883_50
NP-OB1
n43_a_hardy_1883_47->n43_a_hardy_1883_50
n43_a_hardy_1883_48->n43_a_hardy_1883_49
n43_a_hardy_1883_51
D
n43_a_hardy_1883_50->n43_a_hardy_1883_51
n43_a_hardy_1883_53
N
n43_a_hardy_1883_50->n43_a_hardy_1883_53
n43_a_hardy_1883_55
PP
n43_a_hardy_1883_50->n43_a_hardy_1883_55
n43_a_hardy_1883_51->n43_a_hardy_1883_52
n43_a_hardy_1883_53->n43_a_hardy_1883_54
n43_a_hardy_1883_56
P-ROLE
n43_a_hardy_1883_55->n43_a_hardy_1883_56
n43_a_hardy_1883_58
NP
n43_a_hardy_1883_55->n43_a_hardy_1883_58
n43_a_hardy_1883_56->n43_a_hardy_1883_57
n43_a_hardy_1883_59
D
n43_a_hardy_1883_58->n43_a_hardy_1883_59
n43_a_hardy_1883_61
N
n43_a_hardy_1883_58->n43_a_hardy_1883_61
n43_a_hardy_1883_63
PP
n43_a_hardy_1883_58->n43_a_hardy_1883_63
n43_a_hardy_1883_59->n43_a_hardy_1883_60
n43_a_hardy_1883_61->n43_a_hardy_1883_62
n43_a_hardy_1883_64
P-ROLE
n43_a_hardy_1883_63->n43_a_hardy_1883_64
n43_a_hardy_1883_66
NP
n43_a_hardy_1883_63->n43_a_hardy_1883_66
n43_a_hardy_1883_64->n43_a_hardy_1883_65
n43_a_hardy_1883_67
D
n43_a_hardy_1883_66->n43_a_hardy_1883_67
n43_a_hardy_1883_69
N
n43_a_hardy_1883_66->n43_a_hardy_1883_69
n43_a_hardy_1883_67->n43_a_hardy_1883_68
n43_a_hardy_1883_69->n43_a_hardy_1883_70
n43_a_hardy_1883_71->n43_a_hardy_1883_72
( (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))