arc(r_0076_0002__was, r_0076_0003__always, nim7).
arc(r_0076_0002__was, r_0076_0004__I, arg0).
arc(r_0076_0006__emptied, r_0076_0007__the_r_0076_0008__packet, arg1).
arc(r_0076_0006__emptied, r_0076_0012__snuff__hyphen__box, r_0076_0009__into_clr27).
arc(r_0076_0006__emptied, x_000_76_a_joyce_1914_13, arg0).
arc(r_0076_0012__snuff__hyphen__box, r_0076_0010__his, gen).
arc(r_0076_0012__snuff__hyphen__box, r_0076_0011__black, attrib31).
arc(r_0076_0013__for, r_0076_0002__was, scope).
arc(r_0076_0013__for, r_0076_0016__trembled, restriction).
arc(r_0076_0015__hands, r_0076_0014__his, gen).
arc(r_0076_0016__trembled, r_0076_0015__hands, arg0).
arc(r_0076_0016__trembled, z_000_76_a_joyce_1914_48, nim48).
arc(r_0076_0018__much, r_0076_0017__too, qual50).
arc(r_0076_0018__much, r_0076_0019__to_r_0076_0020__allow, emb55).
arc(r_0076_0019__to_r_0076_0020__allow, r_0076_0025__without, arg1).
arc(r_0076_0019__to_r_0076_0020__allow, z_000_76_a_joyce_1914_55, arg0).
arc(r_0076_0022__to_r_0076_0023__do, r_0076_0021__him, arg0).
arc(r_0076_0022__to_r_0076_0023__do, r_0076_0024__this, arg1).
arc(r_0076_0025__without, r_0076_0022__to_r_0076_0023__do, scope).
arc(r_0076_0025__without, r_0076_0027__half_quant, restriction).
arc(r_0076_0026__spilling, r_0076_0021__him, arg0).
arc(r_0076_0026__spilling, r_0076_0028__the_r_0076_0029__snuff, arg1).
arc(r_0076_0026__spilling, r_0076_0031__the_r_0076_0032__floor, r_0076_0030__about_nim87).
arc(r_0076_0027__half_quant, r_0076_0026__spilling, scope).
arc(r_0076_0027__half_quant, r_0076_0028__the_r_0076_0029__snuff, restriction).
arc(z_000_76_a_joyce_1914_48, r_0076_0018__much, attrib49).

fof(formula,axiom,
    ? [R_76_6_EMPTIED,X_76_A_JOYCE_1914_13,R_76_7_THE_PACKET,R_76_12_SNUFF_HYPHEN_BOX,R_76_11_BLACK,R_76_10_HIS,R_76_13_FOR,R_76_16_TREMBLED,R_76_15_HANDS,R_76_14_HIS,Z_76_A_JOYCE_1914_48,R_76_18_MUCH,R_76_19_TO_ALLOW,Z_76_A_JOYCE_1914_55,R_76_25_WITHOUT,R_76_22_TO_DO,R_76_21_HIM,R_76_24_THIS,R_76_17_TOO,R_76_2_WAS,R_76_4_I,R_76_3_ALWAYS] :
      ( the_packet(R_76_7_THE_PACKET)
      & black(R_76_11_BLACK)
      & his(R_76_10_HIS)
      & his(R_76_14_HIS)
      & him(R_76_21_HIM)
      & this(R_76_24_THIS)
      & too(R_76_17_TOO)
      & i(R_76_4_I)
      & always(R_76_3_ALWAYS)
      & emptied(R_76_6_EMPTIED,X_76_A_JOYCE_1914_13,R_76_7_THE_PACKET)
      & into_clr27(R_76_6_EMPTIED,R_76_12_SNUFF_HYPHEN_BOX)
      & snuff_hyphen_box(R_76_12_SNUFF_HYPHEN_BOX)
      & attrib31(R_76_12_SNUFF_HYPHEN_BOX,R_76_11_BLACK)
      & gen(R_76_12_SNUFF_HYPHEN_BOX,R_76_10_HIS)
      & for(R_76_13_FOR)
      & conj1(R_76_13_FOR,R_76_16_TREMBLED)
      & trembled(R_76_16_TREMBLED,R_76_15_HANDS)
      & hands(R_76_15_HANDS)
      & gen(R_76_15_HANDS,R_76_14_HIS)
      & nim48(R_76_16_TREMBLED,Z_76_A_JOYCE_1914_48)
      & z_76_a_joyce_1914_48(Z_76_A_JOYCE_1914_48)
      & attrib49(Z_76_A_JOYCE_1914_48,R_76_18_MUCH)
      & much(R_76_18_MUCH)
      & emb55(R_76_18_MUCH,R_76_19_TO_ALLOW)
      & to_allow(R_76_19_TO_ALLOW,Z_76_A_JOYCE_1914_55,R_76_25_WITHOUT)
      & ! [R_76_28_THE_SNUFF] :
          ( the_snuff(R_76_28_THE_SNUFF)
         => ? [R_76_26_SPILLING,R_76_31_THE_FLOOR] :
              ( the_floor(R_76_31_THE_FLOOR)
              & spilling(R_76_26_SPILLING,R_76_21_HIM,R_76_28_THE_SNUFF)
              & about_nim87(R_76_26_SPILLING,R_76_31_THE_FLOOR) ) )
      & conj1(CONJ1)
      & without(R_76_25_WITHOUT)
      & conj2(R_76_25_WITHOUT,R_76_22_TO_DO)
      & to_do(R_76_22_TO_DO,R_76_21_HIM,R_76_24_THIS)
      & qual50(R_76_18_MUCH,R_76_17_TOO)
      & conj2(R_76_13_FOR,R_76_2_WAS)
      & was(R_76_2_WAS,R_76_4_I)
      & nim7(R_76_2_WAS,R_76_3_ALWAYS) ) ).

( (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})
                                                                                       (D the;{the})
                                                                                       (N snuff;{snuff}))
                                                                               (PP-NIM (P-ROLE about;{about})
                                                                                       (NP (D the;{the})
                                                                                           (N floor;{floor})))))))))))
          (PUNC .))
  (ID 76_a_joyce_1914))