TSPC 36_a_hardy

36_a_hardy_1883
A sit-still party had its advantages; but an undisturbed position of ease in chairs and settles was apt to lead on the men to such an unconscionable deal of toping that they would sometimes fairly drink the house dry.

arc(r_0036_0001__A_r_0036_0003__party, r_0036_0002__sit__hyphen__still, attrib7).
arc(r_0036_0004__had, r_0036_0001__A_r_0036_0003__party, arg0).
arc(r_0036_0004__had, r_0036_0006__advantages, arg1).
arc(r_0036_0006__advantages, r_0036_0001__A_r_0036_0003__party, gen).
arc(r_0036_0008__but, r_0036_0004__had, conj1).
arc(r_0036_0008__but, r_0036_0018__was, conj2).
arc(r_0036_0009__an_r_0036_0011__position, r_0036_0010__undisturbed, attrib29).
arc(r_0036_0009__an_r_0036_0011__position, r_0036_0013__ease, r_0036_0012__of).
arc(r_0036_0009__an_r_0036_0011__position, r_0036_0016__and, r_0036_0014__in).
arc(r_0036_0016__and, r_0036_0015__chairs, conj1).
arc(r_0036_0016__and, r_0036_0017__settles, conj2).
arc(r_0036_0018__was, r_0036_0009__an_r_0036_0011__position, arg0).
arc(r_0036_0018__was, r_0036_0019__apt, prd).
arc(r_0036_0019__apt, r_0036_0020__to_r_0036_0021__lead, emb59).
arc(r_0036_0020__to_r_0036_0021__lead, r_0036_0023__the_r_0036_0024__men, r_0036_0022__on_clr67).
arc(r_0036_0020__to_r_0036_0021__lead, r_0036_0027__an_r_0036_0029__deal, prd).
arc(r_0036_0020__to_r_0036_0021__lead, z_000_36_a_hardy_1883_59, arg0).
arc(r_0036_0026__such, r_0036_0032__that_r_0036_0034__would, emb95).
arc(r_0036_0027__an_r_0036_0029__deal, r_0036_0026__such, attrib76).
arc(r_0036_0027__an_r_0036_0029__deal, r_0036_0028__unconscionable, attrib83).
arc(r_0036_0027__an_r_0036_0029__deal, r_0036_0031__toping, r_0036_0030__of).
arc(r_0036_0032__that_r_0036_0034__would, r_0036_0037__drink, scope).
arc(r_0036_0037__drink, r_0036_0023__the_r_0036_0024__men, arg0).
arc(r_0036_0037__drink, r_0036_0035__sometimes, nim104).
arc(r_0036_0037__drink, r_0036_0036__fairly, nim107).
arc(r_0036_0037__drink, r_0036_0038__the_r_0036_0039__house, arg1).
arc(r_0036_0037__drink, r_0036_0040__dry, prd).

