( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BED;_cleft_Vn_ was;{be})
          (ADVP-NIM (ADV always;{always}))
          (NP-FOC (PRO I;{I}))
          (IP-CLF;{EMPTY_INTO} (NP-SBJ (RPRO who;{who}))
                               (VBD;_Tn.pr_ emptied;{empty[into]})
                               (NP-OB1 (D the;{the})
                                       (N packet;{packet}))
                               (PP-CLR (P-ROLE into;{into})
                                       (NP (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                           (ADJP (ADJ black;{black}))
                                           (N snuff_<hyphen>_box;{snuff_box}))))
          (PP-SCON (P-CONN for;{for})
                   (IP-ADV (NP-SBJ (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                   (NS hands;{hand}))
                           (VBD;_I_ trembled;{tremble})
                           (NP-NIM (ADJP (ADVP (ADV too;{too}))
                                         (ADJ much;{much})
                                         (IP-INF (TO to;{to})
                                                 (VB;_Tnt_ allow;{allow})
                                                 (NP-DOB1;{PRIEST} (PRO him;{he}))
                                                 (IP-INF-OB1 (TO to;{to})
                                                             (DO;_Tn_ do;{do})
                                                             (NP-OB1;{EMPTY_INTO} (D;_nphd_ this;{this}))
                                                             (PP-SCON (P-CONN without;{without})
                                                                      (IP-PPL2 (VAG;_Tn_ spilling;{spill})
                                                                               (NP-OB1 (Q;_nphd_ half;{half})
                                                                                       (NLYR (D the;{the})
                                                                                             (N snuff;{snuff})))
                                                                               (PP-NIM (P-ROLE about;{about})
                                                                                       (NP (D the;{the})
                                                                                           (N floor;{floor})))))))))))
          (PUNC .))
  (ID 75_a_joyce_1914))

arc(r_0075_0002__was,r_0075_0003__always,nim).
arc(r_0075_0002__was,r_0075_0004__I,arg0).
arc(r_0075_0002__was,z_0075_5007,prd).
arc(r_0075_0006__emptied_r_0075_0009__into,r_0075_0007__the_r_0075_0008__packet,arg1).
arc(r_0075_0006__emptied_r_0075_0009__into,r_0075_0012__snuff__hyphen__box,arg2).
arc(r_0075_0006__emptied_r_0075_0009__into,z_0075_5007,arg0).
arc(r_0075_0012__snuff__hyphen__box,r_0075_0010__his,gen).
arc(r_0075_0012__snuff__hyphen__box,r_0075_0011__black,attrib).
arc(r_0075_0013__for,r_0075_0002__was,scope).
arc(r_0075_0013__for,r_0075_0016__trembled,restriction).
arc(r_0075_0015__hands,r_0075_0010__his,gen).
arc(r_0075_0016__trembled,r_0075_0015__hands,arg0).
arc(r_0075_0016__trembled,z_0075_5029,nim).
arc(r_0075_0018__much,r_0075_0017__too,qual).
arc(r_0075_0018__much,r_0075_0020__allow,emb).
arc(r_0075_0020__allow,r_0075_0025__without,arg1).
arc(r_0075_0020__allow,z_0075_5016,arg0).
arc(r_0075_0023__do,r_0075_0006__emptied_r_0075_0009__into,arg1).
arc(r_0075_0023__do,r_0075_0010__his,arg0).
arc(r_0075_0025__without,r_0075_0023__do,scope).
arc(r_0075_0025__without,r_0075_0027__half__quant,restriction).
arc(r_0075_0026__spilling,r_0075_0010__his,arg0).
arc(r_0075_0026__spilling,r_0075_0031__the_r_0075_0032__floor,r_0075_0030__about__nim).
arc(r_0075_0026__spilling,z_0075_5024,arg1).
arc(r_0075_0027__half__quant,r_0075_0026__spilling,scope).
arc(r_0075_0027__half__quant,z_0075_5024,restriction).
arc(z_0075_5024,r_0075_0028__the_r_0075_0029__snuff,nim).
arc(z_0075_5029,r_0075_0018__much,attrib).

