arc(r_0029_0004__there_r_0029_0005__were, r_0029_0002__the_r_0029_0003__Church, r_0029_0001__At_nim7).
arc(r_0029_0004__there_r_0029_0005__were, r_0029_0006__concerts, arg0).
arc(r_0029_0008__and, r_0029_0004__there_r_0029_0005__were, conj1).
arc(r_0029_0008__and, z_000_29_a_alresford_24, conj2).
arc(r_0029_0014__and, r_0029_0010__the_r_0029_0011__John_r_0029_0012__Pearson_r_0029_0013__Hall, conj1).
arc(r_0029_0014__and, r_0029_0015__the_r_0029_0017__Community_r_0029_0018__Centre, conj2).
arc(r_0029_0015__the_r_0029_0017__Community_r_0029_0018__Centre, r_0029_0016__nearby, attrib45).
arc(r_0029_0019__a_r_0029_0021__series, r_0029_0020__whole, attrib55).
arc(r_0029_0019__a_r_0029_0021__series, r_0029_0023__events, r_0029_0022__of).
arc(r_0029_0019__a_r_0029_0021__series, r_0029_0032__enough, attrib88).
arc(r_0029_0026__raising, r_0029_0019__a_r_0029_0021__series, arg0).
arc(r_0029_0026__raising, r_0029_0025__mainly, qual69).
arc(r_0029_0026__raising, r_0029_0027__funds, arg1).
arc(r_0029_0027__funds, r_0029_0030__causes, r_0029_0028__for).
arc(r_0029_0030__causes, r_0029_0029__good, attrib81).
arc(r_0029_0032__enough, r_0029_0033__to_r_0029_0034__fill, emb91).
arc(r_0029_0033__to_r_0029_0034__fill, r_0029_0035__a_r_0029_0036__diary, arg1).
arc(r_0029_0033__to_r_0029_0034__fill, r_0029_0038__overflowing, r_0029_0037__to_nim104).
arc(r_0029_0033__to_r_0029_0034__fill, z_000_29_a_alresford_91, arg0).
arc(r_0029_0038__overflowing, z_000_29_a_alresford_104, arg0).
arc(z_000_29_a_alresford_24, r_0029_0014__and, r_0029_0009__in_nim28).
arc(z_000_29_a_alresford_24, r_0029_0019__a_r_0029_0021__series, arg0).

