arc(r_0101_0002__go, r_0101_0001__I, arg0).
arc(r_0101_0002__go, r_0101_0004__the_r_0101_0005__Library, r_0101_0003__into_clr14).
arc(r_0101_0009__extended, r_0101_0004__the_r_0101_0005__Library, arg1).
arc(r_0101_0009__extended, r_0101_0007__much, nim24).
arc(r_0101_0009__extended, r_0101_0010__now, nim31).
arc(r_0101_0009__extended, z_000_101_a_alresford_22, arg0).
arc(r_0101_0012__and, r_0101_0002__go, conj1).
arc(r_0101_0012__and, r_0101_0014__see, conj2).
arc(r_0101_0014__see, r_0101_0001__I, arg0).
arc(r_0101_0014__see, r_0101_0013__usually, nim40).
arc(r_0101_0014__see, r_0101_0015__the_r_0101_0017__staff, arg1).
arc(r_0101_0015__the_r_0101_0017__staff, r_0101_0016__same, attrib48).
arc(r_0101_0015__the_r_0101_0017__staff, r_0101_0019__duty, r_0101_0018__on).
arc(r_0101_0021__and, r_0101_0012__and, conj1).
arc(r_0101_0021__and, r_0101_0025__is, conj2).
arc(r_0101_0025__is, r_0101_0022__the_r_0101_0023__Studio_r_0101_0024__Bookshop, arg0).
arc(r_0101_0025__is, r_0101_0027__the, prd).
arc(r_0101_0027__the, r_0101_0026__almost, qual75).
arc(r_0101_0027__the, r_0101_0028__same, attrib80).
arc(r_0101_0028__same, z_000_101_a_alresford_86, r_0101_0029__as).
arc(r_0101_0031__was, r_0101_0022__the_r_0101_0023__Studio_r_0101_0024__Bookshop, arg0).
arc(r_0101_0031__was, z_000_101_a_alresford_86, prd).

