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_101_9_EXTENDED,Z_101_A_ALRESFORD_22,R_101_7_MUCH,R_101_10_NOW,R_101_21_AND,R_101_12_AND,R_101_2_GO,R_101_4_THE_LIBRARY,R_101_14_SEE,R_101_1_I,R_101_15_THE_STAFF,R_101_16_SAME,R_101_19_DUTY,R_101_13_USUALLY,R_101_25_IS,R_101_27_THE,R_101_28_SAME,R_101_26_ALMOST,R_101_31_WAS,R_101_22_THE_STUDIO_BOOKSHOP,Z_101_A_ALRESFORD_86] :
      ( much(R_101_7_MUCH)
      & now(R_101_10_NOW)
      & the_Library(R_101_4_THE_LIBRARY)
      & i(R_101_1_I)
      & same(R_101_16_SAME)
      & duty(R_101_19_DUTY)
      & usually(R_101_13_USUALLY)
      & almost(R_101_26_ALMOST)
      & the_Studio_Bookshop(R_101_22_THE_STUDIO_BOOKSHOP)
      & extended(R_101_9_EXTENDED,Z_101_A_ALRESFORD_22,R_101_4_THE_LIBRARY)
      & nim24(R_101_9_EXTENDED,R_101_7_MUCH)
      & nim31(R_101_9_EXTENDED,R_101_10_NOW)
      & and(R_101_21_AND)
      & conj1(R_101_21_AND,R_101_12_AND)
      & and(R_101_12_AND)
      & conj1(R_101_12_AND,R_101_2_GO)
      & go(R_101_2_GO,R_101_1_I)
      & into_clr14(R_101_2_GO,R_101_4_THE_LIBRARY)
      & conj2(R_101_12_AND,R_101_14_SEE)
      & see(R_101_14_SEE,R_101_1_I,R_101_15_THE_STAFF)
      & the_staff(R_101_15_THE_STAFF)
      & attrib48(R_101_15_THE_STAFF,R_101_16_SAME)
      & on(R_101_15_THE_STAFF,R_101_19_DUTY)
      & nim40(R_101_14_SEE,R_101_13_USUALLY)
      & conj2(R_101_21_AND,R_101_25_IS)
      & is(R_101_25_IS,R_101_22_THE_STUDIO_BOOKSHOP,R_101_27_THE)
      & the(R_101_27_THE)
      & attrib80(R_101_27_THE,R_101_28_SAME)
      & same(R_101_28_SAME)
      & as(R_101_28_SAME,Z_101_A_ALRESFORD_86)
      & qual75(R_101_27_THE,R_101_26_ALMOST)
      & was(R_101_31_WAS,R_101_22_THE_STUDIO_BOOKSHOP,Z_101_A_ALRESFORD_86) ) ).

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