TSPC 76_a_alresford

76_a_alresford
Nor was the railway left derelict, but soon adopted by steam enthusiasts, whose efforts bring far more rail travellers than ever made their way down Station Road when I used the line as my regular transport.

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_0076_0012__STEAM_R_0076_0013__ENTHUSIASTS,R_0076_0016__EFFORTS,R_0076_0018__FAR,Z_000_76_A_ALRESFORD_69,R_0076_0019__MORE,R_0076_0020__RAIL_R_0076_0021__TRAVELLERS,R_0076_0017__BRING,R_0076_0003__THE_R_0076_0004__RAILWAY,R_0076_0006__DERELICT,Z_000_76_A_ALRESFORD_16,R_0076_0005__LEFT,R_0076_0009__SOON,R_0076_0010__ADOPTED,R_0076_0008__BUT,R_0076_0002__WAS] :
      ( r_0076_0003__the_r_0076_0004__railway(R_0076_0003__THE_R_0076_0004__RAILWAY)
      & r_0076_0006__derelict(R_0076_0006__DERELICT)
      & r_0076_0009__soon(R_0076_0009__SOON)
      & r_0076_0012__steam_r_0076_0013__enthusiasts(R_0076_0012__STEAM_R_0076_0013__ENTHUSIASTS)
      & r_0076_0018__far(R_0076_0018__FAR)
      & z_000_76_a_alresford_16(Z_000_76_A_ALRESFORD_16)
      & z_000_76_a_alresford_69(Z_000_76_A_ALRESFORD_69)
      & r_0076_0002__was(R_0076_0002__WAS)
      & has_keep_scope(R_0076_0002__WAS,R_0076_0008__BUT)
      & r_0076_0008__but(R_0076_0008__BUT)
      & has_conj2(R_0076_0008__BUT,R_0076_0010__ADOPTED)
      & r_0076_0010__adopted(R_0076_0010__ADOPTED)
      & has_arg0(R_0076_0010__ADOPTED,R_0076_0012__STEAM_R_0076_0013__ENTHUSIASTS)
      & has_nim29(R_0076_0010__ADOPTED,R_0076_0009__SOON)
      & has_arg1(R_0076_0010__ADOPTED,R_0076_0003__THE_R_0076_0004__RAILWAY)
      & has_conj1(R_0076_0008__BUT,R_0076_0005__LEFT)
      & r_0076_0005__left(R_0076_0005__LEFT)
      & has_arg0(R_0076_0005__LEFT,Z_000_76_A_ALRESFORD_16)
      & has_prd(R_0076_0005__LEFT,R_0076_0006__DERELICT)
      & has_arg1(R_0076_0005__LEFT,R_0076_0003__THE_R_0076_0004__RAILWAY)
      & ! [R_0076_0032__USED,R_0076_0031__I,R_0076_0033__THE_R_0076_0034__LINE,R_0076_0037__REGULAR,R_0076_0038__TRANSPORT] :
          ( ( r_0076_0031__I(R_0076_0031__I)
            & r_0076_0033__the_r_0076_0034__line(R_0076_0033__THE_R_0076_0034__LINE)
            & r_0076_0037__regular(R_0076_0037__REGULAR)
            & r_0076_0032__used(R_0076_0032__USED)
            & has_prd(R_0076_0032__USED,R_0076_0038__TRANSPORT)
            & r_0076_0038__transport(R_0076_0038__TRANSPORT)
            & has_attrib113(R_0076_0038__TRANSPORT,R_0076_0037__REGULAR)
            & has_gen(R_0076_0038__TRANSPORT,R_0076_0031__I)
            & has_arg1(R_0076_0032__USED,R_0076_0033__THE_R_0076_0034__LINE)
            & has_arg0(R_0076_0032__USED,R_0076_0031__I) )
         => ? [R_0076_0023__EVER,R_0076_0026__WAY,R_0076_0028__STATION_R_0076_0029__ROAD,R_0076_0024__MADE] :
              ( r_0076_0023__ever(R_0076_0023__EVER)
              & r_0076_0028__Station_r_0076_0029__Road(R_0076_0028__STATION_R_0076_0029__ROAD)
              & r_0076_0024__made(R_0076_0024__MADE)
              & has_arg0(R_0076_0024__MADE,Z_000_76_A_ALRESFORD_69)
              & has_r_0076_0027__down_clr87(R_0076_0024__MADE,R_0076_0028__STATION_R_0076_0029__ROAD)
              & has_arg1(R_0076_0024__MADE,R_0076_0026__WAY)
              & r_0076_0026__way(R_0076_0026__WAY)
              & has_gen(R_0076_0026__WAY,Z_000_76_A_ALRESFORD_69)
              & has_nim73(R_0076_0024__MADE,R_0076_0023__EVER) ) )
      & r_0076_0017__bring(R_0076_0017__BRING)
      & has_arg1(R_0076_0017__BRING,R_0076_0020__RAIL_R_0076_0021__TRAVELLERS)
      & r_0076_0020__rail_r_0076_0021__travellers(R_0076_0020__RAIL_R_0076_0021__TRAVELLERS)
      & has_attrib54(R_0076_0020__RAIL_R_0076_0021__TRAVELLERS,R_0076_0019__MORE)
      & r_0076_0019__more(R_0076_0019__MORE)
      & has_r_0076_0022__than(R_0076_0019__MORE,Z_000_76_A_ALRESFORD_69)
      & has_qual55(R_0076_0019__MORE,R_0076_0018__FAR)
      & has_arg0(R_0076_0017__BRING,R_0076_0016__EFFORTS)
      & r_0076_0016__efforts(R_0076_0016__EFFORTS)
      & has_gen(R_0076_0016__EFFORTS,R_0076_0012__STEAM_R_0076_0013__ENTHUSIASTS) ) ).

( (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))