fof(formula,axiom,
    ? [R_0101_0004__THE_R_0101_0005__LIBRARY,R_0101_0007__MUCH,R_0101_0010__NOW,Z_000_101_A_ALRESFORD_22,R_0101_0009__EXTENDED,R_0101_0001__I,R_0101_0002__GO,R_0101_0013__USUALLY,R_0101_0016__SAME,R_0101_0019__DUTY,R_0101_0015__THE_R_0101_0017__STAFF,R_0101_0014__SEE,R_0101_0012__AND,R_0101_0022__THE_R_0101_0023__STUDIO_R_0101_0024__BOOKSHOP,R_0101_0026__ALMOST,Z_000_101_A_ALRESFORD_86,R_0101_0028__SAME,R_0101_0027__THE,R_0101_0025__IS,R_0101_0021__AND,R_0101_0031__WAS] :
      ( r_0101_0001__I(R_0101_0001__I)
      & r_0101_0004__the_r_0101_0005__Library(R_0101_0004__THE_R_0101_0005__LIBRARY)
      & r_0101_0007__much(R_0101_0007__MUCH)
      & r_0101_0010__now(R_0101_0010__NOW)
      & r_0101_0013__usually(R_0101_0013__USUALLY)
      & r_0101_0016__same(R_0101_0016__SAME)
      & r_0101_0019__duty(R_0101_0019__DUTY)
      & r_0101_0022__the_r_0101_0023__Studio_r_0101_0024__Bookshop(R_0101_0022__THE_R_0101_0023__STUDIO_R_0101_0024__BOOKSHOP)
      & r_0101_0026__almost(R_0101_0026__ALMOST)
      & z_000_101_a_alresford_22(Z_000_101_A_ALRESFORD_22)
      & z_000_101_a_alresford_86(Z_000_101_A_ALRESFORD_86)
      & r_0101_0031__was(R_0101_0031__WAS)
      & has_prd(R_0101_0031__WAS,Z_000_101_A_ALRESFORD_86)
      & has_arg0(R_0101_0031__WAS,R_0101_0022__THE_R_0101_0023__STUDIO_R_0101_0024__BOOKSHOP)
      & r_0101_0021__and(R_0101_0021__AND)
      & has_conj2(R_0101_0021__AND,R_0101_0025__IS)
      & r_0101_0025__is(R_0101_0025__IS)
      & has_prd(R_0101_0025__IS,R_0101_0027__THE)
      & r_0101_0027__the(R_0101_0027__THE)
      & has_attrib80(R_0101_0027__THE,R_0101_0028__SAME)
      & r_0101_0028__same(R_0101_0028__SAME)
      & has_r_0101_0029__as(R_0101_0028__SAME,Z_000_101_A_ALRESFORD_86)
      & has_qual75(R_0101_0027__THE,R_0101_0026__ALMOST)
      & has_arg0(R_0101_0025__IS,R_0101_0022__THE_R_0101_0023__STUDIO_R_0101_0024__BOOKSHOP)
      & has_conj1(R_0101_0021__AND,R_0101_0012__AND)
      & r_0101_0012__and(R_0101_0012__AND)
      & has_conj2(R_0101_0012__AND,R_0101_0014__SEE)
      & r_0101_0014__see(R_0101_0014__SEE)
      & has_arg1(R_0101_0014__SEE,R_0101_0015__THE_R_0101_0017__STAFF)
      & r_0101_0015__the_r_0101_0017__staff(R_0101_0015__THE_R_0101_0017__STAFF)
      & has_r_0101_0018__on(R_0101_0015__THE_R_0101_0017__STAFF,R_0101_0019__DUTY)
      & has_attrib48(R_0101_0015__THE_R_0101_0017__STAFF,R_0101_0016__SAME)
      & has_nim40(R_0101_0014__SEE,R_0101_0013__USUALLY)
      & has_arg0(R_0101_0014__SEE,R_0101_0001__I)
      & has_conj1(R_0101_0012__AND,R_0101_0002__GO)
      & r_0101_0002__go(R_0101_0002__GO)
      & has_r_0101_0003__into_clr14(R_0101_0002__GO,R_0101_0004__THE_R_0101_0005__LIBRARY)
      & has_arg0(R_0101_0002__GO,R_0101_0001__I)
      & r_0101_0009__extended(R_0101_0009__EXTENDED)
      & has_arg0(R_0101_0009__EXTENDED,Z_000_101_A_ALRESFORD_22)
      & has_nim31(R_0101_0009__EXTENDED,R_0101_0010__NOW)
      & has_nim24(R_0101_0009__EXTENDED,R_0101_0007__MUCH)
      & has_arg1(R_0101_0009__EXTENDED,R_0101_0004__THE_R_0101_0005__LIBRARY) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (ILYR (ILYR (VBP;_Ipr_ go;{go[into]})
                                  (PP-CLR (P-ROLE into;{into})
                                          (NP (D the;{the})
                                              (N Library;{library})
                                              (PULB -LRB-)
                                              (IP-PPL (NP-LGS *)
                                                      (ADVP-NIM (ADV much;{much}))
                                                      (PUNC <hyphen>)
                                                      (VVN;_Tn_ extended;{extend})
                                                      (ADVP-NIM (ADV now;{now})))
                                              (PURB -RRB-))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (ADVP-NIM (ADV usually;{usually}))
                                         (VB;_Tn_ see;{see})
                                         (NP-OB1 (D the;{the})
                                                 (ADJP (ADJ same;{same}))
                                                 (N staff;{staff})
                                                 (PP (P-ROLE on;{on})
                                                     (NP (N duty;{duty}))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{STUDIO_BOOKSHOP} (D the;{the})
                                                       (NPR Studio;{Studio})
                                                       (NPR Bookshop;{Bookshop}))
                             (BEP;_Ln_ is;{be})
                             (NP-PRD (ADVP (ADV almost;{almost}))
                                     (D the;{the})
                                     (ADJP (ADJ same;{same})
                                           (PP (P-ROLE as;{as})
                                               (NP (IP-REL (NP-PRD *T*)
                                                           (NP-SBJ;{STUDIO_BOOKSHOP} (PRO it;{it}))
                                                           (BED;_Ln_ was;{be})))))))))
          (PUNC .))
  (ID 101_a_alresford))