fof(formula,axiom,
    ? [R_29_8_AND,R_29_4_THERE_WERE,R_29_6_CONCERTS,R_29_2_THE_CHURCH,Z_29_A_ALRESFORD_24,R_29_14_AND,R_29_10_THE_JOHN_PEARSON_HALL,R_29_15_THE_COMMUNITY_CENTRE,R_29_16_NEARBY,R_29_26_RAISING,R_29_19_A_SERIES,R_29_20_WHOLE,R_29_32_ENOUGH,R_29_33_TO_FILL,Z_29_A_ALRESFORD_91,R_29_35_A_DIARY,R_29_38_OVERFLOWING,Z_29_A_ALRESFORD_104,R_29_23_EVENTS,R_29_27_FUNDS,R_29_30_CAUSES,R_29_29_GOOD,R_29_25_MAINLY] :
      ( concerts(R_29_6_CONCERTS)
      & the_Church(R_29_2_THE_CHURCH)
      & the_John_Pearson_Hall(R_29_10_THE_JOHN_PEARSON_HALL)
      & nearby(R_29_16_NEARBY)
      & whole(R_29_20_WHOLE)
      & a_diary(R_29_35_A_DIARY)
      & events(R_29_23_EVENTS)
      & good(R_29_29_GOOD)
      & mainly(R_29_25_MAINLY)
      & and(R_29_8_AND)
      & conj1(R_29_8_AND,R_29_4_THERE_WERE)
      & there_were(R_29_4_THERE_WERE,R_29_6_CONCERTS)
      & at_nim7(R_29_4_THERE_WERE,R_29_2_THE_CHURCH)
      & conj2(R_29_8_AND,Z_29_A_ALRESFORD_24)
      & z_29_a_alresford_24(Z_29_A_ALRESFORD_24,R_29_19_A_SERIES)
      & a_series(R_29_19_A_SERIES)
      & attrib55(R_29_19_A_SERIES,R_29_20_WHOLE)
      & attrib88(R_29_19_A_SERIES,R_29_32_ENOUGH)
      & enough(R_29_32_ENOUGH)
      & emb91(R_29_32_ENOUGH,R_29_33_TO_FILL)
      & to_fill(R_29_33_TO_FILL,Z_29_A_ALRESFORD_91,R_29_35_A_DIARY)
      & to_nim104(R_29_33_TO_FILL,R_29_38_OVERFLOWING)
      & overflowing(R_29_38_OVERFLOWING,Z_29_A_ALRESFORD_104)
      & of(R_29_19_A_SERIES,R_29_23_EVENTS)
      & in_nim28(Z_29_A_ALRESFORD_24,R_29_14_AND)
      & and(R_29_14_AND)
      & conj1(R_29_14_AND,R_29_10_THE_JOHN_PEARSON_HALL)
      & conj2(R_29_14_AND,R_29_15_THE_COMMUNITY_CENTRE)
      & the_Community_Centre(R_29_15_THE_COMMUNITY_CENTRE)
      & attrib45(R_29_15_THE_COMMUNITY_CENTRE,R_29_16_NEARBY)
      & raising(R_29_26_RAISING,R_29_19_A_SERIES,R_29_27_FUNDS)
      & funds(R_29_27_FUNDS)
      & for(R_29_27_FUNDS,R_29_30_CAUSES)
      & causes(R_29_30_CAUSES)
      & attrib81(R_29_30_CAUSES,R_29_29_GOOD)
      & qual69(R_29_26_RAISING,R_29_25_MAINLY) ) ).

( (IP-MAT (ILYR (ILYR (PP-TPC-NIM (P-ROLE At;{at})
                                  (NP;{CHURCH} (D the;{the})
                                               (NPR Church;{Church})))
                      (EX there;{there})
                      (BED;_ex_V_ were;{be})
                      (NP-ESBJ (NS concerts;{concert})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-TPC-NIM (P-ROLE in;{in})
                                         (NP (NLYR (NLYR (D the;{the})
                                                         (NPR John;{John})
                                                         (NPR Pearson;{Pearson})
                                                         (NPR Hall;{Hall}))
                                                   (CONJP (CONJ and;{and})
                                                          (NLYR (D the;{the})
                                                                (ADJP (ADJ nearby;{nearby}))
                                                                (NPR Community;{Community})
                                                                (NPR Centre;{Centre}))))))
                             (NP-ESBJ (D a;{a})
                                      (ADJP (ADJ whole;{whole}))
                                      (N series;{series})
                                      (PP (P-ROLE of;{of})
                                          (NP (NS events;{event})))
                                      (PUNC ,)
                                      (IP-PPL (ADVP (ADV mainly;{mainly}))
                                              (VAG;_Tn_ raising;{raise})
                                              (NP-OB1 (NS funds;{fund})
                                                      (PP (P-ROLE for;{for})
                                                          (NP (ADJP (ADJ good;{good}))
                                                              (NS causes;{cause})))))
                                      (PUNC ,)
                                      (ADJP (ADJ enough;{enough})
                                            (IP-INF (TO to;{to})
                                                    (VB;_Tn_ fill;{fill})
                                                    (NP-OB1 (D a;{a})
                                                            (N diary;{diary}))
                                                    (PP-NIM (P-ROLE to;{to})
                                                            (IP-PPL (VAG;_I_ overflowing;{overflow})))))))))
          (PUNC .))
  (ID 29_a_alresford))