TSPC 73_a_joyce

73_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.

( (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 73_a_joyce_1914))

arc(r_0073_0001__Had,r_0073_0004__been,scope).
arc(r_0073_0003__not,r_0073_0001__Had,keep_scope).
arc(r_0073_0004__been,r_0073_0002__he,arg0).
arc(r_0073_0004__been,r_0073_0005__dead,prd).
arc(r_0073_0007__would,r_0073_0008__have,scope).
arc(r_0073_0008__have,r_0073_0009__gone_r_0073_0010__into,scope).
arc(r_0073_0009__gone_r_0073_0010__into,r_0073_0006__I,arg0).
arc(r_0073_0009__gone_r_0073_0010__into,r_0073_0011__the_r_0073_0014__room,arg1).
arc(r_0073_0011__the_r_0073_0014__room,r_0073_0012__little,attrib).
arc(r_0073_0011__the_r_0073_0014__room,r_0073_0013__dark,attrib).
arc(r_0073_0011__the_r_0073_0014__room,r_0073_0016__the_r_0073_0017__shop,r_0073_0015__behind).
arc(r_0073_0019__find,r_0073_0002__he,arg1).
arc(r_0073_0019__find,r_0073_0006__I,arg0).
arc(r_0073_0019__find,z_0073_5017,prd).
arc(r_0073_0021__sitting_r_0073_0022__in,r_0073_0024__arm__hyphen__chair,arg1).
arc(r_0073_0021__sitting_r_0073_0022__in,z_0073_5013,arg0).
arc(r_0073_0024__arm__hyphen__chair,r_0073_0002__he,gen).
arc(r_0073_0024__arm__hyphen__chair,r_0073_0026__the_r_0073_0027__fire,r_0073_0025__by).
arc(r_0073_0030__smothered,r_0073_0029__nearly,nim).
arc(r_0073_0030__smothered,r_0073_0033__great__hyphen__coat,r_0073_0031__in__nim).
arc(r_0073_0030__smothered,z_0073_5013,arg1).
arc(r_0073_0030__smothered,z_0073_5022___star_,arg0).
arc(r_0073_0033__great__hyphen__coat,r_0073_0002__he,gen).
arc(z_0073_5001__cnd,r_0073_0003__not,restriction).
arc(z_0073_5001__cnd,z_0073_5008,scope).
arc(z_0073_5008,r_0073_0007__would,scope).
arc(z_0073_5008,r_0073_0019__find,restriction).
arc(z_0073_5017,r_0073_0021__sitting_r_0073_0022__in,scope).
arc(z_0073_5017,r_0073_0030__smothered,restriction).

