( (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})
                                  (NLYR (NUM four;{four})
                                        (PUNC <hyphen>)
                                        (N year;{year}))
                                  (NLYR (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))

arc(r_0026_0005__teens,r_0026_0004__late,attrib).
arc(r_0026_0005__teens,z_0026_5004,gen).
arc(r_0026_0008__had,r_0026_0005__teens,r_0026_0001__In__nim).
arc(r_0026_0008__had,r_0026_0009__combined_r_0026_0016__with,scope).
arc(r_0026_0009__combined_r_0026_0016__with,r_0026_0002__my,arg0).
arc(r_0026_0009__combined_r_0026_0016__with,r_0026_0010__working_r_0026_0011__shills,arg1).
arc(r_0026_0009__combined_r_0026_0016__with,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,arg2).
arc(r_0026_0009__combined_r_0026_0016__with,r_0026_0028__the_r_0026_0029__belief,r_0026_0027__in__nim).
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,attrib).
arc(r_0026_0028__the_r_0026_0029__belief,r_0026_0031__all__quant,emb).
arc(r_0026_0031__all__quant,r_0026_0033__writers,restriction).
arc(r_0026_0031__all__quant,r_0026_0034__need,scope).
arc(r_0026_0033__writers,r_0026_0032__intending,attrib).
arc(r_0026_0034__need,r_0026_0033__writers,arg0).
arc(r_0026_0034__need,r_0026_0036__access,arg1).
arc(r_0026_0036__access,r_0026_0035__daily,attrib).
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_0026_5004,r_0026_0002__my,gen).
arc(z_0026_5004,r_0026_0003__own,attrib).

fof(formula,axiom,
    ? [R_0026_0004__LATE,R_0026_0002__MY,R_0026_0003__OWN,Z_0026_5004,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_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_0028__THE_R_0026_0029__BELIEF,R_0026_0008__HAD_R_0026_0009__COMBINED_R_0026_0016__WITH] :
      ( 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_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_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_0008__had_r_0026_0009__combined_r_0026_0016__with(R_0026_0008__HAD_R_0026_0009__COMBINED_R_0026_0016__WITH)
      & has_r_0026_0027__in__nim(R_0026_0008__HAD_R_0026_0009__COMBINED_R_0026_0016__WITH,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_attrib(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_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_0034__need(R_0026_0034__NEED)
              & has_arg1(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_attrib(R_0026_0036__ACCESS,R_0026_0035__DAILY)
              & has_arg0(R_0026_0034__NEED,R_0026_0033__WRITERS) ) )
      & has_arg2(R_0026_0008__HAD_R_0026_0009__COMBINED_R_0026_0016__WITH,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)
      & has_arg1(R_0026_0008__HAD_R_0026_0009__COMBINED_R_0026_0016__WITH,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_attrib(R_0026_0013__A_R_0026_0015__LIBRARY,R_0026_0014__PUBLIC)
      & has_arg0(R_0026_0008__HAD_R_0026_0009__COMBINED_R_0026_0016__WITH,R_0026_0002__MY)
      & has_r_0026_0001__In__nim(R_0026_0008__HAD_R_0026_0009__COMBINED_R_0026_0016__WITH,R_0026_0005__TEENS)
      & r_0026_0005__teens(R_0026_0005__TEENS)
      & has_gen(R_0026_0005__TEENS,Z_0026_5004)
      & z_0026_5004(Z_0026_5004)
      & has_attrib(Z_0026_5004,R_0026_0003__OWN)
      & has_gen(Z_0026_5004,R_0026_0002__MY)
      & has_attrib(R_0026_0005__TEENS,R_0026_0004__LATE) ) ).