TSPC 74_a_joyce

74_a_joyce_1914
Had he not been dead I would have gone into the little dark room behind the shop to find him sitting in his arm-chair by the fire, nearly smothered in his great-coat.

arc(r_0074_0001__Had, r_0074_0004__been, scope).
arc(r_0074_0003__not, r_0074_0001__Had, keep_scope).
arc(r_0074_0004__been, r_0074_0002__he, arg0).
arc(r_0074_0004__been, r_0074_0005__dead, prd).
arc(r_0074_0007__would, r_0074_0008__have, scope).
arc(r_0074_0008__have, r_0074_0009__gone, scope).
arc(r_0074_0009__gone, r_0074_0006__I, arg0).
arc(r_0074_0009__gone, r_0074_0011__the_r_0074_0014__room, r_0074_0010__into_clr31).
arc(r_0074_0011__the_r_0074_0014__room, r_0074_0012__little, attrib34).
arc(r_0074_0011__the_r_0074_0014__room, r_0074_0013__dark, attrib37).
arc(r_0074_0011__the_r_0074_0014__room, r_0074_0016__the_r_0074_0017__shop, r_0074_0015__behind).
arc(r_0074_0018__to_r_0074_0019__find, r_0074_0006__I, arg0).
arc(r_0074_0018__to_r_0074_0019__find, r_0074_0020__him, arg1).
arc(r_0074_0018__to_r_0074_0019__find, z_000_74_a_joyce_1914_81, prd).
arc(r_0074_0021__sitting, r_0074_0024__arm__hyphen__chair, r_0074_0022__in_clr65).
arc(r_0074_0021__sitting, x_000_74_a_joyce_1914_59, arg0).
arc(r_0074_0024__arm__hyphen__chair, r_0074_0020__him, gen).
arc(r_0074_0024__arm__hyphen__chair, r_0074_0026__the_r_0074_0027__fire, r_0074_0025__by).
arc(r_0074_0030__smothered, r_0074_0029__nearly, nim85).
arc(r_0074_0030__smothered, r_0074_0033__great__hyphen__coat, r_0074_0031__in_nim93).
arc(r_0074_0030__smothered, x_000_74_a_joyce_1914_59, arg1).
arc(r_0074_0030__smothered, z_000_74_a_joyce_1914_83, arg0).
arc(r_0074_0033__great__hyphen__coat, r_0074_0020__him, gen).
arc(z_000_74_a_joyce_1914_2, r_0074_0003__not, restriction).
arc(z_000_74_a_joyce_1914_2, z_000_74_a_joyce_1914_50, scope).
arc(z_000_74_a_joyce_1914_50, r_0074_0007__would, scope).
arc(z_000_74_a_joyce_1914_50, r_0074_0018__to_r_0074_0019__find, restriction).
arc(z_000_74_a_joyce_1914_81, r_0074_0021__sitting, scope).
arc(z_000_74_a_joyce_1914_81, r_0074_0030__smothered, restriction).

