TSPC 31_a_hardy

31_a_hardy_1883
Of these, five women, wearing gowns of various bright hues, sat in chairs along the wall; girls shy and not shy filled the window-bench; four men, including Charley Jake the hedge-carpenter, Elijah New the parish - clerk, and John Pitcher, a neighbouring dairyman, the shepherd's father-in-law, lolled in the settle; a young man and maid, who were blushing over tentative pourparlers on a life-companionship, sat beneath the corner-cupboard; and an elderly engaged man of fifty or upward moved restlessly about from spots where his betrothed was not to the spot where she was.

arc(r_0031_0007__wearing, r_0031_0004__five_r_0031_0005__women, arg0).
arc(r_0031_0007__wearing, r_0031_0008__gowns, arg1).
arc(r_0031_0008__gowns, r_0031_0012__hues, r_0031_0009__of).
arc(r_0031_0012__hues, r_0031_0010__various, attrib29).
arc(r_0031_0012__hues, r_0031_0011__bright, attrib32).
arc(r_0031_0014__sat, r_0031_0002__these, r_0031_0001__Of_nim5).
arc(r_0031_0014__sat, r_0031_0004__five_r_0031_0005__women, arg0).
arc(r_0031_0014__sat, r_0031_0016__chairs, r_0031_0015__in_clr44).
arc(r_0031_0016__chairs, r_0031_0018__the_r_0031_0019__wall, r_0031_0017__along).
arc(r_0031_0021__girls, r_0031_0023__and, attrib62).
arc(r_0031_0023__and, r_0031_0022__shy, conj1).
arc(r_0031_0023__and, r_0031_0024__not_r_0031_0025__shy, conj2).
arc(r_0031_0026__filled, r_0031_0002__these, r_0031_0001__Of_nim5).
arc(r_0031_0026__filled, r_0031_0021__girls, arg0).
arc(r_0031_0026__filled, r_0031_0027__the_r_0031_0028__window__hyphen__bench, arg1).
arc(r_0031_0033__including, r_0031_0030__four_r_0031_0031__men, arg0).
arc(r_0031_0033__including, r_0031_0046__and, arg1).
arc(r_0031_0046__and, r_0031_0034__Charley_r_0031_0035__Jake, conj1).
arc(r_0031_0046__and, r_0031_0039__Elijah_r_0031_0040__New, conj2).
arc(r_0031_0046__and, r_0031_0047__John_r_0031_0048__Pitcher, conj3).
arc(r_0031_0050__a_r_0031_0052__dairyman, r_0031_0051__neighbouring, attrib143).
arc(r_0031_0057__father__hyphen__in__hyphen__law, r_0031_0054__the_r_0031_0055__shepherd_r_0031_0056___apos_s, gen).
arc(r_0031_0059__lolled, r_0031_0002__these, r_0031_0001__Of_nim5).
arc(r_0031_0059__lolled, r_0031_0030__four_r_0031_0031__men, arg0).
arc(r_0031_0059__lolled, r_0031_0061__the_r_0031_0062__settle, r_0031_0060__in_nim168).
arc(r_0031_0066__man, r_0031_0065__young, attrib182).
arc(r_0031_0067__and, r_0031_0066__man, conj1).
arc(r_0031_0067__and, r_0031_0068__maid, conj2).
arc(r_0031_0071__were, r_0031_0072__blushing, scope).
arc(r_0031_0072__blushing, r_0031_0067__and, arg0).
arc(r_0031_0072__blushing, r_0031_0075__pourparlers, r_0031_0073__over_nim207).
arc(r_0031_0075__pourparlers, r_0031_0074__tentative, attrib208).
arc(r_0031_0075__pourparlers, r_0031_0077__a_r_0031_0078__life__hyphen__companionship, r_0031_0076__on).
arc(r_0031_0080__sat, r_0031_0002__these, r_0031_0001__Of_nim5).
arc(r_0031_0080__sat, r_0031_0067__and, arg0).
arc(r_0031_0080__sat, r_0031_0082__the_r_0031_0083__corner__hyphen__cupboard, r_0031_0081__beneath_nim228).
arc(r_0031_0085__and, r_0031_0014__sat, conj1).
arc(r_0031_0085__and, r_0031_0026__filled, conj2).
arc(r_0031_0085__and, r_0031_0059__lolled, conj3).
arc(r_0031_0085__and, r_0031_0080__sat, conj4).
arc(r_0031_0085__and, r_0031_0094__moved, conj5).
arc(r_0031_0086__an_r_0031_0089__man, r_0031_0087__elderly, attrib242).
arc(r_0031_0086__an_r_0031_0089__man, r_0031_0088__engaged, attrib245).
arc(r_0031_0086__an_r_0031_0089__man, r_0031_0092__or, r_0031_0090__of).
arc(r_0031_0092__or, r_0031_0091__fifty, conj1).
arc(r_0031_0092__or, z_000_31_a_hardy_1883_261, conj2).
arc(r_0031_0094__moved, r_0031_0002__these, r_0031_0001__Of_nim5).
arc(r_0031_0094__moved, r_0031_0086__an_r_0031_0089__man, arg0).
arc(r_0031_0094__moved, r_0031_0096__about, nim267).
arc(r_0031_0094__moved, r_0031_0098__spots, r_0031_0097__from_nim276).
arc(r_0031_0094__moved, r_0031_0105__the_r_0031_0106__spot, r_0031_0104__to_nim297).
arc(r_0031_0096__about, r_0031_0095__restlessly, qual268).
arc(r_0031_0102__was, r_0031_0098__spots, clr280).
arc(r_0031_0102__was, z_000_31_a_hardy_1883_283, arg0).
arc(r_0031_0103__not, r_0031_0102__was, keep_scope).
arc(r_0031_0109__was, r_0031_0105__the_r_0031_0106__spot, clr303).
arc(r_0031_0109__was, r_0031_0108__she, arg0).
arc(z_000_31_a_hardy_1883_103, r_0031_0034__Charley_r_0031_0035__Jake, arg0).
arc(z_000_31_a_hardy_1883_103, r_0031_0036__the_r_0031_0037__hedge__hyphen__carpenter, prd).
arc(z_000_31_a_hardy_1883_117, r_0031_0039__Elijah_r_0031_0040__New, arg0).
arc(z_000_31_a_hardy_1883_117, r_0031_0041__the_r_0031_0042__parish_r_0031_0044__clerk, prd).
arc(z_000_31_a_hardy_1883_139, r_0031_0047__John_r_0031_0048__Pitcher, arg0).
arc(z_000_31_a_hardy_1883_139, r_0031_0050__a_r_0031_0052__dairyman, prd).
arc(z_000_31_a_hardy_1883_150, r_0031_0047__John_r_0031_0048__Pitcher, arg0).
arc(z_000_31_a_hardy_1883_150, r_0031_0057__father__hyphen__in__hyphen__law, prd).
arc(z_000_31_a_hardy_1883_261, r_0031_0093__upward, qual262).
arc(z_000_31_a_hardy_1883_283, r_0031_0086__an_r_0031_0089__man, gen).
arc(z_000_31_a_hardy_1883_283, r_0031_0101__betrothed, attrib287).