fof(formula,axiom,
    ? [R_0073_0006__I,R_0073_0012__LITTLE,R_0073_0013__DARK,R_0073_0016__THE_R_0073_0017__SHOP,R_0073_0011__THE_R_0073_0014__ROOM,R_0073_0007__WOULD_R_0073_0008__HAVE_R_0073_0009__GONE_R_0073_0010__INTO,R_0073_0002__HE,R_0073_0026__THE_R_0073_0027__FIRE,R_0073_0024__ARM__HYPHEN__CHAIR,Z_0073_5013,R_0073_0021__SITTING_R_0073_0022__IN,R_0073_0029__NEARLY,R_0073_0033__GREAT__HYPHEN__COAT,Z_0073_5022___STAR_,R_0073_0030__SMOTHERED,Z_0073_5017,R_0073_0019__FIND,Z_0073_5008,Z_0073_5001__CND] :
      ( r_0073_0002__he(R_0073_0002__HE)
      & r_0073_0006__I(R_0073_0006__I)
      & r_0073_0012__little(R_0073_0012__LITTLE)
      & r_0073_0013__dark(R_0073_0013__DARK)
      & r_0073_0016__the_r_0073_0017__shop(R_0073_0016__THE_R_0073_0017__SHOP)
      & r_0073_0026__the_r_0073_0027__fire(R_0073_0026__THE_R_0073_0027__FIRE)
      & r_0073_0029__nearly(R_0073_0029__NEARLY)
      & z_0073_5013(Z_0073_5013)
      & z_0073_5022___star_(Z_0073_5022___STAR_)
      & z_0073_5001__cnd(Z_0073_5001__CND)
      & has_conj2(Z_0073_5001__CND,Z_0073_5008)
      & z_0073_5008(Z_0073_5008)
      & has_conj1(Z_0073_5008,R_0073_0019__FIND)
      & r_0073_0019__find(R_0073_0019__FIND)
      & has_prd(R_0073_0019__FIND,Z_0073_5017)
      & z_0073_5017(Z_0073_5017)
      & has_conj1(Z_0073_5017,R_0073_0030__SMOTHERED)
      & r_0073_0030__smothered(R_0073_0030__SMOTHERED)
      & has_arg0(R_0073_0030__SMOTHERED,Z_0073_5022___STAR_)
      & has_arg1(R_0073_0030__SMOTHERED,Z_0073_5013)
      & has_r_0073_0031__in__nim(R_0073_0030__SMOTHERED,R_0073_0033__GREAT__HYPHEN__COAT)
      & r_0073_0033__great__hyphen__coat(R_0073_0033__GREAT__HYPHEN__COAT)
      & has_gen(R_0073_0033__GREAT__HYPHEN__COAT,R_0073_0002__HE)
      & has_nim(R_0073_0030__SMOTHERED,R_0073_0029__NEARLY)
      & has_conj2(Z_0073_5017,R_0073_0021__SITTING_R_0073_0022__IN)
      & r_0073_0021__sitting_r_0073_0022__in(R_0073_0021__SITTING_R_0073_0022__IN)
      & has_arg0(R_0073_0021__SITTING_R_0073_0022__IN,Z_0073_5013)
      & has_arg1(R_0073_0021__SITTING_R_0073_0022__IN,R_0073_0024__ARM__HYPHEN__CHAIR)
      & r_0073_0024__arm__hyphen__chair(R_0073_0024__ARM__HYPHEN__CHAIR)
      & has_r_0073_0025__by(R_0073_0024__ARM__HYPHEN__CHAIR,R_0073_0026__THE_R_0073_0027__FIRE)
      & has_gen(R_0073_0024__ARM__HYPHEN__CHAIR,R_0073_0002__HE)
      & has_arg0(R_0073_0019__FIND,R_0073_0006__I)
      & has_arg1(R_0073_0019__FIND,R_0073_0002__HE)
      & has_conj2(Z_0073_5008,R_0073_0007__WOULD_R_0073_0008__HAVE_R_0073_0009__GONE_R_0073_0010__INTO)
      & r_0073_0007__would_r_0073_0008__have_r_0073_0009__gone_r_0073_0010__into(R_0073_0007__WOULD_R_0073_0008__HAVE_R_0073_0009__GONE_R_0073_0010__INTO)
      & has_arg1(R_0073_0007__WOULD_R_0073_0008__HAVE_R_0073_0009__GONE_R_0073_0010__INTO,R_0073_0011__THE_R_0073_0014__ROOM)
      & r_0073_0011__the_r_0073_0014__room(R_0073_0011__THE_R_0073_0014__ROOM)
      & has_r_0073_0015__behind(R_0073_0011__THE_R_0073_0014__ROOM,R_0073_0016__THE_R_0073_0017__SHOP)
      & has_attrib(R_0073_0011__THE_R_0073_0014__ROOM,R_0073_0013__DARK)
      & has_attrib(R_0073_0011__THE_R_0073_0014__ROOM,R_0073_0012__LITTLE)
      & has_arg0(R_0073_0007__WOULD_R_0073_0008__HAVE_R_0073_0009__GONE_R_0073_0010__INTO,R_0073_0006__I)
      & has_conj1(Z_0073_5001__CND,R_0073_0003__NOT)
      & ~ ? [R_0073_0005__DEAD,R_0073_0001__HAD_R_0073_0004__BEEN] :
            ( r_0073_0005__dead(R_0073_0005__DEAD)
            & r_0073_0001__Had_r_0073_0004__been(R_0073_0001__HAD_R_0073_0004__BEEN)
            & has_prd(R_0073_0001__HAD_R_0073_0004__BEEN,R_0073_0005__DEAD)
            & has_arg0(R_0073_0001__HAD_R_0073_0004__BEEN,R_0073_0002__HE) ) ) ).