arc(r_0026_0005__teens, r_0026_0004__late, attrib13).
arc(r_0026_0005__teens, z_000_26_a_alresford_6, gen).
arc(r_0026_0008__had, r_0026_0005__teens, r_0026_0001__In_nim5).
arc(r_0026_0008__had, r_0026_0009__combined, scope).
arc(r_0026_0009__combined, r_0026_0002__my, arg0).
arc(r_0026_0009__combined, r_0026_0010__working_r_0026_0011__shills, arg1).
arc(r_0026_0009__combined, r_0026_0017__a_r_0026_0018__four_r_0026_0020__year_r_0026_0023__time_r_0026_0024__drama_r_0026_0025__course, r_0026_0016__with_clr47).
arc(r_0026_0009__combined, r_0026_0028__the_r_0026_0029__belief, r_0026_0027__in_nim72).
arc(r_0026_0010__working_r_0026_0011__shills, r_0026_0013__a_r_0026_0015__library, r_0026_0012__in).
arc(r_0026_0013__a_r_0026_0015__library, r_0026_0014__public, attrib39).
arc(r_0026_0017__a_r_0026_0018__four_r_0026_0020__year_r_0026_0023__time_r_0026_0024__drama_r_0026_0025__course, r_0026_0021__part, attrib56).
arc(r_0026_0028__the_r_0026_0029__belief, r_0026_0031__all_quant, emb78).
arc(r_0026_0030__that_r_0026_0034__need, r_0026_0033__writers, arg0).
arc(r_0026_0030__that_r_0026_0034__need, r_0026_0036__access, arg1).
arc(r_0026_0031__all_quant, r_0026_0030__that_r_0026_0034__need, scope).
arc(r_0026_0031__all_quant, r_0026_0033__writers, restriction).
arc(r_0026_0033__writers, r_0026_0032__intending, attrib84).
arc(r_0026_0036__access, r_0026_0035__daily, attrib92).
arc(r_0026_0036__access, r_0026_0039__and, r_0026_0037__to).
arc(r_0026_0039__and, r_0026_0038__books, conj1).
arc(r_0026_0039__and, r_0026_0040__plays, conj2).
arc(z_000_26_a_alresford_6, r_0026_0002__my, gen).
arc(z_000_26_a_alresford_6, r_0026_0003__own, attrib10).