fof(formula,axiom,
    ? [Z_74_A_JOYCE_1914_2,Z_74_A_JOYCE_1914_50,R_74_18_TO_FIND,Z_74_A_JOYCE_1914_81,R_74_30_SMOTHERED,Z_74_A_JOYCE_1914_83,R_74_29_NEARLY,R_74_33_GREAT_HYPHEN_COAT,R_74_21_SITTING,X_74_A_JOYCE_1914_59,R_74_24_ARM_HYPHEN_CHAIR,R_74_20_HIM,R_74_26_THE_FIRE,R_74_7_WOULD_HAVE_GONE,R_74_6_I,R_74_11_THE_ROOM,R_74_12_LITTLE,R_74_13_DARK,R_74_16_THE_SHOP] :
      ( nearly(R_74_29_NEARLY)
      & him(R_74_20_HIM)
      & the_fire(R_74_26_THE_FIRE)
      & i(R_74_6_I)
      & little(R_74_12_LITTLE)
      & dark(R_74_13_DARK)
      & the_shop(R_74_16_THE_SHOP)
      & z_74_a_joyce_1914_2(Z_74_A_JOYCE_1914_2)
      & conj1(Z_74_A_JOYCE_1914_2,R_74_3_NOT)
      & ~ ? [R_74_1_HAD_BEEN,R_74_2_HE,R_74_5_DEAD] :
            ( he(R_74_2_HE)
            & dead(R_74_5_DEAD)
            & had_been(R_74_1_HAD_BEEN,R_74_2_HE,R_74_5_DEAD) )
      & conj2(Z_74_A_JOYCE_1914_2,Z_74_A_JOYCE_1914_50)
      & z_74_a_joyce_1914_50(Z_74_A_JOYCE_1914_50)
      & conj1(Z_74_A_JOYCE_1914_50,R_74_18_TO_FIND)
      & to_find(R_74_18_TO_FIND,R_74_6_I,R_74_20_HIM,Z_74_A_JOYCE_1914_81)
      & z_74_a_joyce_1914_81(Z_74_A_JOYCE_1914_81)
      & conj1(Z_74_A_JOYCE_1914_81,R_74_30_SMOTHERED)
      & smothered(R_74_30_SMOTHERED,Z_74_A_JOYCE_1914_83,X_74_A_JOYCE_1914_59)
      & nim85(R_74_30_SMOTHERED,R_74_29_NEARLY)
      & in_nim93(R_74_30_SMOTHERED,R_74_33_GREAT_HYPHEN_COAT)
      & great_hyphen_coat(R_74_33_GREAT_HYPHEN_COAT)
      & gen(R_74_33_GREAT_HYPHEN_COAT,R_74_20_HIM)
      & conj2(Z_74_A_JOYCE_1914_81,R_74_21_SITTING)
      & sitting(R_74_21_SITTING,X_74_A_JOYCE_1914_59)
      & in_clr65(R_74_21_SITTING,R_74_24_ARM_HYPHEN_CHAIR)
      & arm_hyphen_chair(R_74_24_ARM_HYPHEN_CHAIR)
      & gen(R_74_24_ARM_HYPHEN_CHAIR,R_74_20_HIM)
      & by(R_74_24_ARM_HYPHEN_CHAIR,R_74_26_THE_FIRE)
      & conj2(Z_74_A_JOYCE_1914_50,R_74_7_WOULD_HAVE_GONE)
      & would_have_gone(R_74_7_WOULD_HAVE_GONE,R_74_6_I)
      & into_clr31(R_74_7_WOULD_HAVE_GONE,R_74_11_THE_ROOM)
      & the_room(R_74_11_THE_ROOM)
      & attrib34(R_74_11_THE_ROOM,R_74_12_LITTLE)
      & attrib37(R_74_11_THE_ROOM,R_74_13_DARK)
      & behind(R_74_11_THE_ROOM,R_74_16_THE_SHOP) ) ).

( (IP-MAT (PP-SCON-CND (IP-ADV (HVD;_cat_Ve_ Had;{have})
                               (NP-SBJ;{PRIEST} (PRO he;{he}))
                               (NEG not;{not})
                               (IP-PPL-CAT (BEN;_La_ been;{be})
                                           (ADJP-PRD (ADJ dead;{dead})))))
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (VVN;_Ipr_ gone;{go[into]})
                                  (PP-CLR (P-ROLE into;{into})
                                          (NP (D the;{the})
                                              (ADJP (ADJ little;{little}))
                                              (ADJP (ADJ dark;{dark}))
                                              (N room;{room})
                                              (PP (P-ROLE behind;{behind})
                                                  (NP (D the;{the})
                                                      (N shop;{shop})))))))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Cn.g_ find;{find})
                           (NP-OB1;{PRIEST} (PRO him;{he}))
                           (IP-PPL-PRD (VAG;_Ipr_ sitting;{sit[in]})
                                       (PP-CLR (P-ROLE in;{in})
                                               (NP (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                                   (N arm_<hyphen>_chair;{arm_chair})
                                                   (PP (P-ROLE by;{by})
                                                       (NP (D the;{the})
                                                           (N fire;{fire})))))
                                       (PUNC ,)
                                       (PP-SCON (IP-PPL2 (NP-LGS *)
                                                         (ADVP-NIM (ADV nearly;{nearly}))
                                                         (VVN;_Tn.pr_ smothered;{smother})
                                                         (PP-NIM (P-ROLE in;{in})
                                                                 (NP (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                                                     (N great_<hyphen>_coat;{great_coat}))))))))
          (PUNC .))
  (ID 74_a_joyce_1914))