fof(formula,axiom,
    ? [R_0075_0003__ALWAYS,R_0075_0004__I,Z_0075_5007,R_0075_0002__WAS,R_0075_0010__HIS,R_0075_0015__HANDS,R_0075_0017__TOO,R_0075_0007__THE_R_0075_0008__PACKET,R_0075_0011__BLACK,R_0075_0012__SNUFF__HYPHEN__BOX,R_0075_0006__EMPTIED_R_0075_0009__INTO,R_0075_0023__DO,R_0075_0025__WITHOUT,Z_0075_5016,R_0075_0020__ALLOW,R_0075_0018__MUCH,Z_0075_5029,R_0075_0016__TREMBLED,R_0075_0013__FOR] :
      ( r_0075_0003__always(R_0075_0003__ALWAYS)
      & r_0075_0004__I(R_0075_0004__I)
      & r_0075_0007__the_r_0075_0008__packet(R_0075_0007__THE_R_0075_0008__PACKET)
      & r_0075_0010__his(R_0075_0010__HIS)
      & r_0075_0011__black(R_0075_0011__BLACK)
      & r_0075_0017__too(R_0075_0017__TOO)
      & z_0075_5007(Z_0075_5007)
      & z_0075_5016(Z_0075_5016)
      & r_0075_0013__for(R_0075_0013__FOR)
      & has_conj1(R_0075_0013__FOR,R_0075_0016__TREMBLED)
      & r_0075_0016__trembled(R_0075_0016__TREMBLED)
      & has_nim(R_0075_0016__TREMBLED,Z_0075_5029)
      & z_0075_5029(Z_0075_5029)
      & has_attrib(Z_0075_5029,R_0075_0018__MUCH)
      & r_0075_0018__much(R_0075_0018__MUCH)
      & has_emb(R_0075_0018__MUCH,R_0075_0020__ALLOW)
      & r_0075_0020__allow(R_0075_0020__ALLOW)
      & has_arg0(R_0075_0020__ALLOW,Z_0075_5016)
      & has_arg1(R_0075_0020__ALLOW,R_0075_0025__WITHOUT)
      & r_0075_0025__without(R_0075_0025__WITHOUT)
      & ! [Z_0075_5024,R_0075_0028__THE_R_0075_0029__SNUFF] :
          ( ( r_0075_0028__the_r_0075_0029__snuff(R_0075_0028__THE_R_0075_0029__SNUFF)
            & z_0075_5024(Z_0075_5024)
            & has_nim(Z_0075_5024,R_0075_0028__THE_R_0075_0029__SNUFF) )
         => ? [R_0075_0031__THE_R_0075_0032__FLOOR,R_0075_0026__SPILLING] :
              ( r_0075_0031__the_r_0075_0032__floor(R_0075_0031__THE_R_0075_0032__FLOOR)
              & r_0075_0026__spilling(R_0075_0026__SPILLING)
              & has_arg1(R_0075_0026__SPILLING,Z_0075_5024)
              & has_r_0075_0030__about__nim(R_0075_0026__SPILLING,R_0075_0031__THE_R_0075_0032__FLOOR)
              & has_arg0(R_0075_0026__SPILLING,R_0075_0010__HIS) ) )
      & has_conj2(R_0075_0025__WITHOUT,R_0075_0023__DO)
      & r_0075_0023__do(R_0075_0023__DO)
      & has_arg0(R_0075_0023__DO,R_0075_0010__HIS)
      & has_arg1(R_0075_0023__DO,R_0075_0006__EMPTIED_R_0075_0009__INTO)
      & r_0075_0006__emptied_r_0075_0009__into(R_0075_0006__EMPTIED_R_0075_0009__INTO)
      & has_arg0(R_0075_0006__EMPTIED_R_0075_0009__INTO,Z_0075_5007)
      & has_arg2(R_0075_0006__EMPTIED_R_0075_0009__INTO,R_0075_0012__SNUFF__HYPHEN__BOX)
      & r_0075_0012__snuff__hyphen__box(R_0075_0012__SNUFF__HYPHEN__BOX)
      & has_attrib(R_0075_0012__SNUFF__HYPHEN__BOX,R_0075_0011__BLACK)
      & has_gen(R_0075_0012__SNUFF__HYPHEN__BOX,R_0075_0010__HIS)
      & has_arg1(R_0075_0006__EMPTIED_R_0075_0009__INTO,R_0075_0007__THE_R_0075_0008__PACKET)
      & has_qual(R_0075_0018__MUCH,R_0075_0017__TOO)
      & has_arg0(R_0075_0016__TREMBLED,R_0075_0015__HANDS)
      & r_0075_0015__hands(R_0075_0015__HANDS)
      & has_gen(R_0075_0015__HANDS,R_0075_0010__HIS)
      & has_conj2(R_0075_0013__FOR,R_0075_0002__WAS)
      & r_0075_0002__was(R_0075_0002__WAS)
      & has_prd(R_0075_0002__WAS,Z_0075_5007)
      & has_arg0(R_0075_0002__WAS,R_0075_0004__I)
      & has_nim(R_0075_0002__WAS,R_0075_0003__ALWAYS) ) ).