arc(r_0160_0001__Whenever, r_0160_0003___apos_d, restriction).
arc(r_0160_0001__Whenever, r_0160_0012___apos_d, scope).
arc(r_0160_0003___apos_d, r_0160_0004__bring_r_0160_0005__in, scope).
arc(r_0160_0004__bring_r_0160_0005__in, r_0160_0002__I, arg0).
arc(r_0160_0004__bring_r_0160_0005__in, r_0160_0007__soup, arg1).
arc(r_0160_0004__bring_r_0160_0005__in, r_0160_0009__him, r_0160_0008__to_nim25).
arc(r_0160_0007__soup, r_0160_0006__his, gen).
arc(r_0160_0012___apos_d, z_000_160_a_joyce_1914_66, scope).
arc(r_0160_0013__find, r_0160_0010__there, nim37).
arc(r_0160_0013__find, r_0160_0011__I, arg0).
arc(r_0160_0013__find, r_0160_0014__him, arg1).
arc(r_0160_0013__find, r_0160_0017__breviary, r_0160_0015__with_nim47).
arc(r_0160_0017__breviary, r_0160_0014__him, gen).
arc(r_0160_0018__fallen, r_0160_0017__breviary, arg0).
arc(r_0160_0018__fallen, r_0160_0020__the_r_0160_0021__floor, r_0160_0019__to_nim59).
arc(r_0160_0023__lying_r_0160_0024__back, r_0160_0014__him, arg0).
arc(r_0160_0023__lying_r_0160_0024__back, r_0160_0026__the_r_0160_0027__chair, r_0160_0025__in_nim77).
arc(r_0160_0028__and, r_0160_0023__lying_r_0160_0024__back, conj1).
arc(r_0160_0028__and, z_000_160_a_joyce_1914_85, conj2).
arc(r_0160_0030__mouth, r_0160_0014__him, gen).
arc(r_0160_0030__mouth, r_0160_0031__open, attrib92).
arc(z_000_160_a_joyce_1914_66, r_0160_0013__find, scope).
arc(z_000_160_a_joyce_1914_66, r_0160_0028__and, restriction).
arc(z_000_160_a_joyce_1914_85, r_0160_0014__him, arg0).
arc(z_000_160_a_joyce_1914_85, r_0160_0030__mouth, nim86).

fof(formula,axiom,
    ? [R_160_18_FALLEN,R_160_17_BREVIARY,R_160_14_HIM,R_160_20_THE_FLOOR] :
      ( him(R_160_14_HIM)
      & the_floor(R_160_20_THE_FLOOR)
      & ! [R_160_3__APOS_D_BRING_IN,R_160_2_I,R_160_7_SOUP,R_160_6_HIS,R_160_9_HIM] :
          ( ( i(R_160_2_I)
            & his(R_160_6_HIS)
            & him(R_160_9_HIM)
            & _apos_d_bring_in(R_160_3__APOS_D_BRING_IN,R_160_2_I,R_160_7_SOUP)
            & soup(R_160_7_SOUP)
            & gen(R_160_7_SOUP,R_160_6_HIS)
            & to_nim25(R_160_3__APOS_D_BRING_IN,R_160_9_HIM) )
         => ~ ? [Z_160_A_JOYCE_1914_66,R_160_28_AND,R_160_23_LYING_BACK,R_160_26_THE_CHAIR,Z_160_A_JOYCE_1914_85,R_160_30_MOUTH,R_160_31_OPEN,R_160_13_FIND,R_160_11_I,R_160_10_THERE] :
                ( the_chair(R_160_26_THE_CHAIR)
                & open(R_160_31_OPEN)
                & i(R_160_11_I)
                & there(R_160_10_THERE)
                & z_160_a_joyce_1914_66(Z_160_A_JOYCE_1914_66)
                & conj1(Z_160_A_JOYCE_1914_66,R_160_28_AND)
                & and(R_160_28_AND)
                & conj1(R_160_28_AND,R_160_23_LYING_BACK)
                & lying_back(R_160_23_LYING_BACK,R_160_14_HIM)
                & in_nim77(R_160_23_LYING_BACK,R_160_26_THE_CHAIR)
                & conj2(R_160_28_AND,Z_160_A_JOYCE_1914_85)
                & z_160_a_joyce_1914_85(Z_160_A_JOYCE_1914_85,R_160_14_HIM)
                & nim86(Z_160_A_JOYCE_1914_85,R_160_30_MOUTH)
                & mouth(R_160_30_MOUTH)
                & attrib92(R_160_30_MOUTH,R_160_31_OPEN)
                & gen(R_160_30_MOUTH,R_160_14_HIM)
                & conj2(Z_160_A_JOYCE_1914_66,R_160_13_FIND)
                & find(R_160_13_FIND,R_160_11_I,R_160_14_HIM)
                & nim37(R_160_13_FIND,R_160_10_THERE)
                & with_nim47(R_160_13_FIND,R_160_17_BREVIARY) ) )
      & fallen(R_160_18_FALLEN,R_160_17_BREVIARY)
      & breviary(R_160_17_BREVIARY)
      & gen(R_160_17_BREVIARY,R_160_14_HIM)
      & to_nim59(R_160_18_FALLEN,R_160_20_THE_FLOOR) ) ).

( (IP-MAT (PP-SCON (P-CONN Whenever;{whenever})
                   (IP-ADV (NP-SBJ;{ELIZA} (PRO I;{I}))
                           (MD;_cat_Vi_ <apos>d;{will})
                           (IP-INF-CAT (VB;_phr_Vn<=>p_ bring;{bring[in]})
                                       (RP in;{in})
                                       (NP-OB1 (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                               (N soup;{soup}))
                                       (PP-NIM (P-ROLE to;{to})
                                               (NP;{PRIEST} (PRO him;{he}))))))
          (ADVP-TPC-189 (ADV there;{there}))
          (NP-SBJ;{ELIZA} (PRO I;{I}))
          (MD;_cat_Vi_ <apos>d;{will})
          (IP-INF-CAT (ADVP-NIM *ICH*-189)
                      (VB;_Tn_ find;{find})
                      (NP-OB1;{PRIEST} (PRO him;{he}))
                      (PP-NIM (P-ROLE with;{with})
                              (NP (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                  (N breviary;{breviary})
                                  (IP-PPL (VVN;_I_ fallen;{fall})
                                          (PP-NIM (P-ROLE to;{to})
                                                  (NP (D the;{the})
                                                      (N floor;{floor}))))))
                      (PUNC ,)
                      (PP-SCON (IP-PPL (ILYR (ILYR (VAG;_Ip_ lying;{lie[back]})
                                                   (RP back;{back})
                                                   (PP-NIM (P-ROLE in;{in})
                                                           (NP (D the;{the})
                                                               (N chair;{chair}))))
                                             (CONJP (CONJ and;{and})
                                                    (ILYR (NP-NIM (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                                                  (N mouth;{mouth})
                                                                  (ADJP (ADJ open;{open})))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 160_a_joyce_1914))