fof(formula,axiom,
    ? [R_36_8_BUT,R_36_4_HAD,R_36_6_ADVANTAGES,R_36_1_A_PARTY,R_36_2_SIT_HYPHEN_STILL,R_36_18_WAS,R_36_9_AN_POSITION,R_36_10_UNDISTURBED,R_36_13_EASE,R_36_16_AND,R_36_15_CHAIRS,R_36_17_SETTLES,R_36_19_APT,R_36_20_TO_LEAD,Z_36_A_HARDY_1883_59,R_36_27_AN_DEAL,R_36_26_SUCH,R_36_32_THAT_WOULD_DRINK,R_36_38_THE_HOUSE,R_36_35_SOMETIMES,R_36_36_FAIRLY,R_36_40_DRY,R_36_28_UNCONSCIONABLE,R_36_31_TOPING,R_36_23_THE_MEN] :
      ( sit_hyphen_still(R_36_2_SIT_HYPHEN_STILL)
      & undisturbed(R_36_10_UNDISTURBED)
      & ease(R_36_13_EASE)
      & chairs(R_36_15_CHAIRS)
      & settles(R_36_17_SETTLES)
      & the_house(R_36_38_THE_HOUSE)
      & sometimes(R_36_35_SOMETIMES)
      & fairly(R_36_36_FAIRLY)
      & dry(R_36_40_DRY)
      & unconscionable(R_36_28_UNCONSCIONABLE)
      & toping(R_36_31_TOPING)
      & the_men(R_36_23_THE_MEN)
      & but(R_36_8_BUT)
      & conj1(R_36_8_BUT,R_36_4_HAD)
      & had(R_36_4_HAD,R_36_1_A_PARTY,R_36_6_ADVANTAGES)
      & a_party(R_36_1_A_PARTY)
      & attrib7(R_36_1_A_PARTY,R_36_2_SIT_HYPHEN_STILL)
      & advantages(R_36_6_ADVANTAGES)
      & gen(R_36_6_ADVANTAGES,R_36_1_A_PARTY)
      & conj2(R_36_8_BUT,R_36_18_WAS)
      & was(R_36_18_WAS,R_36_9_AN_POSITION,R_36_19_APT)
      & an_position(R_36_9_AN_POSITION)
      & attrib29(R_36_9_AN_POSITION,R_36_10_UNDISTURBED)
      & of(R_36_9_AN_POSITION,R_36_13_EASE)
      & in(R_36_9_AN_POSITION,R_36_16_AND)
      & and(R_36_16_AND)
      & conj1(R_36_16_AND,R_36_15_CHAIRS)
      & conj2(R_36_16_AND,R_36_17_SETTLES)
      & apt(R_36_19_APT)
      & emb59(R_36_19_APT,R_36_20_TO_LEAD)
      & to_lead(R_36_20_TO_LEAD,Z_36_A_HARDY_1883_59,R_36_27_AN_DEAL)
      & an_deal(R_36_27_AN_DEAL)
      & attrib76(R_36_27_AN_DEAL,R_36_26_SUCH)
      & such(R_36_26_SUCH)
      & emb95(R_36_26_SUCH,R_36_32_THAT_WOULD_DRINK)
      & that_would_drink(R_36_32_THAT_WOULD_DRINK,R_36_23_THE_MEN,R_36_38_THE_HOUSE,R_36_40_DRY)
      & nim104(R_36_32_THAT_WOULD_DRINK,R_36_35_SOMETIMES)
      & nim107(R_36_32_THAT_WOULD_DRINK,R_36_36_FAIRLY)
      & attrib83(R_36_27_AN_DEAL,R_36_28_UNCONSCIONABLE)
      & of(R_36_27_AN_DEAL,R_36_31_TOPING)
      & on_clr67(R_36_20_TO_LEAD,R_36_23_THE_MEN) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{SIT_STILL} (D A;{a})
                                          (ADJP (ADJ sit_<hyphen>_still;{sit_still}))
                                          (N party;{party}))
                      (HVD;_Tn_ had;{have})
                      (NP-OB1 (NP-GEN;{SIT_STILL} (PRO;_genm_ its;{its}))
                              (NS advantages;{advantage})))
                (PUNC ;)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (D an;{an})
                                     (ADJP (ADJ undisturbed;{undisturbed}))
                                     (N position;{position})
                                     (PP (P-ROLE of;{of})
                                         (NP (N ease;{ease})))
                                     (PP (P-ROLE in;{in})
                                         (NP (NLYR (NLYR (NS chairs;{chair}))
                                                   (CONJP (CONJ and;{and})
                                                          (NLYR (NS settles;{settle})))))))
                             (BED;_La_ was;{be})
                             (ADJP-PRD (ADJ;_cat_ apt;{apt})
                                       (IP-INF (TO to;{to})
                                               (VB;__ lead;{lead})
                                               (PP-CLR (P-ROLE on;{on})
                                                       (NP;{MEN} (D the;{the})
                                                                 (NS men;{man})))
                                               (PP-PRD (P-ROLE to;{to})
                                                       (NP (ADJP (ADJ;_such_ such;{such})
                                                                 (CP-THT *ICH*-128))
                                                           (D an;{an})
                                                           (ADJP (ADJ unconscionable;{unconscionable}))
                                                           (N deal;{deal})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (N toping;{toping})))
                                                           (CP-THT-EPD-128 (IP-SUB (C that;{that})
                                                                                   (NP-SBJ;{MEN} (PRO they;{they}))
                                                                                   (MD;_cat_Vi_ would;{will})
                                                                                   (IP-INF-CAT (ADVP-NIM (ADV sometimes;{sometimes}))
                                                                                               (ADVP-NIM (ADV fairly;{fairly}))
                                                                                               (VB;_Cn.a_ drink;{drink})
                                                                                               (NP-OB1 (D the;{the})
                                                                                                       (N house;{house}))
                                                                                               (ADJP-PRD (ADJ dry;{dry}))))))))))))
          (PUNC .))
  (ID 36_a_hardy_1883))