arc(r_0076_0002__was, r_0076_0008__but, scope).
arc(r_0076_0005__left, r_0076_0003__the_r_0076_0004__railway, arg1).
arc(r_0076_0005__left, r_0076_0006__derelict, prd).
arc(r_0076_0005__left, z_000_76_a_alresford_16, arg0).
arc(r_0076_0008__but, r_0076_0005__left, conj1).
arc(r_0076_0008__but, r_0076_0010__adopted, conj2).
arc(r_0076_0010__adopted, r_0076_0003__the_r_0076_0004__railway, arg1).
arc(r_0076_0010__adopted, r_0076_0009__soon, nim29).
arc(r_0076_0010__adopted, r_0076_0012__steam_r_0076_0013__enthusiasts, arg0).
arc(r_0076_0016__efforts, r_0076_0012__steam_r_0076_0013__enthusiasts, gen).
arc(r_0076_0017__bring, r_0076_0016__efforts, arg0).
arc(r_0076_0017__bring, r_0076_0020__rail_r_0076_0021__travellers, arg1).
arc(r_0076_0019__more, r_0076_0018__far, qual55).
arc(r_0076_0019__more, z_000_76_a_alresford_69, r_0076_0022__than).
arc(r_0076_0020__rail_r_0076_0021__travellers, r_0076_0019__more, attrib54).
arc(r_0076_0024__made, r_0076_0023__ever, nim73).
arc(r_0076_0024__made, r_0076_0026__way, arg1).
arc(r_0076_0024__made, r_0076_0028__Station_r_0076_0029__Road, r_0076_0027__down_clr87).
arc(r_0076_0024__made, z_000_76_a_alresford_69, arg0).
arc(r_0076_0026__way, z_000_76_a_alresford_69, gen).
arc(r_0076_0030__when, r_0076_0024__made, scope).
arc(r_0076_0030__when, r_0076_0032__used, restriction).
arc(r_0076_0032__used, r_0076_0031__I, arg0).
arc(r_0076_0032__used, r_0076_0033__the_r_0076_0034__line, arg1).
arc(r_0076_0032__used, r_0076_0038__transport, prd).
arc(r_0076_0038__transport, r_0076_0031__I, gen).
arc(r_0076_0038__transport, r_0076_0037__regular, attrib113).

fof(formula,axiom,
    ? [R_76_17_BRING,R_76_16_EFFORTS,R_76_12_STEAM_ENTHUSIASTS,R_76_20_RAIL_TRAVELLERS,R_76_19_MORE,R_76_18_FAR,Z_76_A_ALRESFORD_69] :
      ( steam_enthusiasts(R_76_12_STEAM_ENTHUSIASTS)
      & far(R_76_18_FAR)
      & ~ ? [R_76_8_BUT,R_76_5_LEFT,Z_76_A_ALRESFORD_16,R_76_6_DERELICT,R_76_10_ADOPTED,R_76_3_THE_RAILWAY,R_76_9_SOON] :
            ( derelict(R_76_6_DERELICT)
            & the_railway(R_76_3_THE_RAILWAY)
            & soon(R_76_9_SOON)
            & but(R_76_8_BUT)
            & conj1(R_76_8_BUT,R_76_5_LEFT)
            & left(R_76_5_LEFT,Z_76_A_ALRESFORD_16,R_76_3_THE_RAILWAY,R_76_6_DERELICT)
            & conj2(R_76_8_BUT,R_76_10_ADOPTED)
            & adopted(R_76_10_ADOPTED,R_76_12_STEAM_ENTHUSIASTS,R_76_3_THE_RAILWAY)
            & nim29(R_76_10_ADOPTED,R_76_9_SOON) )
      & bring(R_76_17_BRING,R_76_16_EFFORTS,R_76_20_RAIL_TRAVELLERS)
      & efforts(R_76_16_EFFORTS)
      & gen(R_76_16_EFFORTS,R_76_12_STEAM_ENTHUSIASTS)
      & rail_travellers(R_76_20_RAIL_TRAVELLERS)
      & attrib54(R_76_20_RAIL_TRAVELLERS,R_76_19_MORE)
      & more(R_76_19_MORE)
      & qual55(R_76_19_MORE,R_76_18_FAR)
      & than(R_76_19_MORE,Z_76_A_ALRESFORD_69)
      & ! [R_76_32_USED,R_76_33_THE_LINE,R_76_38_TRANSPORT,R_76_37_REGULAR,R_76_31_I] :
          ( ( the_line(R_76_33_THE_LINE)
            & regular(R_76_37_REGULAR)
            & i(R_76_31_I)
            & used(R_76_32_USED,R_76_31_I,R_76_33_THE_LINE,R_76_38_TRANSPORT)
            & transport(R_76_38_TRANSPORT)
            & attrib113(R_76_38_TRANSPORT,R_76_37_REGULAR)
            & gen(R_76_38_TRANSPORT,R_76_31_I) )
         => ? [R_76_24_MADE,R_76_26_WAY,R_76_23_EVER,R_76_28_STATION_ROAD] :
              ( ever(R_76_23_EVER)
              & station_Road(R_76_28_STATION_ROAD)
              & made(R_76_24_MADE,Z_76_A_ALRESFORD_69,R_76_26_WAY)
              & way(R_76_26_WAY)
              & gen(R_76_26_WAY,Z_76_A_ALRESFORD_69)
              & nim73(R_76_24_MADE,R_76_23_EVER)
              & down_clr87(R_76_24_MADE,R_76_28_STATION_ROAD) ) ) ) ).

