48_a_alresford
%3
r_0048_0002__a_r_0048_0004__hours
a hours
r_0048_0003__few
few
r_0048_0002__a_r_0048_0004__hours->r_0048_0003__few
[attrib]
r_0048_0006__week
week
r_0048_0002__a_r_0048_0004__hours->r_0048_0006__week
[nim]
r_0048_0005__each_quant
each [quant]
r_0048_0005__each_quant->r_0048_0002__a_r_0048_0004__hours
[scope]
r_0048_0005__each_quant->r_0048_0006__week
[restriction]
r_0048_0008__was
was
r_0048_0008__was->r_0048_0002__a_r_0048_0004__hours
For [nim]
r_0048_0007__I
I
r_0048_0008__was->r_0048_0007__I
[arg0]
r_0048_0010__duty
duty
r_0048_0008__was->r_0048_0010__duty
on [clr]
r_0048_0012__Alresford_r_0048_0013__Library
Alresford Library
r_0048_0008__was->r_0048_0012__Alresford_r_0048_0013__Library
in [nim]
r_0048_0015__a_r_0048_0016__haven
a haven
r_0048_0018__civilisation
civilisation
r_0048_0015__a_r_0048_0016__haven->r_0048_0018__civilisation
of
r_0048_0020__one_r_0048_0021__day
one day
r_0048_0015__a_r_0048_0016__haven->r_0048_0020__one_r_0048_0021__day
except
r_0048_0024__rain
rain
r_0048_0020__one_r_0048_0021__day->r_0048_0024__rain
after
r_0048_0023__heavy
heavy
r_0048_0024__rain->r_0048_0023__heavy
[attrib]
r_0048_0027__was
was
r_0048_0027__was->r_0048_0020__one_r_0048_0021__day
[nim]
r_0048_0028__flooded
flooded
r_0048_0027__was->r_0048_0028__flooded
[scope]
r_0048_0028__flooded->r_0048_0012__Alresford_r_0048_0013__Library
[arg1]
z_000_48_a_alresford_78
r_0048_0028__flooded->z_000_48_a_alresford_78
[arg0]
z_000_48_a_alresford_39
z_000_48_a_alresford_39->r_0048_0012__Alresford_r_0048_0013__Library
[arg0]
z_000_48_a_alresford_39->r_0048_0015__a_r_0048_0016__haven
[prd]
arc(r_0048_0002__a_r_0048_0004__hours, r_0048_0003__few, attrib8).
arc(r_0048_0002__a_r_0048_0004__hours, r_0048_0006__week, nim13).
arc(r_0048_0005__each_quant, r_0048_0002__a_r_0048_0004__hours, scope).
arc(r_0048_0005__each_quant, r_0048_0006__week, restriction).
arc(r_0048_0008__was, r_0048_0002__a_r_0048_0004__hours, r_0048_0001__For_nim5).
arc(r_0048_0008__was, r_0048_0007__I, arg0).
arc(r_0048_0008__was, r_0048_0010__duty, r_0048_0009__on_clr26).
arc(r_0048_0008__was, r_0048_0012__Alresford_r_0048_0013__Library, r_0048_0011__in_nim32).
arc(r_0048_0015__a_r_0048_0016__haven, r_0048_0018__civilisation, r_0048_0017__of).
arc(r_0048_0015__a_r_0048_0016__haven, r_0048_0020__one_r_0048_0021__day, r_0048_0019__except).
arc(r_0048_0020__one_r_0048_0021__day, r_0048_0024__rain, r_0048_0022__after).
arc(r_0048_0024__rain, r_0048_0023__heavy, attrib63).
arc(r_0048_0027__was, r_0048_0020__one_r_0048_0021__day, nim69).
arc(r_0048_0027__was, r_0048_0028__flooded, scope).
arc(r_0048_0028__flooded, r_0048_0012__Alresford_r_0048_0013__Library, arg1).
arc(r_0048_0028__flooded, z_000_48_a_alresford_78, arg0).
arc(z_000_48_a_alresford_39, r_0048_0012__Alresford_r_0048_0013__Library, arg0).
arc(z_000_48_a_alresford_39, r_0048_0015__a_r_0048_0016__haven, prd).
%3
z_000_48_a_alresford_39
r_0048_0015__a_r_0048_0016__haven
a haven
z_000_48_a_alresford_39->r_0048_0015__a_r_0048_0016__haven
[prd]
r_0048_0012__Alresford_r_0048_0013__Library
Alresford Library
z_000_48_a_alresford_39->r_0048_0012__Alresford_r_0048_0013__Library
[arg0]
r_0048_0020__one_r_0048_0021__day
one day
r_0048_0015__a_r_0048_0016__haven->r_0048_0020__one_r_0048_0021__day
except
r_0048_0018__civilisation
civilisation
r_0048_0015__a_r_0048_0016__haven->r_0048_0018__civilisation
of
r_0048_0027__was_r_0048_0028__flooded
was flooded
r_0048_0027__was_r_0048_0028__flooded->r_0048_0012__Alresford_r_0048_0013__Library
[arg1]
z_000_48_a_alresford_78
r_0048_0027__was_r_0048_0028__flooded->z_000_48_a_alresford_78
[arg0]
r_0048_0027__was_r_0048_0028__flooded->r_0048_0020__one_r_0048_0021__day
[nim]
r_0048_0024__rain
rain
r_0048_0020__one_r_0048_0021__day->r_0048_0024__rain
after
r_0048_0023__heavy
heavy
r_0048_0024__rain->r_0048_0023__heavy
[attrib]
r_0048_0008__was
was
r_0048_0008__was->r_0048_0012__Alresford_r_0048_0013__Library
in [nim]
r_0048_0010__duty
duty
r_0048_0008__was->r_0048_0010__duty
on [clr]
r_0048_0007__I
I
r_0048_0008__was->r_0048_0007__I
[arg0]
r_0048_0002__a_r_0048_0004__hours
a hours
r_0048_0008__was->r_0048_0002__a_r_0048_0004__hours
For [nim]
r_0048_0006__week
week
r_0048_0002__a_r_0048_0004__hours->r_0048_0006__week
[nim]
r_0048_0003__few
few
r_0048_0002__a_r_0048_0004__hours->r_0048_0003__few
[attrib]
r_0048_0005__each_quant
each [quant]
r_0048_0005__each_quant->r_0048_0008__was
[scope]
r_0048_0005__each_quant->r_0048_0006__week
[restriction]
fof(formula,axiom,
? [R_48_27_WAS_FLOODED,Z_48_A_ALRESFORD_78,Z_48_A_ALRESFORD_39,R_48_12_ALRESFORD_LIBRARY,R_48_15_A_HAVEN,R_48_18_CIVILISATION,R_48_20_ONE_DAY,R_48_24_RAIN,R_48_23_HEAVY] :
( alresford_Library(R_48_12_ALRESFORD_LIBRARY)
& civilisation(R_48_18_CIVILISATION)
& heavy(R_48_23_HEAVY)
& ! [R_48_6_WEEK] :
( week(R_48_6_WEEK)
=> ? [R_48_8_WAS,R_48_7_I,R_48_2_A_HOURS,R_48_3_FEW,R_48_10_DUTY] :
( i(R_48_7_I)
& few(R_48_3_FEW)
& duty(R_48_10_DUTY)
& was(R_48_8_WAS,R_48_7_I)
& for_nim5(R_48_8_WAS,R_48_2_A_HOURS)
& a_hours(R_48_2_A_HOURS)
& attrib8(R_48_2_A_HOURS,R_48_3_FEW)
& nim13(R_48_2_A_HOURS,R_48_6_WEEK)
& on_clr26(R_48_8_WAS,R_48_10_DUTY)
& in_nim32(R_48_8_WAS,R_48_12_ALRESFORD_LIBRARY) ) )
& was_flooded(R_48_27_WAS_FLOODED,Z_48_A_ALRESFORD_78,R_48_12_ALRESFORD_LIBRARY)
& nim69(R_48_27_WAS_FLOODED,R_48_20_ONE_DAY)
& one_day(R_48_20_ONE_DAY)
& after(R_48_20_ONE_DAY,R_48_24_RAIN)
& rain(R_48_24_RAIN)
& attrib63(R_48_24_RAIN,R_48_23_HEAVY)
& z_48_a_alresford_39(Z_48_A_ALRESFORD_39,R_48_12_ALRESFORD_LIBRARY,R_48_15_A_HAVEN)
& a_haven(R_48_15_A_HAVEN)
& of(R_48_15_A_HAVEN,R_48_18_CIVILISATION)
& except(R_48_15_A_HAVEN,R_48_20_ONE_DAY) ) ).
n48_a_alresford
n48_a_alresford__1_1_1_1
For
n48_a_alresford__1_1_2_1_1
a
n48_a_alresford__1_1_2_2_1_1
few
n48_a_alresford__1_1_2_3_1
hours
n48_a_alresford__1_1_2_4_1_1
each
n48_a_alresford__1_1_2_4_2_1
week
n48_a_alresford__1_2_1_1
I
n48_a_alresford__1_3_1
was
n48_a_alresford__1_4_1_1
on
n48_a_alresford__1_4_2_1_1
duty
n48_a_alresford__1_5_1_1
in
n48_a_alresford__1_5_2_1_1
Alresford
n48_a_alresford__1_5_2_2_1
Library
n48_a_alresford__1_5_2_3_1
,
n48_a_alresford__1_5_2_4_1_1_1
a
n48_a_alresford__1_5_2_4_1_2_1
haven
n48_a_alresford__1_5_2_4_1_3_1_1
of
n48_a_alresford__1_5_2_4_1_3_2_1_1
civilisation
n48_a_alresford__1_5_2_4_1_4_1_1
except
n48_a_alresford__1_5_2_4_1_4_2_1_1
one
n48_a_alresford__1_5_2_4_1_4_2_2_1
day
n48_a_alresford__1_5_2_4_1_4_2_3_1_1
after
n48_a_alresford__1_5_2_4_1_4_2_3_2_1_1_1
heavy
n48_a_alresford__1_5_2_4_1_4_2_3_2_2_1
rain
n48_a_alresford__1_5_2_4_1_4_2_4_1_1_1
when
n48_a_alresford__1_5_2_4_1_4_2_4_2_1_1
it
n48_a_alresford__1_5_2_4_1_4_2_4_3_1
was
n48_a_alresford__1_5_2_4_1_4_2_4_4_1_1
*
n48_a_alresford__1_5_2_4_1_4_2_4_4_2_1
flooded
n48_a_alresford__1_6_1
.
n48_a_alresford__1
IP-MAT
n48_a_alresford__1_1
PP-TPC-NIM
n48_a_alresford__1->n48_a_alresford__1_1
n48_a_alresford__1_2
NP-SBJ
n48_a_alresford__1->n48_a_alresford__1_2
n48_a_alresford__1_3
BED;_Ipr_
n48_a_alresford__1->n48_a_alresford__1_3
n48_a_alresford__1_4
PP-CLR
n48_a_alresford__1->n48_a_alresford__1_4
n48_a_alresford__1_5
PP-NIM
n48_a_alresford__1->n48_a_alresford__1_5
n48_a_alresford__1_6
PUNC
n48_a_alresford__1->n48_a_alresford__1_6
n48_a_alresford__1_1_1
P-ROLE
n48_a_alresford__1_1->n48_a_alresford__1_1_1
n48_a_alresford__1_1_2
NP
n48_a_alresford__1_1->n48_a_alresford__1_1_2
n48_a_alresford__1_1_1->n48_a_alresford__1_1_1_1
n48_a_alresford__1_1_2_1
D
n48_a_alresford__1_1_2->n48_a_alresford__1_1_2_1
n48_a_alresford__1_1_2_2
ADJP
n48_a_alresford__1_1_2->n48_a_alresford__1_1_2_2
n48_a_alresford__1_1_2_3
NS
n48_a_alresford__1_1_2->n48_a_alresford__1_1_2_3
n48_a_alresford__1_1_2_4
NP-NIM
n48_a_alresford__1_1_2->n48_a_alresford__1_1_2_4
n48_a_alresford__1_1_2_1->n48_a_alresford__1_1_2_1_1
n48_a_alresford__1_1_2_2_1
ADJ
n48_a_alresford__1_1_2_2->n48_a_alresford__1_1_2_2_1
n48_a_alresford__1_1_2_2_1->n48_a_alresford__1_1_2_2_1_1
n48_a_alresford__1_1_2_3->n48_a_alresford__1_1_2_3_1
n48_a_alresford__1_1_2_4_1
Q
n48_a_alresford__1_1_2_4->n48_a_alresford__1_1_2_4_1
n48_a_alresford__1_1_2_4_2
N
n48_a_alresford__1_1_2_4->n48_a_alresford__1_1_2_4_2
n48_a_alresford__1_1_2_4_1->n48_a_alresford__1_1_2_4_1_1
n48_a_alresford__1_1_2_4_2->n48_a_alresford__1_1_2_4_2_1
n48_a_alresford__1_2_1
PRO
n48_a_alresford__1_2->n48_a_alresford__1_2_1
n48_a_alresford__1_2_1->n48_a_alresford__1_2_1_1
n48_a_alresford__1_3->n48_a_alresford__1_3_1
n48_a_alresford__1_4_1
P-ROLE
n48_a_alresford__1_4->n48_a_alresford__1_4_1
n48_a_alresford__1_4_2
NP
n48_a_alresford__1_4->n48_a_alresford__1_4_2
n48_a_alresford__1_4_1->n48_a_alresford__1_4_1_1
n48_a_alresford__1_4_2_1
N
n48_a_alresford__1_4_2->n48_a_alresford__1_4_2_1
n48_a_alresford__1_4_2_1->n48_a_alresford__1_4_2_1_1
n48_a_alresford__1_5_1
P-ROLE
n48_a_alresford__1_5->n48_a_alresford__1_5_1
n48_a_alresford__1_5_2
NP
n48_a_alresford__1_5->n48_a_alresford__1_5_2
n48_a_alresford__1_5_1->n48_a_alresford__1_5_1_1
n48_a_alresford__1_5_2_1
NPR
n48_a_alresford__1_5_2->n48_a_alresford__1_5_2_1
n48_a_alresford__1_5_2_2
NPR
n48_a_alresford__1_5_2->n48_a_alresford__1_5_2_2
n48_a_alresford__1_5_2_3
PUNC
n48_a_alresford__1_5_2->n48_a_alresford__1_5_2_3
n48_a_alresford__1_5_2_4
IP-PPL
n48_a_alresford__1_5_2->n48_a_alresford__1_5_2_4
n48_a_alresford__1_5_2_1->n48_a_alresford__1_5_2_1_1
n48_a_alresford__1_5_2_2->n48_a_alresford__1_5_2_2_1
n48_a_alresford__1_5_2_3->n48_a_alresford__1_5_2_3_1
n48_a_alresford__1_5_2_4_1
NP-PRD
n48_a_alresford__1_5_2_4->n48_a_alresford__1_5_2_4_1
n48_a_alresford__1_5_2_4_1_1
D
n48_a_alresford__1_5_2_4_1->n48_a_alresford__1_5_2_4_1_1
n48_a_alresford__1_5_2_4_1_2
N
n48_a_alresford__1_5_2_4_1->n48_a_alresford__1_5_2_4_1_2
n48_a_alresford__1_5_2_4_1_3
PP
n48_a_alresford__1_5_2_4_1->n48_a_alresford__1_5_2_4_1_3
n48_a_alresford__1_5_2_4_1_4
PP
n48_a_alresford__1_5_2_4_1->n48_a_alresford__1_5_2_4_1_4
n48_a_alresford__1_5_2_4_1_1->n48_a_alresford__1_5_2_4_1_1_1
n48_a_alresford__1_5_2_4_1_2->n48_a_alresford__1_5_2_4_1_2_1
n48_a_alresford__1_5_2_4_1_3_1
P-ROLE
n48_a_alresford__1_5_2_4_1_3->n48_a_alresford__1_5_2_4_1_3_1
n48_a_alresford__1_5_2_4_1_3_2
NP
n48_a_alresford__1_5_2_4_1_3->n48_a_alresford__1_5_2_4_1_3_2
n48_a_alresford__1_5_2_4_1_3_1->n48_a_alresford__1_5_2_4_1_3_1_1
n48_a_alresford__1_5_2_4_1_3_2_1
N
n48_a_alresford__1_5_2_4_1_3_2->n48_a_alresford__1_5_2_4_1_3_2_1
n48_a_alresford__1_5_2_4_1_3_2_1->n48_a_alresford__1_5_2_4_1_3_2_1_1
n48_a_alresford__1_5_2_4_1_4_1
P-ROLE
n48_a_alresford__1_5_2_4_1_4->n48_a_alresford__1_5_2_4_1_4_1
n48_a_alresford__1_5_2_4_1_4_2
NP
n48_a_alresford__1_5_2_4_1_4->n48_a_alresford__1_5_2_4_1_4_2
n48_a_alresford__1_5_2_4_1_4_1->n48_a_alresford__1_5_2_4_1_4_1_1
n48_a_alresford__1_5_2_4_1_4_2_1
D
n48_a_alresford__1_5_2_4_1_4_2->n48_a_alresford__1_5_2_4_1_4_2_1
n48_a_alresford__1_5_2_4_1_4_2_2
N
n48_a_alresford__1_5_2_4_1_4_2->n48_a_alresford__1_5_2_4_1_4_2_2
n48_a_alresford__1_5_2_4_1_4_2_3
PP
n48_a_alresford__1_5_2_4_1_4_2->n48_a_alresford__1_5_2_4_1_4_2_3
n48_a_alresford__1_5_2_4_1_4_2_4
IP-REL
n48_a_alresford__1_5_2_4_1_4_2->n48_a_alresford__1_5_2_4_1_4_2_4
n48_a_alresford__1_5_2_4_1_4_2_1->n48_a_alresford__1_5_2_4_1_4_2_1_1
n48_a_alresford__1_5_2_4_1_4_2_2->n48_a_alresford__1_5_2_4_1_4_2_2_1
n48_a_alresford__1_5_2_4_1_4_2_3_1
P-ROLE
n48_a_alresford__1_5_2_4_1_4_2_3->n48_a_alresford__1_5_2_4_1_4_2_3_1
n48_a_alresford__1_5_2_4_1_4_2_3_2
NP
n48_a_alresford__1_5_2_4_1_4_2_3->n48_a_alresford__1_5_2_4_1_4_2_3_2
n48_a_alresford__1_5_2_4_1_4_2_3_1->n48_a_alresford__1_5_2_4_1_4_2_3_1_1
n48_a_alresford__1_5_2_4_1_4_2_3_2_1
ADJP
n48_a_alresford__1_5_2_4_1_4_2_3_2->n48_a_alresford__1_5_2_4_1_4_2_3_2_1
n48_a_alresford__1_5_2_4_1_4_2_3_2_2
N
n48_a_alresford__1_5_2_4_1_4_2_3_2->n48_a_alresford__1_5_2_4_1_4_2_3_2_2
n48_a_alresford__1_5_2_4_1_4_2_3_2_1_1
ADJ
n48_a_alresford__1_5_2_4_1_4_2_3_2_1->n48_a_alresford__1_5_2_4_1_4_2_3_2_1_1
n48_a_alresford__1_5_2_4_1_4_2_3_2_1_1->n48_a_alresford__1_5_2_4_1_4_2_3_2_1_1_1
n48_a_alresford__1_5_2_4_1_4_2_3_2_2->n48_a_alresford__1_5_2_4_1_4_2_3_2_2_1
n48_a_alresford__1_5_2_4_1_4_2_4_1
ADVP-NIM
n48_a_alresford__1_5_2_4_1_4_2_4->n48_a_alresford__1_5_2_4_1_4_2_4_1
n48_a_alresford__1_5_2_4_1_4_2_4_2
NP-SBJ
n48_a_alresford__1_5_2_4_1_4_2_4->n48_a_alresford__1_5_2_4_1_4_2_4_2
n48_a_alresford__1_5_2_4_1_4_2_4_3
BED;_cat_VePASS_
n48_a_alresford__1_5_2_4_1_4_2_4->n48_a_alresford__1_5_2_4_1_4_2_4_3
n48_a_alresford__1_5_2_4_1_4_2_4_4
IP-PPL-CAT
n48_a_alresford__1_5_2_4_1_4_2_4->n48_a_alresford__1_5_2_4_1_4_2_4_4
n48_a_alresford__1_5_2_4_1_4_2_4_1_1
RADV
n48_a_alresford__1_5_2_4_1_4_2_4_1->n48_a_alresford__1_5_2_4_1_4_2_4_1_1
n48_a_alresford__1_5_2_4_1_4_2_4_1_1->n48_a_alresford__1_5_2_4_1_4_2_4_1_1_1
n48_a_alresford__1_5_2_4_1_4_2_4_2_1
PRO
n48_a_alresford__1_5_2_4_1_4_2_4_2->n48_a_alresford__1_5_2_4_1_4_2_4_2_1
n48_a_alresford__1_5_2_4_1_4_2_4_2_1->n48_a_alresford__1_5_2_4_1_4_2_4_2_1_1
n48_a_alresford__1_5_2_4_1_4_2_4_3->n48_a_alresford__1_5_2_4_1_4_2_4_3_1
n48_a_alresford__1_5_2_4_1_4_2_4_4_1
NP-LGS
n48_a_alresford__1_5_2_4_1_4_2_4_4->n48_a_alresford__1_5_2_4_1_4_2_4_4_1
n48_a_alresford__1_5_2_4_1_4_2_4_4_2
VVN;_Tn_
n48_a_alresford__1_5_2_4_1_4_2_4_4->n48_a_alresford__1_5_2_4_1_4_2_4_4_2
n48_a_alresford__1_5_2_4_1_4_2_4_4_1->n48_a_alresford__1_5_2_4_1_4_2_4_4_1_1
n48_a_alresford__1_5_2_4_1_4_2_4_4_2->n48_a_alresford__1_5_2_4_1_4_2_4_4_2_1
n48_a_alresford__1_6->n48_a_alresford__1_6_1
( (IP-MAT (PP-TPC-NIM (P-ROLE For;{for})
(NP (D a;{a})
(ADJP (ADJ few;{few}))
(NS hours;{hour})
(NP-NIM (Q each;{each})
(N week;{week}))))
(NP-SBJ (PRO I;{I}))
(BED;_Ipr_ was;{be[on]})
(PP-CLR (P-ROLE on;{on})
(NP (N duty;{duty})))
(PP-NIM (P-ROLE in;{in})
(NP;{LIBRARY} (NPR Alresford;{Alresford})
(NPR Library;{Library})
(PUNC ,)
(IP-PPL (NP-PRD (D a;{a})
(N haven;{haven})
(PP (P-ROLE of;{of})
(NP (N civilisation;{civilisation})))
(PP (P-ROLE except;{except})
(NP (D one;{one})
(N day;{day})
(PP (P-ROLE after;{after})
(NP (ADJP (ADJ heavy;{heavy}))
(N rain;{rain})))
(IP-REL (ADVP-NIM (RADV when;{when}))
(NP-SBJ;{LIBRARY} (PRO it;{it}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ flooded;{flood})))))))))
(PUNC .))
(ID 48_a_alresford))