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_0021__part_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_nim71).
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_0028__the_r_0026_0029__belief, r_0026_0031__all_quant, emb77).
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, attrib83).
arc(r_0026_0036__access, r_0026_0035__daily, attrib91).
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_26_8_HAD_COMBINED,R_26_10_WORKING_SHILLS,R_26_13_A_LIBRARY,R_26_14_PUBLIC,R_26_5_TEENS,R_26_4_LATE,Z_26_A_ALRESFORD_6,R_26_3_OWN,R_26_2_MY,R_26_17_A_FOUR_YEAR_PART_TIME_DRAMA_COURSE,R_26_28_THE_BELIEF] :
      ( public(R_26_14_PUBLIC)
      & late(R_26_4_LATE)
      & own(R_26_3_OWN)
      & my(R_26_2_MY)
      & a_four_year_part_time_drama_course(R_26_17_A_FOUR_YEAR_PART_TIME_DRAMA_COURSE)
      & had_combined(R_26_8_HAD_COMBINED,R_26_2_MY,R_26_10_WORKING_SHILLS)
      & working_shills(R_26_10_WORKING_SHILLS)
      & in(R_26_10_WORKING_SHILLS,R_26_13_A_LIBRARY)
      & a_library(R_26_13_A_LIBRARY)
      & attrib39(R_26_13_A_LIBRARY,R_26_14_PUBLIC)
      & in_nim5(R_26_8_HAD_COMBINED,R_26_5_TEENS)
      & teens(R_26_5_TEENS)
      & attrib13(R_26_5_TEENS,R_26_4_LATE)
      & gen(R_26_5_TEENS,Z_26_A_ALRESFORD_6)
      & z_26_a_alresford_6(Z_26_A_ALRESFORD_6)
      & attrib10(Z_26_A_ALRESFORD_6,R_26_3_OWN)
      & gen(Z_26_A_ALRESFORD_6,R_26_2_MY)
      & with_clr47(R_26_8_HAD_COMBINED,R_26_17_A_FOUR_YEAR_PART_TIME_DRAMA_COURSE)
      & in_nim71(R_26_8_HAD_COMBINED,R_26_28_THE_BELIEF)
      & ! [R_26_33_WRITERS,R_26_32_INTENDING] :
          ( ( intending(R_26_32_INTENDING)
            & writers(R_26_33_WRITERS)
            & attrib83(R_26_33_WRITERS,R_26_32_INTENDING) )
         => ? [R_26_30_THAT_NEED,R_26_36_ACCESS,R_26_35_DAILY,R_26_39_AND,R_26_38_BOOKS,R_26_40_PLAYS] :
              ( daily(R_26_35_DAILY)
              & books(R_26_38_BOOKS)
              & plays(R_26_40_PLAYS)
              & that_need(R_26_30_THAT_NEED,R_26_33_WRITERS,R_26_36_ACCESS)
              & access(R_26_36_ACCESS)
              & attrib91(R_26_36_ACCESS,R_26_35_DAILY)
              & to(R_26_36_ACCESS,R_26_39_AND)
              & and(R_26_39_AND)
              & conj1(R_26_39_AND,R_26_38_BOOKS)
              & conj2(R_26_39_AND,R_26_40_PLAYS) ) )
      & emb77(EMB77)
      & the_belief(R_26_28_THE_BELIEF) ) ).

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