51_a_alresford
%3
r_0051_0002__ducks
ducks
r_0051_0001__Local
Local
r_0051_0002__ducks->r_0051_0001__Local
[attrib]
r_0051_0003__were
were
r_0051_0003__were->r_0051_0002__ducks
[arg0]
r_0051_0004__often
often
r_0051_0003__were->r_0051_0004__often
[nim]
r_0051_0005__pedestrians
pedestrians
r_0051_0003__were->r_0051_0005__pedestrians
[prd]
r_0051_0007__the_r_0051_0008__road
the road
r_0051_0005__pedestrians->r_0051_0007__the_r_0051_0008__road
up
r_0051_0011__when
when
r_0051_0014__replaced
replaced
r_0051_0011__when->r_0051_0014__replaced
[restriction]
r_0051_0022__liked
liked
r_0051_0011__when->r_0051_0022__liked
[scope]
r_0051_0013__bungalows
bungalows
r_0051_0014__replaced->r_0051_0013__bungalows
[arg0]
r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School
the Dean Junior School
r_0051_0014__replaced->r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School
[arg1]
r_0051_0010__so
so
r_0051_0022__liked->r_0051_0010__so
[nim]
r_0051_0021__I
I
r_0051_0022__liked->r_0051_0021__I
[arg0]
r_0051_0023__the_r_0051_0024__name
the name
r_0051_0022__liked->r_0051_0023__the_r_0051_0024__name
[arg1]
r_0051_0012__new
new
r_0051_0013__bungalows->r_0051_0012__new
[attrib]
r_0051_0016__old
old
r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School->r_0051_0016__old
[attrib]
z_000_51_a_alresford_2
z_000_51_a_alresford_2->r_0051_0003__were
[conj1]
z_000_51_a_alresford_2->r_0051_0011__when
[conj2]
z_000_51_a_alresford_69
z_000_51_a_alresford_69->r_0051_0023__the_r_0051_0024__name
[arg0]
r_0051_0025__Mallard_r_0051_0026__Close
Mallard Close
z_000_51_a_alresford_69->r_0051_0025__Mallard_r_0051_0026__Close
[prd]
arc(r_0051_0002__ducks, r_0051_0001__Local, attrib5).
arc(r_0051_0003__were, r_0051_0002__ducks, arg0).
arc(r_0051_0003__were, r_0051_0004__often, nim12).
arc(r_0051_0003__were, r_0051_0005__pedestrians, prd).
arc(r_0051_0005__pedestrians, r_0051_0007__the_r_0051_0008__road, r_0051_0006__up).
arc(r_0051_0011__when, r_0051_0014__replaced, restriction).
arc(r_0051_0011__when, r_0051_0022__liked, scope).
arc(r_0051_0013__bungalows, r_0051_0012__new, attrib38).
arc(r_0051_0014__replaced, r_0051_0013__bungalows, arg0).
arc(r_0051_0014__replaced, r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School, arg1).
arc(r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School, r_0051_0016__old, attrib48).
arc(r_0051_0022__liked, r_0051_0010__so, nim30).
arc(r_0051_0022__liked, r_0051_0021__I, arg0).
arc(r_0051_0022__liked, r_0051_0023__the_r_0051_0024__name, arg1).
arc(z_000_51_a_alresford_2, r_0051_0003__were, conj1).
arc(z_000_51_a_alresford_2, r_0051_0011__when, conj2).
arc(z_000_51_a_alresford_69, r_0051_0023__the_r_0051_0024__name, arg0).
arc(z_000_51_a_alresford_69, r_0051_0025__Mallard_r_0051_0026__Close, prd).
%3
z_000_51_a_alresford_69
r_0051_0025__Mallard_r_0051_0026__Close
Mallard Close
z_000_51_a_alresford_69->r_0051_0025__Mallard_r_0051_0026__Close
[prd]
r_0051_0023__the_r_0051_0024__name
the name
z_000_51_a_alresford_69->r_0051_0023__the_r_0051_0024__name
[arg0]
z_000_51_a_alresford_2
r_0051_0011__when
when
z_000_51_a_alresford_2->r_0051_0011__when
[conj2]
r_0051_0003__were
were
z_000_51_a_alresford_2->r_0051_0003__were
[conj1]
r_0051_0022__liked
liked
r_0051_0011__when->r_0051_0022__liked
[scope]
r_0051_0014__replaced
replaced
r_0051_0011__when->r_0051_0014__replaced
[restriction]
r_0051_0005__pedestrians
pedestrians
r_0051_0003__were->r_0051_0005__pedestrians
[prd]
r_0051_0004__often
often
r_0051_0003__were->r_0051_0004__often
[nim]
r_0051_0002__ducks
ducks
r_0051_0003__were->r_0051_0002__ducks
[arg0]
r_0051_0022__liked->r_0051_0023__the_r_0051_0024__name
[arg1]
r_0051_0021__I
I
r_0051_0022__liked->r_0051_0021__I
[arg0]
r_0051_0010__so
so
r_0051_0022__liked->r_0051_0010__so
[nim]
r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School
the Dean Junior School
r_0051_0016__old
old
r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School->r_0051_0016__old
[attrib]
r_0051_0014__replaced->r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School
[arg1]
r_0051_0013__bungalows
bungalows
r_0051_0014__replaced->r_0051_0013__bungalows
[arg0]
r_0051_0012__new
new
r_0051_0013__bungalows->r_0051_0012__new
[attrib]
r_0051_0007__the_r_0051_0008__road
the road
r_0051_0005__pedestrians->r_0051_0007__the_r_0051_0008__road
up
r_0051_0001__Local
Local
r_0051_0002__ducks->r_0051_0001__Local
[attrib]
fof(formula,axiom,
? [Z_51_A_ALRESFORD_2,R_51_3_WERE,R_51_2_DUCKS,R_51_1_LOCAL,R_51_4_OFTEN,R_51_5_PEDESTRIANS,R_51_7_THE_ROAD,Z_51_A_ALRESFORD_69,R_51_23_THE_NAME,R_51_25_MALLARD_CLOSE] :
( local(R_51_1_LOCAL)
& often(R_51_4_OFTEN)
& the_road(R_51_7_THE_ROAD)
& the_name(R_51_23_THE_NAME)
& mallard_Close(R_51_25_MALLARD_CLOSE)
& ! [R_51_14_REPLACED,R_51_13_BUNGALOWS,R_51_12_NEW,R_51_15_THE_DEAN_JUNIOR_SCHOOL,R_51_16_OLD] :
( ( new(R_51_12_NEW)
& old(R_51_16_OLD)
& replaced(R_51_14_REPLACED,R_51_13_BUNGALOWS,R_51_15_THE_DEAN_JUNIOR_SCHOOL)
& bungalows(R_51_13_BUNGALOWS)
& attrib38(R_51_13_BUNGALOWS,R_51_12_NEW)
& the_Dean_Junior_School(R_51_15_THE_DEAN_JUNIOR_SCHOOL)
& attrib48(R_51_15_THE_DEAN_JUNIOR_SCHOOL,R_51_16_OLD) )
=> ? [R_51_22_LIKED,R_51_21_I,R_51_10_SO] :
( i(R_51_21_I)
& so(R_51_10_SO)
& liked(R_51_22_LIKED,R_51_21_I,R_51_23_THE_NAME)
& nim30(R_51_22_LIKED,R_51_10_SO) ) )
& conj2(CONJ2)
& z_51_a_alresford_2(Z_51_A_ALRESFORD_2)
& conj1(Z_51_A_ALRESFORD_2,R_51_3_WERE)
& were(R_51_3_WERE,R_51_2_DUCKS,R_51_5_PEDESTRIANS)
& ducks(R_51_2_DUCKS)
& attrib5(R_51_2_DUCKS,R_51_1_LOCAL)
& pedestrians(R_51_5_PEDESTRIANS)
& up(R_51_5_PEDESTRIANS,R_51_7_THE_ROAD)
& nim12(R_51_3_WERE,R_51_4_OFTEN)
& z_51_a_alresford_69(Z_51_A_ALRESFORD_69,R_51_23_THE_NAME,R_51_25_MALLARD_CLOSE) ) ).
n51_a_alresford
n51_a_alresford__1_1_1_1_1_1_1
Local
n51_a_alresford__1_1_1_1_2_1
ducks
n51_a_alresford__1_1_1_2_1
were
n51_a_alresford__1_1_1_3_1_1
often
n51_a_alresford__1_1_1_4_1_1
pedestrians
n51_a_alresford__1_1_1_4_2_1_1
up
n51_a_alresford__1_1_1_4_2_2_1_1
the
n51_a_alresford__1_1_1_4_2_2_2_1
road
n51_a_alresford__1_1_2_1
,
n51_a_alresford__1_1_3_1_1_1_1
so
n51_a_alresford__1_1_3_1_2_1_1
when
n51_a_alresford__1_1_3_1_2_2_1_1_1_1
new
n51_a_alresford__1_1_3_1_2_2_1_2_1
bungalows
n51_a_alresford__1_1_3_1_2_2_2_1
replaced
n51_a_alresford__1_1_3_1_2_2_3_1_1
the
n51_a_alresford__1_1_3_1_2_2_3_2_1_1
old
n51_a_alresford__1_1_3_1_2_2_3_3_1
Dean
n51_a_alresford__1_1_3_1_2_2_3_4_1
Junior
n51_a_alresford__1_1_3_1_2_2_3_5_1
School
n51_a_alresford__1_1_3_1_3_1
,
n51_a_alresford__1_1_3_1_4_1_1
I
n51_a_alresford__1_1_3_1_5_1
liked
n51_a_alresford__1_1_3_1_6_1_1
the
n51_a_alresford__1_1_3_1_6_2_1
name
n51_a_alresford__1_1_3_1_6_3_1_1_1
Mallard
n51_a_alresford__1_1_3_1_6_3_1_2_1
Close
n51_a_alresford__1_2_1
.
n51_a_alresford__1
IP-MAT
n51_a_alresford__1_1
ILYR
n51_a_alresford__1->n51_a_alresford__1_1
n51_a_alresford__1_2
PUNC
n51_a_alresford__1->n51_a_alresford__1_2
n51_a_alresford__1_1_1
ILYR
n51_a_alresford__1_1->n51_a_alresford__1_1_1
n51_a_alresford__1_1_2
PUNC
n51_a_alresford__1_1->n51_a_alresford__1_1_2
n51_a_alresford__1_1_3
CONJP
n51_a_alresford__1_1->n51_a_alresford__1_1_3
n51_a_alresford__1_1_1_1
NP-SBJ
n51_a_alresford__1_1_1->n51_a_alresford__1_1_1_1
n51_a_alresford__1_1_1_2
BED;_Ln_
n51_a_alresford__1_1_1->n51_a_alresford__1_1_1_2
n51_a_alresford__1_1_1_3
ADVP-NIM
n51_a_alresford__1_1_1->n51_a_alresford__1_1_1_3
n51_a_alresford__1_1_1_4
NP-PRD
n51_a_alresford__1_1_1->n51_a_alresford__1_1_1_4
n51_a_alresford__1_1_1_1_1
ADJP
n51_a_alresford__1_1_1_1->n51_a_alresford__1_1_1_1_1
n51_a_alresford__1_1_1_1_2
NS
n51_a_alresford__1_1_1_1->n51_a_alresford__1_1_1_1_2
n51_a_alresford__1_1_1_1_1_1
ADJ
n51_a_alresford__1_1_1_1_1->n51_a_alresford__1_1_1_1_1_1
n51_a_alresford__1_1_1_1_1_1->n51_a_alresford__1_1_1_1_1_1_1
n51_a_alresford__1_1_1_1_2->n51_a_alresford__1_1_1_1_2_1
n51_a_alresford__1_1_1_2->n51_a_alresford__1_1_1_2_1
n51_a_alresford__1_1_1_3_1
ADV
n51_a_alresford__1_1_1_3->n51_a_alresford__1_1_1_3_1
n51_a_alresford__1_1_1_3_1->n51_a_alresford__1_1_1_3_1_1
n51_a_alresford__1_1_1_4_1
NS
n51_a_alresford__1_1_1_4->n51_a_alresford__1_1_1_4_1
n51_a_alresford__1_1_1_4_2
PP
n51_a_alresford__1_1_1_4->n51_a_alresford__1_1_1_4_2
n51_a_alresford__1_1_1_4_1->n51_a_alresford__1_1_1_4_1_1
n51_a_alresford__1_1_1_4_2_1
P-ROLE
n51_a_alresford__1_1_1_4_2->n51_a_alresford__1_1_1_4_2_1
n51_a_alresford__1_1_1_4_2_2
NP
n51_a_alresford__1_1_1_4_2->n51_a_alresford__1_1_1_4_2_2
n51_a_alresford__1_1_1_4_2_1->n51_a_alresford__1_1_1_4_2_1_1
n51_a_alresford__1_1_1_4_2_2_1
D
n51_a_alresford__1_1_1_4_2_2->n51_a_alresford__1_1_1_4_2_2_1
n51_a_alresford__1_1_1_4_2_2_2
N
n51_a_alresford__1_1_1_4_2_2->n51_a_alresford__1_1_1_4_2_2_2
n51_a_alresford__1_1_1_4_2_2_1->n51_a_alresford__1_1_1_4_2_2_1_1
n51_a_alresford__1_1_1_4_2_2_2->n51_a_alresford__1_1_1_4_2_2_2_1
n51_a_alresford__1_1_2->n51_a_alresford__1_1_2_1
n51_a_alresford__1_1_3_1
ILYR
n51_a_alresford__1_1_3->n51_a_alresford__1_1_3_1
n51_a_alresford__1_1_3_1_1
ADVP-NIM
n51_a_alresford__1_1_3_1->n51_a_alresford__1_1_3_1_1
n51_a_alresford__1_1_3_1_2
PP-SCON
n51_a_alresford__1_1_3_1->n51_a_alresford__1_1_3_1_2
n51_a_alresford__1_1_3_1_3
PUNC
n51_a_alresford__1_1_3_1->n51_a_alresford__1_1_3_1_3
n51_a_alresford__1_1_3_1_4
NP-SBJ
n51_a_alresford__1_1_3_1->n51_a_alresford__1_1_3_1_4
n51_a_alresford__1_1_3_1_5
VBD;_Tn_
n51_a_alresford__1_1_3_1->n51_a_alresford__1_1_3_1_5
n51_a_alresford__1_1_3_1_6
NP-OB1
n51_a_alresford__1_1_3_1->n51_a_alresford__1_1_3_1_6
n51_a_alresford__1_1_3_1_1_1
ADV
n51_a_alresford__1_1_3_1_1->n51_a_alresford__1_1_3_1_1_1
n51_a_alresford__1_1_3_1_1_1->n51_a_alresford__1_1_3_1_1_1_1
n51_a_alresford__1_1_3_1_2_1
P-CONN
n51_a_alresford__1_1_3_1_2->n51_a_alresford__1_1_3_1_2_1
n51_a_alresford__1_1_3_1_2_2
IP-ADV
n51_a_alresford__1_1_3_1_2->n51_a_alresford__1_1_3_1_2_2
n51_a_alresford__1_1_3_1_2_1->n51_a_alresford__1_1_3_1_2_1_1
n51_a_alresford__1_1_3_1_2_2_1
NP-SBJ
n51_a_alresford__1_1_3_1_2_2->n51_a_alresford__1_1_3_1_2_2_1
n51_a_alresford__1_1_3_1_2_2_2
VBD;_Tn_
n51_a_alresford__1_1_3_1_2_2->n51_a_alresford__1_1_3_1_2_2_2
n51_a_alresford__1_1_3_1_2_2_3
NP-OB1
n51_a_alresford__1_1_3_1_2_2->n51_a_alresford__1_1_3_1_2_2_3
n51_a_alresford__1_1_3_1_2_2_1_1
ADJP
n51_a_alresford__1_1_3_1_2_2_1->n51_a_alresford__1_1_3_1_2_2_1_1
n51_a_alresford__1_1_3_1_2_2_1_2
NS
n51_a_alresford__1_1_3_1_2_2_1->n51_a_alresford__1_1_3_1_2_2_1_2
n51_a_alresford__1_1_3_1_2_2_1_1_1
ADJ
n51_a_alresford__1_1_3_1_2_2_1_1->n51_a_alresford__1_1_3_1_2_2_1_1_1
n51_a_alresford__1_1_3_1_2_2_1_1_1->n51_a_alresford__1_1_3_1_2_2_1_1_1_1
n51_a_alresford__1_1_3_1_2_2_1_2->n51_a_alresford__1_1_3_1_2_2_1_2_1
n51_a_alresford__1_1_3_1_2_2_2->n51_a_alresford__1_1_3_1_2_2_2_1
n51_a_alresford__1_1_3_1_2_2_3_1
D
n51_a_alresford__1_1_3_1_2_2_3->n51_a_alresford__1_1_3_1_2_2_3_1
n51_a_alresford__1_1_3_1_2_2_3_2
ADJP
n51_a_alresford__1_1_3_1_2_2_3->n51_a_alresford__1_1_3_1_2_2_3_2
n51_a_alresford__1_1_3_1_2_2_3_3
NPR
n51_a_alresford__1_1_3_1_2_2_3->n51_a_alresford__1_1_3_1_2_2_3_3
n51_a_alresford__1_1_3_1_2_2_3_4
NPR
n51_a_alresford__1_1_3_1_2_2_3->n51_a_alresford__1_1_3_1_2_2_3_4
n51_a_alresford__1_1_3_1_2_2_3_5
NPR
n51_a_alresford__1_1_3_1_2_2_3->n51_a_alresford__1_1_3_1_2_2_3_5
n51_a_alresford__1_1_3_1_2_2_3_1->n51_a_alresford__1_1_3_1_2_2_3_1_1
n51_a_alresford__1_1_3_1_2_2_3_2_1
ADJ
n51_a_alresford__1_1_3_1_2_2_3_2->n51_a_alresford__1_1_3_1_2_2_3_2_1
n51_a_alresford__1_1_3_1_2_2_3_2_1->n51_a_alresford__1_1_3_1_2_2_3_2_1_1
n51_a_alresford__1_1_3_1_2_2_3_3->n51_a_alresford__1_1_3_1_2_2_3_3_1
n51_a_alresford__1_1_3_1_2_2_3_4->n51_a_alresford__1_1_3_1_2_2_3_4_1
n51_a_alresford__1_1_3_1_2_2_3_5->n51_a_alresford__1_1_3_1_2_2_3_5_1
n51_a_alresford__1_1_3_1_3->n51_a_alresford__1_1_3_1_3_1
n51_a_alresford__1_1_3_1_4_1
PRO
n51_a_alresford__1_1_3_1_4->n51_a_alresford__1_1_3_1_4_1
n51_a_alresford__1_1_3_1_4_1->n51_a_alresford__1_1_3_1_4_1_1
n51_a_alresford__1_1_3_1_5->n51_a_alresford__1_1_3_1_5_1
n51_a_alresford__1_1_3_1_6_1
D
n51_a_alresford__1_1_3_1_6->n51_a_alresford__1_1_3_1_6_1
n51_a_alresford__1_1_3_1_6_2
N
n51_a_alresford__1_1_3_1_6->n51_a_alresford__1_1_3_1_6_2
n51_a_alresford__1_1_3_1_6_3
IP-PPL
n51_a_alresford__1_1_3_1_6->n51_a_alresford__1_1_3_1_6_3
n51_a_alresford__1_1_3_1_6_1->n51_a_alresford__1_1_3_1_6_1_1
n51_a_alresford__1_1_3_1_6_2->n51_a_alresford__1_1_3_1_6_2_1
n51_a_alresford__1_1_3_1_6_3_1
NP-PRD
n51_a_alresford__1_1_3_1_6_3->n51_a_alresford__1_1_3_1_6_3_1
n51_a_alresford__1_1_3_1_6_3_1_1
NPR
n51_a_alresford__1_1_3_1_6_3_1->n51_a_alresford__1_1_3_1_6_3_1_1
n51_a_alresford__1_1_3_1_6_3_1_2
NPR
n51_a_alresford__1_1_3_1_6_3_1->n51_a_alresford__1_1_3_1_6_3_1_2
n51_a_alresford__1_1_3_1_6_3_1_1->n51_a_alresford__1_1_3_1_6_3_1_1_1
n51_a_alresford__1_1_3_1_6_3_1_2->n51_a_alresford__1_1_3_1_6_3_1_2_1
n51_a_alresford__1_2->n51_a_alresford__1_2_1
( (IP-MAT (ILYR (ILYR (NP-SBJ (ADJP (ADJ Local;{local}))
(NS ducks;{duck}))
(BED;_Ln_ were;{be})
(ADVP-NIM (ADV often;{often}))
(NP-PRD (NS pedestrians;{pedestrian})
(PP (P-ROLE up;{up})
(NP (D the;{the})
(N road;{road})))))
(PUNC ,)
(CONJP (ILYR (ADVP-NIM (ADV so;{so}))
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ (ADJP (ADJ new;{new}))
(NS bungalows;{bungalow}))
(VBD;_Tn_ replaced;{replace})
(NP-OB1 (D the;{the})
(ADJP (ADJ old;{old}))
(NPR Dean;{Dean})
(NPR Junior;{Junior})
(NPR School;{School}))))
(PUNC ,)
(NP-SBJ (PRO I;{I}))
(VBD;_Tn_ liked;{like})
(NP-OB1 (D the;{the})
(N name;{name})
(IP-PPL (NP-PRD (NPR Mallard;{Mallard})
(NPR Close;{Close})))))))
(PUNC .))
(ID 51_a_alresford))