arc(r_0157_0003__wo, r_0157_0005__be, scope).
arc(r_0157_0004__n_apos_t, r_0157_0003__wo, keep_scope).
arc(r_0157_0005__be, r_0157_0006__bringing_r_0157_0008__in, scope).
arc(r_0157_0006__bringing_r_0157_0008__in, r_0157_0002__I, arg0).
arc(r_0157_0006__bringing_r_0157_0008__in, r_0157_0007__him, arg2).
arc(r_0157_0006__bringing_r_0157_0008__in, r_0157_0010__cup, arg1).
arc(r_0157_0006__bringing_r_0157_0008__in, r_0157_0013__any, nim34).
arc(r_0157_0006__bringing_r_0157_0008__in, r_0157_0021__sending, r_0157_0016__nor_nim45).
arc(r_0157_0010__cup, r_0157_0007__him, gen).
arc(r_0157_0010__cup, r_0157_0012__beef__hyphen__tea, r_0157_0011__of).
arc(r_0157_0013__any, r_0157_0014__more, attrib37).
arc(r_0157_0021__sending, r_0157_0017__you, arg0).
arc(r_0157_0021__sending, r_0157_0022__him, arg2).
arc(r_0157_0021__sending, r_0157_0024__snuff, arg1).
arc(r_0157_0024__snuff, r_0157_0022__him, gen).
arc(z_000_157_a_joyce_1914_51, r_0157_0017__you, arg0).
arc(z_000_157_a_joyce_1914_51, r_0157_0019__ma_apos_am, prd).

fof(formula,axiom,
    ? [Z_157_A_JOYCE_1914_51,R_157_17_YOU,R_157_19_MA_APOS_AM] :
      ( you(R_157_17_YOU)
      & ma_apos_am(R_157_19_MA_APOS_AM)
      & ~ ? [R_157_3_WO_BE_BRINGING_IN,R_157_2_I,R_157_10_CUP,R_157_12_BEEF_HYPHEN_TEA,R_157_7_HIM,R_157_13_ANY,R_157_14_MORE,R_157_21_SENDING,R_157_24_SNUFF,R_157_22_HIM] :
            ( i(R_157_2_I)
            & beef_hyphen_tea(R_157_12_BEEF_HYPHEN_TEA)
            & him(R_157_7_HIM)
            & more(R_157_14_MORE)
            & him(R_157_22_HIM)
            & wo_be_bringing_in(R_157_3_WO_BE_BRINGING_IN,R_157_2_I,R_157_10_CUP,R_157_7_HIM)
            & cup(R_157_10_CUP)
            & gen(R_157_10_CUP,R_157_7_HIM)
            & of(R_157_10_CUP,R_157_12_BEEF_HYPHEN_TEA)
            & nim34(R_157_3_WO_BE_BRINGING_IN,R_157_13_ANY)
            & any(R_157_13_ANY)
            & attrib37(R_157_13_ANY,R_157_14_MORE)
            & nor_nim45(R_157_3_WO_BE_BRINGING_IN,R_157_21_SENDING)
            & sending(R_157_21_SENDING,R_157_17_YOU,R_157_24_SNUFF,R_157_22_HIM)
            & snuff(R_157_24_SNUFF)
            & gen(R_157_24_SNUFF,R_157_22_HIM) )
      & z_157_a_joyce_1914_51(Z_157_A_JOYCE_1914_51,R_157_17_YOU,R_157_19_MA_APOS_AM) ) ).

( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{ELIZA} (PRO I;{I}))
          (MD;_cat_Vi_ wo;{will})
          (NEG;_clitic_ n<apos>t;{not})
          (IP-INF-CAT (BE;_cat_Vg_ be;{be})
                      (IP-PPL-CAT (VAG;_phr_Vn<=>p_ bringing;{bring[in]})
                                  (NP-OB2;{PRIEST} (PRO him;{he}))
                                  (RP in;{in})
                                  (NP-OB1 (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                          (N cup;{cup})
                                          (PP (P-ROLE of;{of})
                                              (NP (N beef_<hyphen>_tea;{beef_tea}))))
                                  (NP-NIM (D;_nphd_ any;{any})
                                          (ADJP (ADJR more;{more})))
                                  (PUNC ,)
                                  (PP-NIM (P-ROLE nor;{nor})
                                          (IP-PPL3 (NP-SBJ (PRO you;{you})
                                                           (PUNC ,)
                                                           (IP-PPL (NP-PRD;{AUNT} (N ma<apos>am;{ma<apos>am}))))
                                                   (PUNC ,)
                                                   (VAG;_Dn.n_ sending;{send})
                                                   (NP-OB2;{PRIEST} (PRO him;{he}))
                                                   (NP-OB1 (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                                           (N snuff;{snuff}))))))
          (PUNC .))
  (ID 157_a_joyce_1914))