fof(formula,axiom,
    ? [R_31_7_WEARING,R_31_8_GOWNS,R_31_12_HUES,R_31_10_VARIOUS,R_31_11_BRIGHT,R_31_33_INCLUDING,R_31_46_AND,R_31_71_WERE_BLUSHING,R_31_75_POURPARLERS,R_31_74_TENTATIVE,R_31_77_A_LIFE_HYPHEN_COMPANIONSHIP,R_31_85_AND,R_31_14_SAT,R_31_4_FIVE_WOMEN,R_31_16_CHAIRS,R_31_18_THE_WALL,R_31_26_FILLED,R_31_21_GIRLS,R_31_23_AND,R_31_22_SHY,R_31_24_NOT_SHY,R_31_27_THE_WINDOW_HYPHEN_BENCH,R_31_59_LOLLED,R_31_30_FOUR_MEN,R_31_61_THE_SETTLE,R_31_80_SAT,R_31_67_AND,R_31_66_MAN,R_31_65_YOUNG,R_31_68_MAID,R_31_82_THE_CORNER_HYPHEN_CUPBOARD,R_31_94_MOVED,R_31_86_AN_MAN,R_31_87_ELDERLY,R_31_88_ENGAGED,R_31_92_OR,R_31_91_FIFTY,Z_31_A_HARDY_1883_261,R_31_93_UPWARD,R_31_96_ABOUT,R_31_95_RESTLESSLY,R_31_2_THESE,R_31_98_SPOTS,R_31_109_WAS,R_31_108_SHE,R_31_105_THE_SPOT,Z_31_A_HARDY_1883_103,R_31_34_CHARLEY_JAKE,R_31_36_THE_HEDGE_HYPHEN_CARPENTER,Z_31_A_HARDY_1883_117,R_31_39_ELIJAH_NEW,R_31_41_THE_PARISH_CLERK,Z_31_A_HARDY_1883_139,R_31_50_A_DAIRYMAN,R_31_51_NEIGHBOURING,Z_31_A_HARDY_1883_150,R_31_47_JOHN_PITCHER,R_31_57_FATHER_HYPHEN_IN_HYPHEN_LAW,R_31_54_THE_SHEPHERD_APOS_S] :
      ( various(R_31_10_VARIOUS)
      & bright(R_31_11_BRIGHT)
      & tentative(R_31_74_TENTATIVE)
      & a_life_hyphen_companionship(R_31_77_A_LIFE_HYPHEN_COMPANIONSHIP)
      & five_women(R_31_4_FIVE_WOMEN)
      & the_wall(R_31_18_THE_WALL)
      & shy(R_31_22_SHY)
      & not_shy(R_31_24_NOT_SHY)
      & the_window_hyphen_bench(R_31_27_THE_WINDOW_HYPHEN_BENCH)
      & four_men(R_31_30_FOUR_MEN)
      & the_settle(R_31_61_THE_SETTLE)
      & young(R_31_65_YOUNG)
      & maid(R_31_68_MAID)
      & the_corner_hyphen_cupboard(R_31_82_THE_CORNER_HYPHEN_CUPBOARD)
      & elderly(R_31_87_ELDERLY)
      & engaged(R_31_88_ENGAGED)
      & fifty(R_31_91_FIFTY)
      & upward(R_31_93_UPWARD)
      & restlessly(R_31_95_RESTLESSLY)
      & these(R_31_2_THESE)
      & spots(R_31_98_SPOTS)
      & she(R_31_108_SHE)
      & the_spot(R_31_105_THE_SPOT)
      & charley_Jake(R_31_34_CHARLEY_JAKE)
      & the_hedge_hyphen_carpenter(R_31_36_THE_HEDGE_HYPHEN_CARPENTER)
      & elijah_New(R_31_39_ELIJAH_NEW)
      & the_parish_clerk(R_31_41_THE_PARISH_CLERK)
      & neighbouring(R_31_51_NEIGHBOURING)
      & john_Pitcher(R_31_47_JOHN_PITCHER)
      & the_shepherd_apos_s(R_31_54_THE_SHEPHERD_APOS_S)
      & wearing(R_31_7_WEARING,R_31_4_FIVE_WOMEN,R_31_8_GOWNS)
      & gowns(R_31_8_GOWNS)
      & of(R_31_8_GOWNS,R_31_12_HUES)
      & hues(R_31_12_HUES)
      & attrib29(R_31_12_HUES,R_31_10_VARIOUS)
      & attrib32(R_31_12_HUES,R_31_11_BRIGHT)
      & including(R_31_33_INCLUDING,R_31_30_FOUR_MEN,R_31_46_AND)
      & and(R_31_46_AND)
      & conj1(R_31_46_AND,R_31_34_CHARLEY_JAKE)
      & conj2(R_31_46_AND,R_31_39_ELIJAH_NEW)
      & conj3(R_31_46_AND,R_31_47_JOHN_PITCHER)
      & were_blushing(R_31_71_WERE_BLUSHING,R_31_67_AND)
      & and(R_31_67_AND)
      & conj1(R_31_67_AND,R_31_66_MAN)
      & man(R_31_66_MAN)
      & attrib182(R_31_66_MAN,R_31_65_YOUNG)
      & conj2(R_31_67_AND,R_31_68_MAID)
      & over_nim207(R_31_71_WERE_BLUSHING,R_31_75_POURPARLERS)
      & pourparlers(R_31_75_POURPARLERS)
      & attrib208(R_31_75_POURPARLERS,R_31_74_TENTATIVE)
      & on(R_31_75_POURPARLERS,R_31_77_A_LIFE_HYPHEN_COMPANIONSHIP)
      & and(R_31_85_AND)
      & conj1(R_31_85_AND,R_31_14_SAT)
      & sat(R_31_14_SAT,R_31_4_FIVE_WOMEN)
      & of_nim5(R_31_14_SAT,R_31_2_THESE)
      & in_clr44(R_31_14_SAT,R_31_16_CHAIRS)
      & chairs(R_31_16_CHAIRS)
      & along(R_31_16_CHAIRS,R_31_18_THE_WALL)
      & conj2(R_31_85_AND,R_31_26_FILLED)
      & filled(R_31_26_FILLED,R_31_21_GIRLS,R_31_27_THE_WINDOW_HYPHEN_BENCH)
      & girls(R_31_21_GIRLS)
      & attrib62(R_31_21_GIRLS,R_31_23_AND)
      & and(R_31_23_AND)
      & conj1(R_31_23_AND,R_31_22_SHY)
      & conj2(R_31_23_AND,R_31_24_NOT_SHY)
      & of_nim5(R_31_26_FILLED,R_31_2_THESE)
      & conj3(R_31_85_AND,R_31_59_LOLLED)
      & lolled(R_31_59_LOLLED,R_31_30_FOUR_MEN)
      & of_nim5(R_31_59_LOLLED,R_31_2_THESE)
      & in_nim168(R_31_59_LOLLED,R_31_61_THE_SETTLE)
      & conj4(R_31_85_AND,R_31_80_SAT)
      & sat(R_31_80_SAT,R_31_67_AND)
      & of_nim5(R_31_80_SAT,R_31_2_THESE)
      & beneath_nim228(R_31_80_SAT,R_31_82_THE_CORNER_HYPHEN_CUPBOARD)
      & conj5(R_31_85_AND,R_31_94_MOVED)
      & moved(R_31_94_MOVED,R_31_86_AN_MAN)
      & an_man(R_31_86_AN_MAN)
      & attrib242(R_31_86_AN_MAN,R_31_87_ELDERLY)
      & attrib245(R_31_86_AN_MAN,R_31_88_ENGAGED)
      & of(R_31_86_AN_MAN,R_31_92_OR)
      & or(R_31_92_OR)
      & conj1(R_31_92_OR,R_31_91_FIFTY)
      & conj2(R_31_92_OR,Z_31_A_HARDY_1883_261)
      & z_31_a_hardy_1883_261(Z_31_A_HARDY_1883_261)
      & qual262(Z_31_A_HARDY_1883_261,R_31_93_UPWARD)
      & nim267(R_31_94_MOVED,R_31_96_ABOUT)
      & about(R_31_96_ABOUT)
      & qual268(R_31_96_ABOUT,R_31_95_RESTLESSLY)
      & of_nim5(R_31_94_MOVED,R_31_2_THESE)
      & from_nim276(R_31_94_MOVED,R_31_98_SPOTS)
      & to_nim297(R_31_94_MOVED,R_31_105_THE_SPOT)
      & ~ ? [R_31_102_WAS,Z_31_A_HARDY_1883_283,R_31_101_BETROTHED] :
            ( betrothed(R_31_101_BETROTHED)
            & was(R_31_102_WAS,Z_31_A_HARDY_1883_283)
            & z_31_a_hardy_1883_283(Z_31_A_HARDY_1883_283)
            & attrib287(Z_31_A_HARDY_1883_283,R_31_101_BETROTHED)
            & gen(Z_31_A_HARDY_1883_283,R_31_86_AN_MAN)
            & clr280(R_31_102_WAS,R_31_98_SPOTS) )
      & was(R_31_109_WAS,R_31_108_SHE)
      & clr303(R_31_109_WAS,R_31_105_THE_SPOT)
      & z_31_a_hardy_1883_103(Z_31_A_HARDY_1883_103,R_31_34_CHARLEY_JAKE,R_31_36_THE_HEDGE_HYPHEN_CARPENTER)
      & z_31_a_hardy_1883_117(Z_31_A_HARDY_1883_117,R_31_39_ELIJAH_NEW,R_31_41_THE_PARISH_CLERK)
      & z_31_a_hardy_1883_139(Z_31_A_HARDY_1883_139,R_31_47_JOHN_PITCHER,R_31_50_A_DAIRYMAN)
      & a_dairyman(R_31_50_A_DAIRYMAN)
      & attrib143(R_31_50_A_DAIRYMAN,R_31_51_NEIGHBOURING)
      & z_31_a_hardy_1883_150(Z_31_A_HARDY_1883_150,R_31_47_JOHN_PITCHER,R_31_57_FATHER_HYPHEN_IN_HYPHEN_LAW)
      & father_hyphen_in_hyphen_law(R_31_57_FATHER_HYPHEN_IN_HYPHEN_LAW)
      & gen(R_31_57_FATHER_HYPHEN_IN_HYPHEN_LAW,R_31_54_THE_SHEPHERD_APOS_S) ) ).