( (IP-MAT (CONJ-142 Nor;{nor})
          (BED;_cat_VePASS_ was;{be})
          (NP-SBJ (D the;{the})
                  (N railway;{railway}))
          (IP-PPL-CAT (ILYR (CONJ *ICH*-142)
                            (ILYR (NP-LGS *)
                                  (VVN;_Tn_ left;{leave})
                                  (ADJP-PRD (ADJ derelict;{derelict})))
                            (PUNC ,)
                            (CONJP (CONJ but;{but})
                                   (ILYR (ADVP-NIM (ADV soon;{soon}))
                                         (VVN;_Tn_ adopted;{adopt})
                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                 (NP (N steam;{steam})
                                                     (NS enthusiasts;{enthusiast})
                                                     (PUNC ,)
                                                     (IP-REL (NP-SBJ (NP-GEN (RPRO;_genm_ whose;{whose}))
                                                                     (NS efforts;{effort}))
                                                             (VBP;_Tn_ bring;{bring})
                                                             (NP-OB1 (ADJP (ADVP (ADV far;{far}))
                                                                           (ADJR more;{more})
                                                                           (PP *ICH*-172))
                                                                     (N rail;{rail})
                                                                     (NS travellers;{traveller})
                                                                     (PP-EPD-172 (P-ROLE than;{than})
                                                                                 (NP;{TRAVELLERS} (IP-REL (NP-SBJ *T*)
                                                                                                          (ADVP-NIM (ADV ever;{ever}))
                                                                                                          (VBD;_Tn.pr_ made;{make[down]})
                                                                                                          (NP-OB1 (NP-GEN;{TRAVELLERS} (PRO;_genm_ their;{their}))
                                                                                                                  (N way;{way}))
                                                                                                          (PP-CLR (P-ROLE down;{down})
                                                                                                                  (NP (NPR Station;{Station})
                                                                                                                      (NPR Road;{Road})))
                                                                                                          (PP-SCON (P-CONN when;{when})
                                                                                                                   (IP-ADV (NP-SBJ (PRO I;{I}))
                                                                                                                           (VBD;_Cn.n/a_ used;{use[as]})
                                                                                                                           (NP-OB1 (D the;{the})
                                                                                                                                   (N line;{line}))
                                                                                                                           (PP-PRD (P-ROLE as;{as})
                                                                                                                                   (NP (NP-GEN (PRO;_genm_ my;{my}))
                                                                                                                                       (ADJP (ADJ regular;{regular}))
                                                                                                                                       (N transport;{transport}))))))))))))))))
          (PUNC .))
  (ID 76_a_alresford))