arc(r_0067_0007__others, r_0067_0006__many, attrib27).
arc(r_0067_0009__made, r_0067_0007__others, arg0).
arc(r_0067_0009__made, r_0067_0011__time, arg1).
arc(r_0067_0009__made, r_0067_0015__enjoyable, prd).
arc(r_0067_0011__time, r_0067_0010__my, gen).
arc(r_0067_0011__time, r_0067_0013__Alresford, r_0067_0012__in).
arc(r_0067_0015__enjoyable, r_0067_0014__so, qual51).
arc(r_0067_0017__are, r_0067_0001__Sadly, nim4).
arc(r_0067_0017__are, r_0067_0007__others, r_0067_0005__like_nim26).
arc(r_0067_0017__are, r_0067_0018__no_longer, nim60).
arc(r_0067_0017__are, r_0067_0020__us, r_0067_0019__with_clr66).
arc(r_0067_0017__are, z_000_67_a_alresford_10, arg0).
arc(r_0067_0022__and, r_0067_0017__are, conj1).
arc(r_0067_0022__and, r_0067_0025__must, conj2).
arc(r_0067_0025__must, r_0067_0026__feel, scope).
arc(r_0067_0026__feel, r_0067_0023__the_r_0067_0024__town, arg0).
arc(r_0067_0026__feel, r_0067_0028__loss, arg1).
arc(r_0067_0028__loss, z_000_67_a_alresford_10, gen).
arc(z_000_67_a_alresford_10, r_0067_1001____star__, conj1).
arc(z_000_67_a_alresford_10, r_0067_1002____star__, conj2).

fof(formula,axiom,
    ? [R_0067_0006__MANY,R_0067_0007__OTHERS,R_0067_0010__MY,R_0067_0013__ALRESFORD,R_0067_0011__TIME,R_0067_0014__SO,R_0067_0015__ENJOYABLE,R_0067_0009__MADE,R_0067_0001__SADLY,R_0067_0018__NO_LONGER,R_0067_0020__US,R_0067_1001____STAR__,R_0067_1002____STAR__,Z_000_67_A_ALRESFORD_10,R_0067_0017__ARE,R_0067_0023__THE_R_0067_0024__TOWN,R_0067_0028__LOSS,R_0067_0025__MUST_R_0067_0026__FEEL,R_0067_0022__AND] :
      ( r_0067_0001__Sadly(R_0067_0001__SADLY)
      & r_0067_0006__many(R_0067_0006__MANY)
      & r_0067_0010__my(R_0067_0010__MY)
      & r_0067_0013__Alresford(R_0067_0013__ALRESFORD)
      & r_0067_0014__so(R_0067_0014__SO)
      & r_0067_0018__no_longer(R_0067_0018__NO_LONGER)
      & r_0067_0020__us(R_0067_0020__US)
      & r_0067_0023__the_r_0067_0024__town(R_0067_0023__THE_R_0067_0024__TOWN)
      & r_0067_1001____star__(R_0067_1001____STAR__)
      & r_0067_1002____star__(R_0067_1002____STAR__)
      & r_0067_0022__and(R_0067_0022__AND)
      & has_conj2(R_0067_0022__AND,R_0067_0025__MUST_R_0067_0026__FEEL)
      & r_0067_0025__must_r_0067_0026__feel(R_0067_0025__MUST_R_0067_0026__FEEL)
      & has_arg1(R_0067_0025__MUST_R_0067_0026__FEEL,R_0067_0028__LOSS)
      & r_0067_0028__loss(R_0067_0028__LOSS)
      & has_gen(R_0067_0028__LOSS,Z_000_67_A_ALRESFORD_10)
      & z_000_67_a_alresford_10(Z_000_67_A_ALRESFORD_10)
      & has_conj2(Z_000_67_A_ALRESFORD_10,R_0067_1002____STAR__)
      & has_conj1(Z_000_67_A_ALRESFORD_10,R_0067_1001____STAR__)
      & has_arg0(R_0067_0025__MUST_R_0067_0026__FEEL,R_0067_0023__THE_R_0067_0024__TOWN)
      & has_conj1(R_0067_0022__AND,R_0067_0017__ARE)
      & r_0067_0017__are(R_0067_0017__ARE)
      & has_arg0(R_0067_0017__ARE,Z_000_67_A_ALRESFORD_10)
      & has_r_0067_0019__with_clr66(R_0067_0017__ARE,R_0067_0020__US)
      & has_nim60(R_0067_0017__ARE,R_0067_0018__NO_LONGER)
      & has_r_0067_0005__like_nim26(R_0067_0017__ARE,R_0067_0007__OTHERS)
      & r_0067_0007__others(R_0067_0007__OTHERS)
      & has_attrib27(R_0067_0007__OTHERS,R_0067_0006__MANY)
      & has_nim4(R_0067_0017__ARE,R_0067_0001__SADLY)
      & r_0067_0009__made(R_0067_0009__MADE)
      & has_prd(R_0067_0009__MADE,R_0067_0015__ENJOYABLE)
      & r_0067_0015__enjoyable(R_0067_0015__ENJOYABLE)
      & has_qual51(R_0067_0015__ENJOYABLE,R_0067_0014__SO)
      & has_arg1(R_0067_0009__MADE,R_0067_0011__TIME)
      & r_0067_0011__time(R_0067_0011__TIME)
      & has_r_0067_0012__in(R_0067_0011__TIME,R_0067_0013__ALRESFORD)
      & has_gen(R_0067_0011__TIME,R_0067_0010__MY)
      & has_arg0(R_0067_0009__MADE,R_0067_0007__OTHERS) ) ).

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Sadly;{sadly}))
                      (PUNC ,)
                      (NP-DSC;{GRIST_ADAMS} (NLYR (NLYR;{GRIST} (PRO _*_))
                                                  (CONJP (NLYR;{ADAMS} (PRO _*_)))))
                      (NP-SBJ;{GRIST_ADAMS} (PRO they;{they}))
                      (PUNC ,)
                      (PP-NIM (P-ROLE like;{like})
                              (NP (ADJP (ADJ many;{many}))
                                  (NS others;{other})
                                  (IP-REL (NP-SBJ (RPRO who;{who}))
                                          (VBD;_Cn.a_ made;{make})
                                          (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                                  (N time;{time})
                                                  (PP (P-ROLE in;{in})
                                                      (NP (NPR Alresford;{Alresford}))))
                                          (ADJP-PRD (ADVP (ADV so;{so}))
                                                    (ADJ enjoyable;{enjoyable})))))
                      (PUNC ,)
                      (BEP;_Ipr_ are;{be[with]})
                      (ADVP-NIM (ADV no_longer;{no_longer}))
                      (PP-CLR (P-ROLE with;{with})
                              (NP (PRO us;{we}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N town;{town}))
                             (MD;_cat_Vi_ must;{must})
                             (IP-INF-CAT (VB;_Tn_ feel;{feel})
                                         (NP-OB1 (NP-GEN;{GRIST_ADAMS} (PRO;_genm_ their;{their}))
                                                 (N loss;{loss}))))))
          (PUNC .))
  (ID 67_a_alresford))