( (IP-MAT (PP-NIM (P-ROLE Of;{of})
                  (NP (D;_nphd_ these;{these})))
          (PUNC ,)
          (ILYR (ILYR (NP-SBJ (NUM five;{five})
                              (NS women;{woman})
                              (PUNC ,)
                              (IP-PPL (VAG;_Tn_ wearing;{wear})
                                      (NP-OB1 (NS gowns;{gown})
                                              (PP (P-ROLE of;{of})
                                                  (NP (ADJP (ADJ various;{various}))
                                                      (ADJP (ADJ bright;{bright}))
                                                      (NS hues;{hue}))))))
                      (PUNC ,)
                      (VBD;_Ipr_ sat;{sit[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (NS chairs;{chair})
                                  (PP (P-ROLE along;{along})
                                      (NP (D the;{the})
                                          (N wall;{wall}))))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ (NS girls;{girl})
                                     (ADJP (AJLYR (AJLYR (ADJ shy;{shy}))
                                                  (CONJP (CONJ and;{and})
                                                         (AJLYR (NEG not;{not})
                                                                (ADJ shy;{shy}))))))
                             (VBD;_Tn_ filled;{fill})
                             (NP-OB1 (D the;{the})
                                     (N window_<hyphen>_bench;{window_bench}))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ (NUM four;{four})
                                     (NS men;{man})
                                     (PUNC ,)
                                     (IP-PPL (VAG;_Tn_ including;{include})
                                             (NP-OB1 (NLYR (NLYR (NPR Charley;{Charley})
                                                                 (NPR Jake;{Jake})
                                                                 (IP-PPL (NP-PRD (D the;{the})
                                                                                 (N hedge_<hyphen>_carpenter;{hedge_carpenter}))))
                                                           (PUNC ,)
                                                           (CONJP (NLYR (NPR Elijah;{Elijah})
                                                                        (NPR New;{New})
                                                                        (IP-PPL (NP-PRD (D the;{the})
                                                                                        (N parish;{parish})
                                                                                        (PUNC <hyphen>)
                                                                                        (N clerk;{clerk})))))
                                                           (PUNC ,)
                                                           (CONJP (CONJ and;{and})
                                                                  (NLYR (NPR John;{John})
                                                                        (NPR Pitcher;{Pitcher})
                                                                        (PUNC ,)
                                                                        (IP-PPL (NP-PRD (D a;{a})
                                                                                        (ADJP (ADJ neighbouring;{neighbouring}))
                                                                                        (N dairyman;{dairyman})))
                                                                        (PUNC ,)
                                                                        (IP-PPL (NP-PRD (NP-GEN (D the;{the})
                                                                                                (N shepherd;{shepherd})
                                                                                                (GENM <apos>s))
                                                                                        (N father_<hyphen>_in_<hyphen>_law;{father_in_law})))))))))
                             (PUNC ,)
                             (VBD;_I_ lolled;{loll})
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (D the;{the})
                                         (N settle;{settle})))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ (D a;{a})
                                     (NLYR (NLYR (ADJP (ADJ young;{young}))
                                                 (N man;{man}))
                                           (CONJP (CONJ and;{and})
                                                  (NLYR (N maid;{maid}))))
                                     (PUNC ,)
                                     (IP-REL (NP-SBJ (RPRO who;{who}))
                                             (BED;_cat_Vg_ were;{be})
                                             (IP-PPL-CAT (VAG;_I_ blushing;{blush})
                                                         (PP-NIM (P-ROLE over;{over})
                                                                 (NP (ADJP (ADJ tentative;{tentative}))
                                                                     (NS pourparlers;{pourparlers})
                                                                     (PP (P-ROLE on;{on})
                                                                         (NP (D a;{a})
                                                                             (N life_<hyphen>_companionship;{life_companionship}))))))))
                             (PUNC ,)
                             (VBD;_I_ sat;{sit})
                             (PP-NIM (P-ROLE beneath;{beneath})
                                     (NP (D the;{the})
                                         (N corner_<hyphen>_cupboard;{corner_cupboard})))))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{ENGAGED_MAN} (D an;{an})
                                                   (ADJP (ADJ elderly;{elderly}))
                                                   (ADJP (ADJ engaged;{engaged}))
                                                   (N man;{man})
                                                   (PP (P-ROLE of;{of})
                                                       (NP (NLYR (NLYR (NUM fifty;{fifty}))
                                                                 (CONJP (CONJ or;{or})
                                                                        (NLYR (ADVP (ADV upward;{upward}))))))))
                             (VBD;_I_ moved;{move})
                             (ADVP-NIM (ADVP (ADV restlessly;{restlessly}))
                                       (ADV about;{about}))
                             (PP-NIM (P-ROLE from;{from})
                                     (NP (NS spots;{spot})
                                         (IP-REL (ADVP-CLR (RADV where;{where}))
                                                 (NP-SBJ;{BETROTHED} (NP-GEN;{ENGAGED_MAN} (PRO;_genm_ his;{his}))
                                                                     (ADJP (ADJ betrothed;{betrothed})))
                                                 (BED;_Ip_ was;{be[where]})
                                                 (NEG not;{not}))))
                             (PP-NIM (P-ROLE to;{to})
                                     (NP (D the;{the})
                                         (N spot;{spot})
                                         (IP-REL (ADVP-CLR (RADV where;{where}))
                                                 (NP-SBJ;{BETROTHED} (PRO she;{she}))
                                                 (BED;_Ip_ was;{be[where]})))))))
          (PUNC .))
  (ID 31_a_hardy_1883))