arc(r_0097_0002__had, r_0097_0001__I, arg0).
arc(r_0097_0002__had, r_0097_0003__openings, arg1).
arc(r_0097_0003__openings, z_000_97_a_alresford_16, r_0097_0004__for).
arc(r_0097_0006__plays, r_0097_0005__single, attrib18).
arc(r_0097_0018__and, r_0097_0002__had, conj1).
arc(r_0097_0018__and, r_0097_0027__seemed, conj2).
arc(r_0097_0021__a_r_0097_0022__move, r_0097_0024__up, qual75).
arc(r_0097_0024__up, r_0097_0025__north, nim78).
arc(r_0097_0027__seemed, r_0097_0020__1980, r_0097_0019__by_nim65).
arc(r_0097_0027__seemed, r_0097_0028__to_r_0097_0029__offer, scope).
arc(r_0097_0028__to_r_0097_0029__offer, r_0097_0021__a_r_0097_0022__move, arg0).
arc(r_0097_0028__to_r_0097_0029__offer, r_0097_0030__a_r_0097_0031__glimmer, arg1).
arc(r_0097_0030__a_r_0097_0031__glimmer, r_0097_0034__security, r_0097_0032__of).
arc(r_0097_0034__security, r_0097_0033__financial, attrib99).
arc(z_000_97_a_alresford_16, r_0097_0006__plays, conj1).
arc(z_000_97_a_alresford_16, r_0097_0008__series_r_0097_0009__episodes, conj2).
arc(z_000_97_a_alresford_16, z_000_97_a_alresford_34, conj3).
arc(z_000_97_a_alresford_34, r_0097_0011__more, attrib35).

fof(formula,axiom,
    ? [R_0097_0001__I,R_0097_0005__SINGLE,R_0097_0006__PLAYS,R_0097_0008__SERIES_R_0097_0009__EPISODES,R_0097_0011__MORE,Z_000_97_A_ALRESFORD_34,Z_000_97_A_ALRESFORD_16,R_0097_0003__OPENINGS,R_0097_0002__HAD,R_0097_0020__1980,R_0097_0025__NORTH,R_0097_0024__UP,R_0097_0021__A_R_0097_0022__MOVE,R_0097_0033__FINANCIAL,R_0097_0034__SECURITY,R_0097_0030__A_R_0097_0031__GLIMMER,R_0097_0027__SEEMED_R_0097_0028__TO_R_0097_0029__OFFER,R_0097_0018__AND] :
      ( r_0097_0001__I(R_0097_0001__I)
      & r_0097_0005__single(R_0097_0005__SINGLE)
      & r_0097_0008__series_r_0097_0009__episodes(R_0097_0008__SERIES_R_0097_0009__EPISODES)
      & r_0097_0011__more(R_0097_0011__MORE)
      & r_0097_0020__1980(R_0097_0020__1980)
      & r_0097_0025__north(R_0097_0025__NORTH)
      & r_0097_0033__financial(R_0097_0033__FINANCIAL)
      & r_0097_0018__and(R_0097_0018__AND)
      & has_conj2(R_0097_0018__AND,R_0097_0027__SEEMED_R_0097_0028__TO_R_0097_0029__OFFER)
      & r_0097_0027__seemed_r_0097_0028__to_r_0097_0029__offer(R_0097_0027__SEEMED_R_0097_0028__TO_R_0097_0029__OFFER)
      & has_arg1(R_0097_0027__SEEMED_R_0097_0028__TO_R_0097_0029__OFFER,R_0097_0030__A_R_0097_0031__GLIMMER)
      & r_0097_0030__a_r_0097_0031__glimmer(R_0097_0030__A_R_0097_0031__GLIMMER)
      & has_r_0097_0032__of(R_0097_0030__A_R_0097_0031__GLIMMER,R_0097_0034__SECURITY)
      & r_0097_0034__security(R_0097_0034__SECURITY)
      & has_attrib99(R_0097_0034__SECURITY,R_0097_0033__FINANCIAL)
      & has_arg0(R_0097_0027__SEEMED_R_0097_0028__TO_R_0097_0029__OFFER,R_0097_0021__A_R_0097_0022__MOVE)
      & r_0097_0021__a_r_0097_0022__move(R_0097_0021__A_R_0097_0022__MOVE)
      & has_qual75(R_0097_0021__A_R_0097_0022__MOVE,R_0097_0024__UP)
      & r_0097_0024__up(R_0097_0024__UP)
      & has_nim78(R_0097_0024__UP,R_0097_0025__NORTH)
      & has_r_0097_0019__by_nim65(R_0097_0027__SEEMED_R_0097_0028__TO_R_0097_0029__OFFER,R_0097_0020__1980)
      & has_conj1(R_0097_0018__AND,R_0097_0002__HAD)
      & r_0097_0002__had(R_0097_0002__HAD)
      & has_arg1(R_0097_0002__HAD,R_0097_0003__OPENINGS)
      & r_0097_0003__openings(R_0097_0003__OPENINGS)
      & has_r_0097_0004__for(R_0097_0003__OPENINGS,Z_000_97_A_ALRESFORD_16)
      & z_000_97_a_alresford_16(Z_000_97_A_ALRESFORD_16)
      & has_conj3(Z_000_97_A_ALRESFORD_16,Z_000_97_A_ALRESFORD_34)
      & z_000_97_a_alresford_34(Z_000_97_A_ALRESFORD_34)
      & has_attrib35(Z_000_97_A_ALRESFORD_34,R_0097_0011__MORE)
      & has_conj2(Z_000_97_A_ALRESFORD_16,R_0097_0008__SERIES_R_0097_0009__EPISODES)
      & has_conj1(Z_000_97_A_ALRESFORD_16,R_0097_0006__PLAYS)
      & r_0097_0006__plays(R_0097_0006__PLAYS)
      & has_attrib18(R_0097_0006__PLAYS,R_0097_0005__SINGLE)
      & has_arg0(R_0097_0002__HAD,R_0097_0001__I) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (HVD;_Tn_ had;{have})
                      (NP-OB1 (NS openings;{opening})
                              (PP (P-ROLE for;{for})
                                  (NP (NLYR (NLYR (ADJP (ADJ single;{single}))
                                                  (NS plays;{play}))
                                            (PUNC ,)
                                            (CONJP (NLYR (N series;{series})
                                                         (NS episodes;{episode})))
                                            (PUNC ,)
                                            (CONJP (NLYR (ADJP (ADJR more;{more}))
                                                         (PRN (CP-QUE (IP-SUB (ADVP-162 (WADV How;{how}))
                                                                              (NP-SBJ (PRO We;{we}))
                                                                              (MD;_cat_Vt_ Used;{used})
                                                                              (IP-INF-CAT (ADVP-NIM *ICH*-162)
                                                                                          (TO To;{to})
                                                                                          (VB;_I_ Live;{live}))))))))))))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE by;{by})
                                     (NP (NPR 1980)))
                             (NP-SBJ (D a;{a})
                                     (N move;{move})
                                     (PULQ <lsquo>)
                                     (ADVP (ADV up;{up})
                                           (NP (N north;{north})))
                                     (PURQ <rsquo>))
                             (VBD;_cat_Vt_ seemed;{seem})
                             (IP-INF-CAT (TO to;{to})
                                         (VB;_Tn_ offer;{offer})
                                         (NP-OB1 (D a;{a})
                                                 (N glimmer;{glimmer})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (ADJP (ADJ financial;{financial}))
                                                         (N security;{security}))))))))
          (PUNC .))
  (ID 97_a_alresford))