arc(r_0016_0001__When, r_0016_0003__knew, restriction).
arc(r_0016_0001__When, z_000_16_a_joyce_1914_37, scope).
arc(r_0016_0003__knew, r_0016_0002__we, arg0).
arc(r_0016_0003__knew, r_0016_0004__him, arg1).
arc(r_0016_0003__knew, r_0016_0005__first, nim16).
arc(r_0016_0007__used, r_0016_0008__to_r_0016_0009__be, scope).
arc(r_0016_0008__to_r_0016_0009__be, r_0016_0006__he, arg0).
arc(r_0016_0008__to_r_0016_0009__be, r_0016_0011__interesting, prd).
arc(r_0016_0011__interesting, r_0016_0010__rather, qual30).
arc(r_0016_0013__talking, r_0016_0006__he, arg0).
arc(r_0016_0013__talking, r_0016_0016__and, r_0016_0014__of_clr44).
arc(r_0016_0016__and, r_0016_0015__faints, conj1).
arc(r_0016_0016__and, r_0016_0017__worms, conj2).
arc(r_0016_0019__but, r_0016_0001__When, conj1).
arc(r_0016_0019__but, r_0016_0022__grew, conj2).
arc(r_0016_0022__grew, r_0016_0020__I, arg0).
arc(r_0016_0022__grew, r_0016_0021__soon, nim64).
arc(r_0016_0022__grew, r_0016_0023__tired, prd).
arc(r_0016_0023__tired, r_0016_0026__and, r_0016_0024__of).
arc(r_0016_0026__and, r_0016_0025__him, conj1).
arc(r_0016_0026__and, r_0016_0029__stories, conj2).
arc(r_0016_0029__stories, r_0016_0025__him, gen).
arc(r_0016_0029__stories, r_0016_0028__endless, attrib87).
arc(r_0016_0029__stories, r_0016_0031__the_r_0016_0032__distillery, r_0016_0030__about).
arc(z_000_16_a_joyce_1914_37, r_0016_0007__used, scope).
arc(z_000_16_a_joyce_1914_37, r_0016_0013__talking, restriction).

fof(formula,axiom,
    ? [R_16_19_BUT,R_16_22_GREW,R_16_20_I,R_16_21_SOON,R_16_23_TIRED,R_16_26_AND,R_16_29_STORIES,R_16_28_ENDLESS,R_16_25_HIM,R_16_31_THE_DISTILLERY] :
      ( i(R_16_20_I)
      & soon(R_16_21_SOON)
      & endless(R_16_28_ENDLESS)
      & him(R_16_25_HIM)
      & the_distillery(R_16_31_THE_DISTILLERY)
      & ! [R_16_3_KNEW,R_16_2_WE,R_16_4_HIM,R_16_5_FIRST] :
          ( ( we(R_16_2_WE)
            & him(R_16_4_HIM)
            & first(R_16_5_FIRST)
            & knew(R_16_3_KNEW,R_16_2_WE,R_16_4_HIM)
            & nim16(R_16_3_KNEW,R_16_5_FIRST) )
         => ? [Z_16_A_JOYCE_1914_37,R_16_13_TALKING,R_16_16_AND,R_16_15_FAINTS,R_16_17_WORMS,R_16_7_USED_TO_BE,R_16_6_HE,R_16_11_INTERESTING,R_16_10_RATHER] :
              ( faints(R_16_15_FAINTS)
              & worms(R_16_17_WORMS)
              & he(R_16_6_HE)
              & rather(R_16_10_RATHER)
              & z_16_a_joyce_1914_37(Z_16_A_JOYCE_1914_37)
              & conj1(Z_16_A_JOYCE_1914_37,R_16_13_TALKING)
              & talking(R_16_13_TALKING,R_16_6_HE)
              & of_clr44(R_16_13_TALKING,R_16_16_AND)
              & and(R_16_16_AND)
              & conj1(R_16_16_AND,R_16_15_FAINTS)
              & conj2(R_16_16_AND,R_16_17_WORMS)
              & conj2(Z_16_A_JOYCE_1914_37,R_16_7_USED_TO_BE)
              & used_to_be(R_16_7_USED_TO_BE,R_16_6_HE,R_16_11_INTERESTING)
              & interesting(R_16_11_INTERESTING)
              & qual30(R_16_11_INTERESTING,R_16_10_RATHER) ) )
      & conj1(CONJ1)
      & but(R_16_19_BUT)
      & conj2(R_16_19_BUT,R_16_22_GREW)
      & grew(R_16_22_GREW,R_16_20_I,R_16_23_TIRED)
      & tired(R_16_23_TIRED)
      & of(R_16_23_TIRED,R_16_26_AND)
      & and(R_16_26_AND)
      & conj1(R_16_26_AND,R_16_25_HIM)
      & conj2(R_16_26_AND,R_16_29_STORIES)
      & stories(R_16_29_STORIES)
      & attrib87(R_16_29_STORIES,R_16_28_ENDLESS)
      & gen(R_16_29_STORIES,R_16_25_HIM)
      & about(R_16_29_STORIES,R_16_31_THE_DISTILLERY)
      & nim64(R_16_22_GREW,R_16_21_SOON) ) ).

( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN When;{when})
                               (IP-ADV (NP-SBJ;{SPEAKER_AUNT_UNCLE} (PRO we;{we}))
                                       (VBD;_Tn_ knew;{know})
                                       (NP-OB1;{COTTER} (PRO him;{he}))
                                       (ADVP-NIM (ADV first;{first}))))
                      (NP-SBJ;{COTTER} (PRO he;{he}))
                      (MD;_cat_Vt_ used;{used})
                      (IP-INF-CAT (TO to;{to})
                                  (BE;_La_ be;{be})
                                  (ADJP-PRD (ADVP (ADVR rather;{rather}))
                                            (ADJ interesting;{interesting})))
                      (PUNC ,)
                      (PP-SCON (IP-PPL (VAG;_Ipr_ talking;{talk[of]})
                                       (PP-CLR (P-ROLE of;{of})
                                               (NP (NLYR (NLYR (NS faints;{faint}))
                                                         (CONJP (CONJ and;{and})
                                                                (NLYR (NS worms;{worm})))))))))
                (PUNC ;)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (ADVP-NIM (ADV soon;{soon}))
                             (VBD;_La_ grew;{grow})
                             (ADJP-PRD (ADJ tired;{tired})
                                       (PP (P-ROLE of;{of})
                                           (NP (NLYR (NLYR;{COTTER} (PRO him;{he}))
                                                     (CONJP (CONJ and;{and})
                                                            (NLYR (NP-GEN;{COTTER} (PRO;_genm_ his;{his}))
                                                                  (ADJP (ADJ endless;{endless}))
                                                                  (NS stories;{story})
                                                                  (PP (P-ROLE about;{about})
                                                                      (NP (D the;{the})
                                                                          (N distillery;{distillery}))))))))))))
          (PUNC .))
  (ID 16_a_joyce_1914))