69_a_hardy_1883
%3
r_0069_0001__Arrived
Arrived
r_0069_0002__here
here
r_0069_0001__Arrived->r_0069_0002__here
[nim]
z_000_69_a_hardy_1883_3
r_0069_0001__Arrived->z_000_69_a_hardy_1883_3
[arg0]
r_0069_0005__first_r_0069_0006__act
first act
r_0069_0004__his
his
r_0069_0005__first_r_0069_0006__act->r_0069_0004__his
[gen]
r_0069_0007__was
was
r_0069_0021__and
and
r_0069_0007__was->r_0069_0021__and
[scope]
r_0069_0008__to_r_0069_0009__kneel
to kneel
r_0069_0021__and->r_0069_0008__to_r_0069_0009__kneel
[conj1]
r_0069_0022__to_r_0069_0023__drink
to drink
r_0069_0021__and->r_0069_0022__to_r_0069_0023__drink
[conj2]
r_0069_0008__to_r_0069_0009__kneel->r_0069_0005__first_r_0069_0006__act
[arg0]
r_0069_0010__down
down
r_0069_0008__to_r_0069_0009__kneel->r_0069_0010__down
[clr]
r_0069_0012__a_r_0069_0014__stone
a stone
r_0069_0008__to_r_0069_0009__kneel->r_0069_0012__a_r_0069_0014__stone
on [nim]
r_0069_0013__large
large
r_0069_0012__a_r_0069_0014__stone->r_0069_0013__large
[attrib]
r_0069_0016__the_r_0069_0017__row
the row
r_0069_0012__a_r_0069_0014__stone->r_0069_0016__the_r_0069_0017__row
beside
r_0069_0019__vessels
vessels
r_0069_0016__the_r_0069_0017__row->r_0069_0019__vessels
of
r_0069_0022__to_r_0069_0023__drink->r_0069_0005__first_r_0069_0006__act
[arg0]
r_0069_0024__a_r_0069_0026__draught
a draught
r_0069_0022__to_r_0069_0023__drink->r_0069_0024__a_r_0069_0026__draught
[arg1]
r_0069_0025__copious
copious
r_0069_0024__a_r_0069_0026__draught->r_0069_0025__copious
[attrib]
r_0069_0028__one
one
r_0069_0024__a_r_0069_0026__draught->r_0069_0028__one
from
r_0069_0028__one->r_0069_0019__vessels
of
z_000_69_a_hardy_1883_2
z_000_69_a_hardy_1883_2->r_0069_0001__Arrived
[restriction]
z_000_69_a_hardy_1883_2->r_0069_0007__was
[scope]
arc(r_0069_0001__Arrived, r_0069_0002__here, nim6).
arc(r_0069_0001__Arrived, z_000_69_a_hardy_1883_3, arg0).
arc(r_0069_0005__first_r_0069_0006__act, r_0069_0004__his, gen).
arc(r_0069_0007__was, r_0069_0021__and, scope).
arc(r_0069_0008__to_r_0069_0009__kneel, r_0069_0005__first_r_0069_0006__act, arg0).
arc(r_0069_0008__to_r_0069_0009__kneel, r_0069_0010__down, clr28).
arc(r_0069_0008__to_r_0069_0009__kneel, r_0069_0012__a_r_0069_0014__stone, r_0069_0011__on_nim34).
arc(r_0069_0012__a_r_0069_0014__stone, r_0069_0013__large, attrib37).
arc(r_0069_0012__a_r_0069_0014__stone, r_0069_0016__the_r_0069_0017__row, r_0069_0015__beside).
arc(r_0069_0016__the_r_0069_0017__row, r_0069_0019__vessels, r_0069_0018__of).
arc(r_0069_0021__and, r_0069_0008__to_r_0069_0009__kneel, conj1).
arc(r_0069_0021__and, r_0069_0022__to_r_0069_0023__drink, conj2).
arc(r_0069_0022__to_r_0069_0023__drink, r_0069_0005__first_r_0069_0006__act, arg0).
arc(r_0069_0022__to_r_0069_0023__drink, r_0069_0024__a_r_0069_0026__draught, arg1).
arc(r_0069_0024__a_r_0069_0026__draught, r_0069_0025__copious, attrib69).
arc(r_0069_0024__a_r_0069_0026__draught, r_0069_0028__one, r_0069_0027__from).
arc(r_0069_0028__one, r_0069_0019__vessels, r_0069_0029__of).
arc(z_000_69_a_hardy_1883_2, r_0069_0001__Arrived, restriction).
arc(z_000_69_a_hardy_1883_2, r_0069_0007__was, scope).
%3
r_0069_0001__Arrived
Arrived
r_0069_0002__here
here
r_0069_0001__Arrived->r_0069_0002__here
[nim]
z_000_69_a_hardy_1883_3
r_0069_0001__Arrived->z_000_69_a_hardy_1883_3
[arg0]
r_0069_0005__first_r_0069_0006__act
first act
r_0069_0004__his
his
r_0069_0005__first_r_0069_0006__act->r_0069_0004__his
[gen]
r_0069_0007__was
was
r_0069_0021__and
and
r_0069_0007__was->r_0069_0021__and
[keep_scope]
r_0069_0008__to_r_0069_0009__kneel
to kneel
r_0069_0021__and->r_0069_0008__to_r_0069_0009__kneel
[conj1]
r_0069_0022__to_r_0069_0023__drink
to drink
r_0069_0021__and->r_0069_0022__to_r_0069_0023__drink
[conj2]
r_0069_0008__to_r_0069_0009__kneel->r_0069_0005__first_r_0069_0006__act
[arg0]
r_0069_0010__down
down
r_0069_0008__to_r_0069_0009__kneel->r_0069_0010__down
[clr]
r_0069_0012__a_r_0069_0014__stone
a stone
r_0069_0008__to_r_0069_0009__kneel->r_0069_0012__a_r_0069_0014__stone
on [nim]
r_0069_0013__large
large
r_0069_0012__a_r_0069_0014__stone->r_0069_0013__large
[attrib]
r_0069_0016__the_r_0069_0017__row
the row
r_0069_0012__a_r_0069_0014__stone->r_0069_0016__the_r_0069_0017__row
beside
r_0069_0019__vessels
vessels
r_0069_0016__the_r_0069_0017__row->r_0069_0019__vessels
of
r_0069_0022__to_r_0069_0023__drink->r_0069_0005__first_r_0069_0006__act
[arg0]
r_0069_0024__a_r_0069_0026__draught
a draught
r_0069_0022__to_r_0069_0023__drink->r_0069_0024__a_r_0069_0026__draught
[arg1]
r_0069_0025__copious
copious
r_0069_0024__a_r_0069_0026__draught->r_0069_0025__copious
[attrib]
r_0069_0028__one
one
r_0069_0024__a_r_0069_0026__draught->r_0069_0028__one
from
r_0069_0028__one->r_0069_0019__vessels
of
z_000_69_a_hardy_1883_2
z_000_69_a_hardy_1883_2->r_0069_0001__Arrived
[conj1]
z_000_69_a_hardy_1883_2->r_0069_0007__was
[conj2]
fof(formula,axiom,
? [Z_69_A_HARDY_1883_2,R_69_1_ARRIVED,Z_69_A_HARDY_1883_3,R_69_2_HERE] :
( here(R_69_2_HERE)
& z_69_a_hardy_1883_2(Z_69_A_HARDY_1883_2)
& conj1(Z_69_A_HARDY_1883_2,R_69_1_ARRIVED)
& arrived(R_69_1_ARRIVED,Z_69_A_HARDY_1883_3)
& nim6(R_69_1_ARRIVED,R_69_2_HERE)
& conj2(Z_69_A_HARDY_1883_2,R_69_7_WAS)
& ~ ? [R_69_21_AND,R_69_8_TO_KNEEL,R_69_10_DOWN,R_69_12_A_STONE,R_69_13_LARGE,R_69_16_THE_ROW,R_69_22_TO_DRINK,R_69_5_FIRST_ACT,R_69_4_HIS,R_69_24_A_DRAUGHT,R_69_25_COPIOUS,R_69_28_ONE,R_69_19_VESSELS] :
( down(R_69_10_DOWN)
& large(R_69_13_LARGE)
& his(R_69_4_HIS)
& copious(R_69_25_COPIOUS)
& vessels(R_69_19_VESSELS)
& and(R_69_21_AND)
& conj1(R_69_21_AND,R_69_8_TO_KNEEL)
& to_kneel(R_69_8_TO_KNEEL,R_69_5_FIRST_ACT)
& first_act(R_69_5_FIRST_ACT)
& gen(R_69_5_FIRST_ACT,R_69_4_HIS)
& clr28(R_69_8_TO_KNEEL,R_69_10_DOWN)
& on_nim34(R_69_8_TO_KNEEL,R_69_12_A_STONE)
& a_stone(R_69_12_A_STONE)
& attrib37(R_69_12_A_STONE,R_69_13_LARGE)
& beside(R_69_12_A_STONE,R_69_16_THE_ROW)
& the_row(R_69_16_THE_ROW)
& of(R_69_16_THE_ROW,R_69_19_VESSELS)
& conj2(R_69_21_AND,R_69_22_TO_DRINK)
& to_drink(R_69_22_TO_DRINK,R_69_5_FIRST_ACT,R_69_24_A_DRAUGHT)
& a_draught(R_69_24_A_DRAUGHT)
& attrib69(R_69_24_A_DRAUGHT,R_69_25_COPIOUS)
& from(R_69_24_A_DRAUGHT,R_69_28_ONE)
& one(R_69_28_ONE)
& of(R_69_28_ONE,R_69_19_VESSELS) ) ) ).
n69_a_hardy_1883
n69_a_hardy_1883_5
Arrived
n69_a_hardy_1883_8
here
n69_a_hardy_1883_10
,
n69_a_hardy_1883_14
his
n69_a_hardy_1883_16
first
n69_a_hardy_1883_18
act
n69_a_hardy_1883_20
was
n69_a_hardy_1883_25
to
n69_a_hardy_1883_27
kneel
n69_a_hardy_1883_30
down
n69_a_hardy_1883_33
on
n69_a_hardy_1883_36
a
n69_a_hardy_1883_39
large
n69_a_hardy_1883_41
stone
n69_a_hardy_1883_44
beside
n69_a_hardy_1883_47
the
n69_a_hardy_1883_49
row
n69_a_hardy_1883_52
of
n69_a_hardy_1883_55
vessels
n69_a_hardy_1883_57
,
n69_a_hardy_1883_60
and
n69_a_hardy_1883_63
to
n69_a_hardy_1883_65
drink
n69_a_hardy_1883_68
a
n69_a_hardy_1883_71
copious
n69_a_hardy_1883_73
draught
n69_a_hardy_1883_76
from
n69_a_hardy_1883_79
one
n69_a_hardy_1883_82
of
n69_a_hardy_1883_85
them
n69_a_hardy_1883_87
.
n69_a_hardy_1883_1
IP-MAT
n69_a_hardy_1883_2
PP-SCON
n69_a_hardy_1883_1->n69_a_hardy_1883_2
n69_a_hardy_1883_9
PUNC
n69_a_hardy_1883_1->n69_a_hardy_1883_9
n69_a_hardy_1883_11
NP-SBJ
n69_a_hardy_1883_1->n69_a_hardy_1883_11
n69_a_hardy_1883_19
BED;_cat_Vt_
n69_a_hardy_1883_1->n69_a_hardy_1883_19
n69_a_hardy_1883_21
IP-INF-CAT
n69_a_hardy_1883_1->n69_a_hardy_1883_21
n69_a_hardy_1883_86
PUNC
n69_a_hardy_1883_1->n69_a_hardy_1883_86
n69_a_hardy_1883_3
IP-PPL3
n69_a_hardy_1883_2->n69_a_hardy_1883_3
n69_a_hardy_1883_4
VVN;_I_
n69_a_hardy_1883_3->n69_a_hardy_1883_4
n69_a_hardy_1883_6
ADVP-NIM
n69_a_hardy_1883_3->n69_a_hardy_1883_6
n69_a_hardy_1883_4->n69_a_hardy_1883_5
n69_a_hardy_1883_7
ADV
n69_a_hardy_1883_6->n69_a_hardy_1883_7
n69_a_hardy_1883_7->n69_a_hardy_1883_8
n69_a_hardy_1883_9->n69_a_hardy_1883_10
n69_a_hardy_1883_12
NP-GEN
n69_a_hardy_1883_11->n69_a_hardy_1883_12
n69_a_hardy_1883_15
NUM
n69_a_hardy_1883_11->n69_a_hardy_1883_15
n69_a_hardy_1883_17
N
n69_a_hardy_1883_11->n69_a_hardy_1883_17
n69_a_hardy_1883_13
PRO;_genm_
n69_a_hardy_1883_12->n69_a_hardy_1883_13
n69_a_hardy_1883_13->n69_a_hardy_1883_14
n69_a_hardy_1883_15->n69_a_hardy_1883_16
n69_a_hardy_1883_17->n69_a_hardy_1883_18
n69_a_hardy_1883_19->n69_a_hardy_1883_20
n69_a_hardy_1883_22
ILYR
n69_a_hardy_1883_21->n69_a_hardy_1883_22
n69_a_hardy_1883_23
ILYR
n69_a_hardy_1883_22->n69_a_hardy_1883_23
n69_a_hardy_1883_56
PUNC
n69_a_hardy_1883_22->n69_a_hardy_1883_56
n69_a_hardy_1883_58
CONJP
n69_a_hardy_1883_22->n69_a_hardy_1883_58
n69_a_hardy_1883_24
TO
n69_a_hardy_1883_23->n69_a_hardy_1883_24
n69_a_hardy_1883_26
VB;_Ip_
n69_a_hardy_1883_23->n69_a_hardy_1883_26
n69_a_hardy_1883_28
ADVP-CLR
n69_a_hardy_1883_23->n69_a_hardy_1883_28
n69_a_hardy_1883_31
PP-NIM
n69_a_hardy_1883_23->n69_a_hardy_1883_31
n69_a_hardy_1883_24->n69_a_hardy_1883_25
n69_a_hardy_1883_26->n69_a_hardy_1883_27
n69_a_hardy_1883_29
RP
n69_a_hardy_1883_28->n69_a_hardy_1883_29
n69_a_hardy_1883_29->n69_a_hardy_1883_30
n69_a_hardy_1883_32
P-ROLE
n69_a_hardy_1883_31->n69_a_hardy_1883_32
n69_a_hardy_1883_34
NP
n69_a_hardy_1883_31->n69_a_hardy_1883_34
n69_a_hardy_1883_32->n69_a_hardy_1883_33
n69_a_hardy_1883_35
D
n69_a_hardy_1883_34->n69_a_hardy_1883_35
n69_a_hardy_1883_37
ADJP
n69_a_hardy_1883_34->n69_a_hardy_1883_37
n69_a_hardy_1883_40
N
n69_a_hardy_1883_34->n69_a_hardy_1883_40
n69_a_hardy_1883_42
PP
n69_a_hardy_1883_34->n69_a_hardy_1883_42
n69_a_hardy_1883_35->n69_a_hardy_1883_36
n69_a_hardy_1883_38
ADJ
n69_a_hardy_1883_37->n69_a_hardy_1883_38
n69_a_hardy_1883_38->n69_a_hardy_1883_39
n69_a_hardy_1883_40->n69_a_hardy_1883_41
n69_a_hardy_1883_43
P-ROLE
n69_a_hardy_1883_42->n69_a_hardy_1883_43
n69_a_hardy_1883_45
NP
n69_a_hardy_1883_42->n69_a_hardy_1883_45
n69_a_hardy_1883_43->n69_a_hardy_1883_44
n69_a_hardy_1883_46
D
n69_a_hardy_1883_45->n69_a_hardy_1883_46
n69_a_hardy_1883_48
N
n69_a_hardy_1883_45->n69_a_hardy_1883_48
n69_a_hardy_1883_50
PP
n69_a_hardy_1883_45->n69_a_hardy_1883_50
n69_a_hardy_1883_46->n69_a_hardy_1883_47
n69_a_hardy_1883_48->n69_a_hardy_1883_49
n69_a_hardy_1883_51
P-ROLE
n69_a_hardy_1883_50->n69_a_hardy_1883_51
n69_a_hardy_1883_53
NP
n69_a_hardy_1883_50->n69_a_hardy_1883_53
n69_a_hardy_1883_51->n69_a_hardy_1883_52
n69_a_hardy_1883_54
NS
n69_a_hardy_1883_53->n69_a_hardy_1883_54
n69_a_hardy_1883_54->n69_a_hardy_1883_55
n69_a_hardy_1883_56->n69_a_hardy_1883_57
n69_a_hardy_1883_59
CONJ
n69_a_hardy_1883_58->n69_a_hardy_1883_59
n69_a_hardy_1883_61
ILYR
n69_a_hardy_1883_58->n69_a_hardy_1883_61
n69_a_hardy_1883_59->n69_a_hardy_1883_60
n69_a_hardy_1883_62
TO
n69_a_hardy_1883_61->n69_a_hardy_1883_62
n69_a_hardy_1883_64
VB;_Tn_
n69_a_hardy_1883_61->n69_a_hardy_1883_64
n69_a_hardy_1883_66
NP-OB1
n69_a_hardy_1883_61->n69_a_hardy_1883_66
n69_a_hardy_1883_62->n69_a_hardy_1883_63
n69_a_hardy_1883_64->n69_a_hardy_1883_65
n69_a_hardy_1883_67
D
n69_a_hardy_1883_66->n69_a_hardy_1883_67
n69_a_hardy_1883_69
ADJP
n69_a_hardy_1883_66->n69_a_hardy_1883_69
n69_a_hardy_1883_72
N
n69_a_hardy_1883_66->n69_a_hardy_1883_72
n69_a_hardy_1883_74
PP
n69_a_hardy_1883_66->n69_a_hardy_1883_74
n69_a_hardy_1883_67->n69_a_hardy_1883_68
n69_a_hardy_1883_70
ADJ
n69_a_hardy_1883_69->n69_a_hardy_1883_70
n69_a_hardy_1883_70->n69_a_hardy_1883_71
n69_a_hardy_1883_72->n69_a_hardy_1883_73
n69_a_hardy_1883_75
P-ROLE
n69_a_hardy_1883_74->n69_a_hardy_1883_75
n69_a_hardy_1883_77
NP
n69_a_hardy_1883_74->n69_a_hardy_1883_77
n69_a_hardy_1883_75->n69_a_hardy_1883_76
n69_a_hardy_1883_78
NUM
n69_a_hardy_1883_77->n69_a_hardy_1883_78
n69_a_hardy_1883_80
PP
n69_a_hardy_1883_77->n69_a_hardy_1883_80
n69_a_hardy_1883_78->n69_a_hardy_1883_79
n69_a_hardy_1883_81
P-ROLE
n69_a_hardy_1883_80->n69_a_hardy_1883_81
n69_a_hardy_1883_83
NP
n69_a_hardy_1883_80->n69_a_hardy_1883_83
n69_a_hardy_1883_81->n69_a_hardy_1883_82
n69_a_hardy_1883_84
PRO
n69_a_hardy_1883_83->n69_a_hardy_1883_84
n69_a_hardy_1883_84->n69_a_hardy_1883_85
n69_a_hardy_1883_86->n69_a_hardy_1883_87
( (IP-MAT (PP-SCON (IP-PPL3 (VVN;_I_ Arrived;{arrive})
(ADVP-NIM (ADV here;{here}))))
(PUNC ,)
(NP-SBJ (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
(NUM first;{first})
(N act;{act}))
(BED;_cat_Vt_ was;{be})
(IP-INF-CAT (ILYR (ILYR (TO to;{to})
(VB;_Ip_ kneel;{kneel[down]})
(ADVP-CLR (RP down;{down}))
(PP-NIM (P-ROLE on;{on})
(NP (D a;{a})
(ADJP (ADJ large;{large}))
(N stone;{stone})
(PP (P-ROLE beside;{beside})
(NP (D the;{the})
(N row;{row})
(PP (P-ROLE of;{of})
(NP;{VESSELS} (NS vessels;{vessel}))))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (TO to;{to})
(VB;_Tn_ drink;{drink})
(NP-OB1 (D a;{a})
(ADJP (ADJ copious;{copious}))
(N draught;{draught})
(PP (P-ROLE from;{from})
(NP (NUM one;{one})
(PP (P-ROLE of;{of})
(NP;{VESSELS} (PRO them;{they}))))))))))
(PUNC .))
(ID 69_a_hardy_1883))