1_a_alresford
NO. 100 - ALRESFORD REMEMBERED by Freda Kelsall
arc(z_000_1_a_alresford_1, r_0001_0001__NO_dot__r_0001_0002__100_r_0001_0004__ALRESFORD_REMEMBERED, nim2).
arc(z_000_1_a_alresford_1, r_0001_0006__Freda_r_0001_0007__Kelsall, r_0001_0005__by_nim14).
fof(formula,axiom,
? [R_0001_0001__NO_DOT__R_0001_0002__100_R_0001_0004__ALRESFORD_REMEMBERED,R_0001_0006__FREDA_R_0001_0007__KELSALL,Z_000_1_A_ALRESFORD_1] :
( r_0001_0001__NO_dot__r_0001_0002__100_r_0001_0004__ALRESFORD_REMEMBERED(R_0001_0001__NO_DOT__R_0001_0002__100_R_0001_0004__ALRESFORD_REMEMBERED)
& r_0001_0006__Freda_r_0001_0007__Kelsall(R_0001_0006__FREDA_R_0001_0007__KELSALL)
& z_000_1_a_alresford_1(Z_000_1_A_ALRESFORD_1)
& has_r_0001_0005__by_nim14(Z_000_1_A_ALRESFORD_1,R_0001_0006__FREDA_R_0001_0007__KELSALL)
& has_nim2(Z_000_1_A_ALRESFORD_1,R_0001_0001__NO_DOT__R_0001_0002__100_R_0001_0004__ALRESFORD_REMEMBERED) ) ).
( (FRAG (NP (NPR NO<dot>)
(NPR 100)
(PUNC <hyphen>)
(NPR ALRESFORD_REMEMBERED))
(PP (P-ROLE by;{by})
(NP (NPR Freda;{Freda})
(NPR Kelsall;{Kelsall}))))
(ID 1_a_alresford))