( (IP-MAT (NP-SBJ (D The;{the})
                  (N town;{town})
                  (PP (P-ROLE of;{of})
                      (NP (NPR Alresford;{Alresford}))))
          (VBD;_Ipr_ felt;{feel[like]})
          (PP-CLR (P-ROLE like;{like})
                  (NP (N home;{home})))
          (PP-NIM (P-ROLE from;{from})
                  (NP (D the;{the})
                      (N moment;{moment})
                      (IP-REL (NP-NIM *T*)
                              (NP-SBJ (PRO I;{I}))
                              (VBD;_Ipr_ stepped;{step[off]})
                              (PP-CLR (P-ROLE off;{off})
                                      (NP (D the;{the})
                                          (N train;{train})))
                              (PP-NIM (P-ROLE on;{on})
                                      (NP (D a;{a})
                                          (NPR Friday;{Friday})
                                          (N evening;{evening})))
                              (PP-SCON (P-CONN as;{as})
                                       (IP-ADV (NP-SBJ (N church;{church})
                                                       (NS bells;{bell}))
                                               (VBD;_I_ rang;{ring})
                                               (PP-NIM (P-ROLE in;{in})
                                                       (NP (ADJP (ADJ weekly;{weekly}))
                                                           (N practice;{practice}))))))))
          (PUNC .))
  (ID 10_a_alresford))

arc(r_0010_0001__The_r_0010_0002__town,r_0010_0004__Alresford,r_0010_0003__of).
arc(r_0010_0005__felt_r_0010_0006__like,r_0010_0001__The_r_0010_0002__town,arg0).
arc(r_0010_0005__felt_r_0010_0006__like,r_0010_0007__home,arg1).
arc(r_0010_0005__felt_r_0010_0006__like,r_0010_0009__the_r_0010_0010__moment,r_0010_0008__from__nim).
arc(r_0010_0012__stepped_r_0010_0013__off,r_0010_0009__the_r_0010_0010__moment,inv_nim).
arc(r_0010_0012__stepped_r_0010_0013__off,r_0010_0011__I,arg0).
arc(r_0010_0012__stepped_r_0010_0013__off,r_0010_0014__the_r_0010_0015__train,arg1).
arc(r_0010_0012__stepped_r_0010_0013__off,r_0010_0017__a_r_0010_0018__Friday_r_0010_0019__evening,r_0010_0016__on__nim).
arc(r_0010_0020__as,r_0010_0012__stepped_r_0010_0013__off,scope).
arc(r_0010_0020__as,r_0010_0023__rang,restriction).
arc(r_0010_0023__rang,r_0010_0021__church_r_0010_0022__bells,arg0).
arc(r_0010_0023__rang,r_0010_0026__practice,r_0010_0024__in__nim).
arc(r_0010_0026__practice,r_0010_0025__weekly,attrib).

fof(formula,axiom,
    ? [R_0010_0004__ALRESFORD,R_0010_0001__THE_R_0010_0002__TOWN,R_0010_0007__HOME,R_0010_0011__I,R_0010_0014__THE_R_0010_0015__TRAIN,R_0010_0017__A_R_0010_0018__FRIDAY_R_0010_0019__EVENING,R_0010_0012__STEPPED_R_0010_0013__OFF,R_0010_0009__THE_R_0010_0010__MOMENT,R_0010_0005__FELT_R_0010_0006__LIKE,R_0010_0021__CHURCH_R_0010_0022__BELLS,R_0010_0025__WEEKLY,R_0010_0026__PRACTICE,R_0010_0023__RANG,R_0010_0020__AS] :
      ( r_0010_0004__Alresford(R_0010_0004__ALRESFORD)
      & r_0010_0007__home(R_0010_0007__HOME)
      & r_0010_0011__I(R_0010_0011__I)
      & r_0010_0014__the_r_0010_0015__train(R_0010_0014__THE_R_0010_0015__TRAIN)
      & r_0010_0017__a_r_0010_0018__Friday_r_0010_0019__evening(R_0010_0017__A_R_0010_0018__FRIDAY_R_0010_0019__EVENING)
      & r_0010_0021__church_r_0010_0022__bells(R_0010_0021__CHURCH_R_0010_0022__BELLS)
      & r_0010_0025__weekly(R_0010_0025__WEEKLY)
      & r_0010_0020__as(R_0010_0020__AS)
      & has_conj1(R_0010_0020__AS,R_0010_0023__RANG)
      & r_0010_0023__rang(R_0010_0023__RANG)
      & has_r_0010_0024__in__nim(R_0010_0023__RANG,R_0010_0026__PRACTICE)
      & r_0010_0026__practice(R_0010_0026__PRACTICE)
      & has_attrib(R_0010_0026__PRACTICE,R_0010_0025__WEEKLY)
      & has_arg0(R_0010_0023__RANG,R_0010_0021__CHURCH_R_0010_0022__BELLS)
      & has_conj2(R_0010_0020__AS,R_0010_0012__STEPPED_R_0010_0013__OFF)
      & r_0010_0012__stepped_r_0010_0013__off(R_0010_0012__STEPPED_R_0010_0013__OFF)
      & has_r_0010_0016__on__nim(R_0010_0012__STEPPED_R_0010_0013__OFF,R_0010_0017__A_R_0010_0018__FRIDAY_R_0010_0019__EVENING)
      & has_arg1(R_0010_0012__STEPPED_R_0010_0013__OFF,R_0010_0014__THE_R_0010_0015__TRAIN)
      & has_arg0(R_0010_0012__STEPPED_R_0010_0013__OFF,R_0010_0011__I)
      & r_0010_0005__felt_r_0010_0006__like(R_0010_0005__FELT_R_0010_0006__LIKE)
      & has_r_0010_0008__from__nim(R_0010_0005__FELT_R_0010_0006__LIKE,R_0010_0009__THE_R_0010_0010__MOMENT)
      & r_0010_0009__the_r_0010_0010__moment(R_0010_0009__THE_R_0010_0010__MOMENT)
      & has_inv_nim(R_0010_0009__THE_R_0010_0010__MOMENT,R_0010_0012__STEPPED_R_0010_0013__OFF)
      & has_arg1(R_0010_0005__FELT_R_0010_0006__LIKE,R_0010_0007__HOME)
      & has_arg0(R_0010_0005__FELT_R_0010_0006__LIKE,R_0010_0001__THE_R_0010_0002__TOWN)
      & r_0010_0001__The_r_0010_0002__town(R_0010_0001__THE_R_0010_0002__TOWN)
      & has_r_0010_0003__of(R_0010_0001__THE_R_0010_0002__TOWN,R_0010_0004__ALRESFORD) ) ).