fof(formula,axiom,
    ? [R_0026_0004__LATE,R_0026_0002__MY,R_0026_0003__OWN,Z_000_26_A_ALRESFORD_6,R_0026_0005__TEENS,R_0026_0014__PUBLIC,R_0026_0013__A_R_0026_0015__LIBRARY,R_0026_0010__WORKING_R_0026_0011__SHILLS,R_0026_0021__PART,R_0026_0017__A_R_0026_0018__FOUR_R_0026_0020__YEAR_R_0026_0023__TIME_R_0026_0024__DRAMA_R_0026_0025__COURSE,R_0026_0028__THE_R_0026_0029__BELIEF,R_0026_0008__HAD_R_0026_0009__COMBINED] :
      ( r_0026_0002__my(R_0026_0002__MY)
      & r_0026_0003__own(R_0026_0003__OWN)
      & r_0026_0004__late(R_0026_0004__LATE)
      & r_0026_0014__public(R_0026_0014__PUBLIC)
      & r_0026_0021__part(R_0026_0021__PART)
      & r_0026_0008__had_r_0026_0009__combined(R_0026_0008__HAD_R_0026_0009__COMBINED)
      & has_r_0026_0027__in_nim72(R_0026_0008__HAD_R_0026_0009__COMBINED,R_0026_0028__THE_R_0026_0029__BELIEF)
      & r_0026_0028__the_r_0026_0029__belief(R_0026_0028__THE_R_0026_0029__BELIEF)
      & ! [R_0026_0033__WRITERS,R_0026_0032__INTENDING] :
          ( ( r_0026_0032__intending(R_0026_0032__INTENDING)
            & r_0026_0033__writers(R_0026_0033__WRITERS)
            & has_attrib84(R_0026_0033__WRITERS,R_0026_0032__INTENDING) )
         => ? [R_0026_0035__DAILY,R_0026_0038__BOOKS,R_0026_0040__PLAYS,R_0026_0039__AND,R_0026_0036__ACCESS,R_0026_0030__THAT_R_0026_0034__NEED] :
              ( r_0026_0035__daily(R_0026_0035__DAILY)
              & r_0026_0038__books(R_0026_0038__BOOKS)
              & r_0026_0040__plays(R_0026_0040__PLAYS)
              & r_0026_0030__that_r_0026_0034__need(R_0026_0030__THAT_R_0026_0034__NEED)
              & has_arg1(R_0026_0030__THAT_R_0026_0034__NEED,R_0026_0036__ACCESS)
              & r_0026_0036__access(R_0026_0036__ACCESS)
              & has_r_0026_0037__to(R_0026_0036__ACCESS,R_0026_0039__AND)
              & r_0026_0039__and(R_0026_0039__AND)
              & has_conj2(R_0026_0039__AND,R_0026_0040__PLAYS)
              & has_conj1(R_0026_0039__AND,R_0026_0038__BOOKS)
              & has_attrib92(R_0026_0036__ACCESS,R_0026_0035__DAILY)
              & has_arg0(R_0026_0030__THAT_R_0026_0034__NEED,R_0026_0033__WRITERS) ) )
      & has_r_0026_0016__with_clr47(R_0026_0008__HAD_R_0026_0009__COMBINED,R_0026_0017__A_R_0026_0018__FOUR_R_0026_0020__YEAR_R_0026_0023__TIME_R_0026_0024__DRAMA_R_0026_0025__COURSE)
      & r_0026_0017__a_r_0026_0018__four_r_0026_0020__year_r_0026_0023__time_r_0026_0024__drama_r_0026_0025__course(R_0026_0017__A_R_0026_0018__FOUR_R_0026_0020__YEAR_R_0026_0023__TIME_R_0026_0024__DRAMA_R_0026_0025__COURSE)
      & has_attrib56(R_0026_0017__A_R_0026_0018__FOUR_R_0026_0020__YEAR_R_0026_0023__TIME_R_0026_0024__DRAMA_R_0026_0025__COURSE,R_0026_0021__PART)
      & has_arg1(R_0026_0008__HAD_R_0026_0009__COMBINED,R_0026_0010__WORKING_R_0026_0011__SHILLS)
      & r_0026_0010__working_r_0026_0011__shills(R_0026_0010__WORKING_R_0026_0011__SHILLS)
      & has_r_0026_0012__in(R_0026_0010__WORKING_R_0026_0011__SHILLS,R_0026_0013__A_R_0026_0015__LIBRARY)
      & r_0026_0013__a_r_0026_0015__library(R_0026_0013__A_R_0026_0015__LIBRARY)
      & has_attrib39(R_0026_0013__A_R_0026_0015__LIBRARY,R_0026_0014__PUBLIC)
      & has_arg0(R_0026_0008__HAD_R_0026_0009__COMBINED,R_0026_0002__MY)
      & has_r_0026_0001__In_nim5(R_0026_0008__HAD_R_0026_0009__COMBINED,R_0026_0005__TEENS)
      & r_0026_0005__teens(R_0026_0005__TEENS)
      & has_gen(R_0026_0005__TEENS,Z_000_26_A_ALRESFORD_6)
      & z_000_26_a_alresford_6(Z_000_26_A_ALRESFORD_6)
      & has_attrib10(Z_000_26_A_ALRESFORD_6,R_0026_0003__OWN)
      & has_gen(Z_000_26_A_ALRESFORD_6,R_0026_0002__MY)
      & has_attrib13(R_0026_0005__TEENS,R_0026_0004__LATE) ) ).

( (IP-MAT (PP-TPC-NIM (P-ROLE In;{in})
                      (NP (NP-GEN (NP-GEN (PRO;_genm_ my;{my}))
                                  (ADJP (ADJ own;{own})))
                          (ADJP (ADJ late;{late}))
                          (NS teens;{teens})))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (VVN;_Tn.pr_ combined;{combine[with]})
                      (NP-OB1 (N working;{working})
                              (NS shills;{shill})
                              (PP (P-ROLE in;{in})
                                  (NP (D a;{a})
                                      (ADJP (ADJ public;{public}))
                                      (N library;{library}))))
                      (PP-CLR (P-ROLE with;{with})
                              (NP (D a;{a})
                                  (NUM four;{four})
                                  (PUNC <hyphen>)
                                  (N year;{year})
                                  (ADJP (ADJ part;{part}))
                                  (PUNC <hyphen>)
                                  (N time;{time})
                                  (N drama;{drama})
                                  (N course;{course})))
                      (PUNC ,)
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N belief;{belief})
                                  (CP-THT (IP-SUB (C that;{that})
                                                  (NP-SBJ (Q all;{all})
                                                          (ADJP (ADJ intending;{intending}))
                                                          (NS writers;{writer}))
                                                  (VBP;_Tn_ need;{need})
                                                  (NP-OB1 (ADJP (ADJ daily;{daily}))
                                                          (N access;{access})
                                                          (PP (P-ROLE to;{to})
                                                              (NP (NLYR (NLYR (NS books;{book}))
                                                                        (CONJP (CONJ and;{and})
                                                                               (NLYR (NS plays;{play}))))))))))))
          (PUNC !))
  (ID 26_a_alresford))