TSPC 27_a_lob

27_a_lob_g01
The people — Langland's ‘folk’ and Gaunt's ‘knaves’ — were villeins still tied to the feudal obligations of work or villeins who had bought their release, free labourers who worked for the highest bidders, free yeomen who had prospered enough to become successful farmers, the artisans, craftsmen, journeymen and small tradesmen of the towns, and the retainers and men-at-arms in the pay of landed Lords.

( (IP-MAT (NP-SBJ (D The;{the})
                  (NS people;{people})
                  (PUNC <mdash>)
                  (PRN (NP (NLYR (NLYR (NP-GEN (NPR Langland;{Langland})
                                               (GENM <apos>s))
                                       (PULQ <lquo>)
                                       (N folk;{folk})
                                       (PURQ <rquo>))
                                 (CONJP (CONJ and;{and})
                                        (NLYR (NP-GEN (NPR Gaunt;{Gaunt})
                                                      (GENM <apos>s))
                                              (PULQ <lquo>)
                                              (NS knaves;{knave})
                                              (PURQ <rquo>))))))
                  (PUNC <mdash>))
          (BED;_Ln_ were;{be})
          (NP-PRD (NLYR (NLYR (NS villeins;{villein})
                              (IP-PPL (ADVP-NIM (ADV still;{still}))
                                      (VVN;_Ipr_ tied;{tie[to]})
                                      (PP-CLR (P-ROLE to;{to})
                                              (NP (D the;{the})
                                                  (ADJP (ADJ feudal;{feudal}))
                                                  (NS obligations;{obligation})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (N work;{work})))))))
                        (CONJP (CONJ or;{or})
                               (NLYR (NLYR (NLYR (NS villeins;{villein})
                                                 (IP-REL (NP-SBJ (RPRO who;{who}))
                                                         (HVD;_cat_Ve_ had;{have})
                                                         (IP-PPL-CAT (VVN;_Tn_ bought;{buy})
                                                                     (NP-OB1 (NP-GEN (PRO;_genm_ their;{their}))
                                                                             (N release;{release})))))
                                           (PUNC ,)
                                           (CONJP (NLYR (ADJP (ADJ free;{free}))
                                                        (NS labourers;{labourer})
                                                        (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                (VBD;_Ipr_ worked;{work[for]})
                                                                (PP-CLR (P-ROLE for;{for})
                                                                        (NP (D the;{the})
                                                                            (ADJP (ADJS highest;{high}))
                                                                            (NS bidders;{bidder}))))))
                                           (PUNC ,)
                                           (CONJP (NLYR (ADJP (ADJ free;{free}))
                                                        (N yeomen;{yeoman})
                                                        (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                (HVD;_cat_Ve_ had;{have})
                                                                (IP-PPL-CAT (VVN;_I_ prospered;{prosper})
                                                                            (ADVP-NIM (ADV enough;{enough})
                                                                                      (IP-INF (TO to;{to})
                                                                                              (VB;_Ln_ become;{become})
                                                                                              (NP-PRD (ADJP (ADJ successful;{successful}))
                                                                                                      (NS farmers;{farmer}))))))))
                                           (PUNC ,)
                                           (CONJP (NLYR (D the;{the})
                                                        (NLYR (NLYR (NS artisans;{artisan}))
                                                              (PUNC ,)
                                                              (CONJP (NLYR (NS craftsmen;{craftsman})))
                                                              (PUNC ,)
                                                              (CONJP (NLYR (NS journeymen;{journeyman})))
                                                              (CONJP (CONJ and;{and})
                                                                     (NLYR (ADJP (ADJ small;{small}))
                                                                           (NS tradesmen;{tradesman}))))
                                                        (PP (P-ROLE of;{of})
                                                            (NP (D the;{the})
                                                                (NS towns;{town})))))
                                           (PUNC ,)
                                           (CONJP (CONJ and;{and})
                                                  (NLYR (D the;{the})
                                                        (NLYR (NLYR (NS retainers;{retainer}))
                                                              (CONJP (CONJ and;{and})
                                                                     (NLYR (NS men_<hyphen>_at_<hyphen>_arms;{man_at_arms}))))
                                                        (PP (P-ROLE in;{in})
                                                            (NP (D the;{the})
                                                                (N pay;{pay})
                                                                (PP (P-ROLE of;{of})
                                                                    (NP (ADJP (ADJ landed;{landed}))
                                                                        (NS Lords;{lord}))))))))))))
          (PUNC .))
  (ID 27_a_lob_g01))

arc(r_0027_0007__folk,r_0027_0004__Langland,gen).
arc(r_0027_0009__and,r_0027_0007__folk,conj1).
arc(r_0027_0009__and,r_0027_0013__knaves,conj2).
arc(r_0027_0013__knaves,r_0027_0010__Gaunt,gen).
arc(r_0027_0016__were,r_0027_0001__The_r_0027_0002__people,arg0).
arc(r_0027_0016__were,r_0027_0026__or,prd).
arc(r_0027_0019__tied_r_0027_0020__to,r_0027_0017__villeins,inv_arg0).
arc(r_0027_0019__tied_r_0027_0020__to,r_0027_0018__still,nim).
arc(r_0027_0019__tied_r_0027_0020__to,r_0027_0021__the_r_0027_0023__obligations,arg1).
arc(r_0027_0021__the_r_0027_0023__obligations,r_0027_0022__feudal,attrib).
arc(r_0027_0021__the_r_0027_0023__obligations,r_0027_0025__work,r_0027_0024__of).
arc(r_0027_0026__or,r_0027_0017__villeins,conj1).
arc(r_0027_0026__or,r_0027_0067__and,conj2).
arc(r_0027_0029__had,r_0027_0030__bought,scope).
arc(r_0027_0030__bought,r_0027_0027__villeins,arg0).
arc(r_0027_0030__bought,r_0027_0032__release,arg1).
arc(r_0027_0032__release,r_0027_0031__their,gen).
arc(r_0027_0035__labourers,r_0027_0034__free,attrib).
arc(r_0027_0037__worked_r_0027_0038__for,r_0027_0035__labourers,arg0).
arc(r_0027_0037__worked_r_0027_0038__for,r_0027_0039__the_r_0027_0041__bidders,arg1).
arc(r_0027_0039__the_r_0027_0041__bidders,r_0027_0040__highest,attrib).
arc(r_0027_0044__yeomen,r_0027_0043__free,attrib).
arc(r_0027_0046__had,r_0027_0047__prospered,scope).
arc(r_0027_0047__prospered,r_0027_0044__yeomen,arg0).
arc(r_0027_0047__prospered,r_0027_0048__enough,nim).
arc(r_0027_0048__enough,r_0027_0050__become,emb).
arc(r_0027_0050__become,r_0027_0052__farmers,prd).
arc(r_0027_0050__become,z_0027_5031,arg0).
arc(r_0027_0052__farmers,r_0027_0051__successful,attrib).
arc(r_0027_0054__the_r_0027_0055__artisans_r_0027_0057__craftsmen_r_0027_0059__journeymen_r_0027_0060__and_r_0027_0061__small_r_0027_0062__tradesmen,r_0027_0064__the_r_0027_0065__towns,r_0027_0063__of).
arc(r_0027_0067__and,r_0027_0027__villeins,conj1).
arc(r_0027_0067__and,r_0027_0035__labourers,conj2).
arc(r_0027_0067__and,r_0027_0044__yeomen,conj3).
arc(r_0027_0067__and,r_0027_0054__the_r_0027_0055__artisans_r_0027_0057__craftsmen_r_0027_0059__journeymen_r_0027_0060__and_r_0027_0061__small_r_0027_0062__tradesmen,conj4).
arc(r_0027_0067__and,r_0027_0068__the_r_0027_0069__retainers_r_0027_0070__and_r_0027_0071__men__hyphen__at__hyphen__arms,conj5).
arc(r_0027_0068__the_r_0027_0069__retainers_r_0027_0070__and_r_0027_0071__men__hyphen__at__hyphen__arms,r_0027_0073__the_r_0027_0074__pay,r_0027_0072__in).
arc(r_0027_0073__the_r_0027_0074__pay,r_0027_0077__Lords,r_0027_0075__of).
arc(r_0027_0077__Lords,r_0027_0076__landed,attrib).
arc(z_0027_5005,r_0027_0001__The_r_0027_0002__people,arg0).
arc(z_0027_5005,r_0027_0009__and,prd).

fof(formula,axiom,
    ? [R_0027_0001__THE_R_0027_0002__PEOPLE,R_0027_0018__STILL,R_0027_0022__FEUDAL,R_0027_0025__WORK,R_0027_0021__THE_R_0027_0023__OBLIGATIONS,R_0027_0019__TIED_R_0027_0020__TO,R_0027_0017__VILLEINS,R_0027_0027__VILLEINS,R_0027_0034__FREE,R_0027_0035__LABOURERS,R_0027_0043__FREE,R_0027_0044__YEOMEN,R_0027_0064__THE_R_0027_0065__TOWNS,R_0027_0054__THE_R_0027_0055__ARTISANS_R_0027_0057__CRAFTSMEN_R_0027_0059__JOURNEYMEN_R_0027_0060__AND_R_0027_0061__SMALL_R_0027_0062__TRADESMEN,R_0027_0076__LANDED,R_0027_0077__LORDS,R_0027_0073__THE_R_0027_0074__PAY,R_0027_0068__THE_R_0027_0069__RETAINERS_R_0027_0070__AND_R_0027_0071__MEN__HYPHEN__AT__HYPHEN__ARMS,R_0027_0067__AND,R_0027_0026__OR,R_0027_0016__WERE,R_0027_0031__THEIR,R_0027_0032__RELEASE,R_0027_0029__HAD_R_0027_0030__BOUGHT,R_0027_0040__HIGHEST,R_0027_0039__THE_R_0027_0041__BIDDERS,R_0027_0037__WORKED_R_0027_0038__FOR,R_0027_0051__SUCCESSFUL,R_0027_0052__FARMERS,Z_0027_5031,R_0027_0050__BECOME,R_0027_0048__ENOUGH,R_0027_0046__HAD_R_0027_0047__PROSPERED,R_0027_0004__LANGLAND,R_0027_0007__FOLK,R_0027_0010__GAUNT,R_0027_0013__KNAVES,R_0027_0009__AND,Z_0027_5005] :
      ( r_0027_0001__The_r_0027_0002__people(R_0027_0001__THE_R_0027_0002__PEOPLE)
      & r_0027_0004__Langland(R_0027_0004__LANGLAND)
      & r_0027_0010__Gaunt(R_0027_0010__GAUNT)
      & r_0027_0018__still(R_0027_0018__STILL)
      & r_0027_0022__feudal(R_0027_0022__FEUDAL)
      & r_0027_0025__work(R_0027_0025__WORK)
      & r_0027_0027__villeins(R_0027_0027__VILLEINS)
      & r_0027_0031__their(R_0027_0031__THEIR)
      & r_0027_0034__free(R_0027_0034__FREE)
      & r_0027_0040__highest(R_0027_0040__HIGHEST)
      & r_0027_0043__free(R_0027_0043__FREE)
      & r_0027_0051__successful(R_0027_0051__SUCCESSFUL)
      & r_0027_0064__the_r_0027_0065__towns(R_0027_0064__THE_R_0027_0065__TOWNS)
      & r_0027_0076__landed(R_0027_0076__LANDED)
      & z_0027_5031(Z_0027_5031)
      & z_0027_5005(Z_0027_5005)
      & has_prd(Z_0027_5005,R_0027_0009__AND)
      & r_0027_0009__and(R_0027_0009__AND)
      & has_conj2(R_0027_0009__AND,R_0027_0013__KNAVES)
      & r_0027_0013__knaves(R_0027_0013__KNAVES)
      & has_gen(R_0027_0013__KNAVES,R_0027_0010__GAUNT)
      & has_conj1(R_0027_0009__AND,R_0027_0007__FOLK)
      & r_0027_0007__folk(R_0027_0007__FOLK)
      & has_gen(R_0027_0007__FOLK,R_0027_0004__LANGLAND)
      & has_arg0(Z_0027_5005,R_0027_0001__THE_R_0027_0002__PEOPLE)
      & r_0027_0046__had_r_0027_0047__prospered(R_0027_0046__HAD_R_0027_0047__PROSPERED)
      & has_nim(R_0027_0046__HAD_R_0027_0047__PROSPERED,R_0027_0048__ENOUGH)
      & r_0027_0048__enough(R_0027_0048__ENOUGH)
      & has_emb(R_0027_0048__ENOUGH,R_0027_0050__BECOME)
      & r_0027_0050__become(R_0027_0050__BECOME)
      & has_arg0(R_0027_0050__BECOME,Z_0027_5031)
      & has_prd(R_0027_0050__BECOME,R_0027_0052__FARMERS)
      & r_0027_0052__farmers(R_0027_0052__FARMERS)
      & has_attrib(R_0027_0052__FARMERS,R_0027_0051__SUCCESSFUL)
      & has_arg0(R_0027_0046__HAD_R_0027_0047__PROSPERED,R_0027_0044__YEOMEN)
      & r_0027_0044__yeomen(R_0027_0044__YEOMEN)
      & has_attrib(R_0027_0044__YEOMEN,R_0027_0043__FREE)
      & r_0027_0037__worked_r_0027_0038__for(R_0027_0037__WORKED_R_0027_0038__FOR)
      & has_arg1(R_0027_0037__WORKED_R_0027_0038__FOR,R_0027_0039__THE_R_0027_0041__BIDDERS)
      & r_0027_0039__the_r_0027_0041__bidders(R_0027_0039__THE_R_0027_0041__BIDDERS)
      & has_attrib(R_0027_0039__THE_R_0027_0041__BIDDERS,R_0027_0040__HIGHEST)
      & has_arg0(R_0027_0037__WORKED_R_0027_0038__FOR,R_0027_0035__LABOURERS)
      & r_0027_0035__labourers(R_0027_0035__LABOURERS)
      & has_attrib(R_0027_0035__LABOURERS,R_0027_0034__FREE)
      & r_0027_0029__had_r_0027_0030__bought(R_0027_0029__HAD_R_0027_0030__BOUGHT)
      & has_arg1(R_0027_0029__HAD_R_0027_0030__BOUGHT,R_0027_0032__RELEASE)
      & r_0027_0032__release(R_0027_0032__RELEASE)
      & has_gen(R_0027_0032__RELEASE,R_0027_0031__THEIR)
      & has_arg0(R_0027_0029__HAD_R_0027_0030__BOUGHT,R_0027_0027__VILLEINS)
      & r_0027_0016__were(R_0027_0016__WERE)
      & has_prd(R_0027_0016__WERE,R_0027_0026__OR)
      & r_0027_0026__or(R_0027_0026__OR)
      & has_conj2(R_0027_0026__OR,R_0027_0067__AND)
      & r_0027_0067__and(R_0027_0067__AND)
      & has_conj5(R_0027_0067__AND,R_0027_0068__THE_R_0027_0069__RETAINERS_R_0027_0070__AND_R_0027_0071__MEN__HYPHEN__AT__HYPHEN__ARMS)
      & r_0027_0068__the_r_0027_0069__retainers_r_0027_0070__and_r_0027_0071__men__hyphen__at__hyphen__arms(R_0027_0068__THE_R_0027_0069__RETAINERS_R_0027_0070__AND_R_0027_0071__MEN__HYPHEN__AT__HYPHEN__ARMS)
      & has_r_0027_0072__in(R_0027_0068__THE_R_0027_0069__RETAINERS_R_0027_0070__AND_R_0027_0071__MEN__HYPHEN__AT__HYPHEN__ARMS,R_0027_0073__THE_R_0027_0074__PAY)
      & r_0027_0073__the_r_0027_0074__pay(R_0027_0073__THE_R_0027_0074__PAY)
      & has_r_0027_0075__of(R_0027_0073__THE_R_0027_0074__PAY,R_0027_0077__LORDS)
      & r_0027_0077__Lords(R_0027_0077__LORDS)
      & has_attrib(R_0027_0077__LORDS,R_0027_0076__LANDED)
      & has_conj4(R_0027_0067__AND,R_0027_0054__THE_R_0027_0055__ARTISANS_R_0027_0057__CRAFTSMEN_R_0027_0059__JOURNEYMEN_R_0027_0060__AND_R_0027_0061__SMALL_R_0027_0062__TRADESMEN)
      & r_0027_0054__the_r_0027_0055__artisans_r_0027_0057__craftsmen_r_0027_0059__journeymen_r_0027_0060__and_r_0027_0061__small_r_0027_0062__tradesmen(R_0027_0054__THE_R_0027_0055__ARTISANS_R_0027_0057__CRAFTSMEN_R_0027_0059__JOURNEYMEN_R_0027_0060__AND_R_0027_0061__SMALL_R_0027_0062__TRADESMEN)
      & has_r_0027_0063__of(R_0027_0054__THE_R_0027_0055__ARTISANS_R_0027_0057__CRAFTSMEN_R_0027_0059__JOURNEYMEN_R_0027_0060__AND_R_0027_0061__SMALL_R_0027_0062__TRADESMEN,R_0027_0064__THE_R_0027_0065__TOWNS)
      & has_conj3(R_0027_0067__AND,R_0027_0044__YEOMEN)
      & has_conj2(R_0027_0067__AND,R_0027_0035__LABOURERS)
      & has_conj1(R_0027_0067__AND,R_0027_0027__VILLEINS)
      & has_conj1(R_0027_0026__OR,R_0027_0017__VILLEINS)
      & r_0027_0017__villeins(R_0027_0017__VILLEINS)
      & has_inv_arg0(R_0027_0017__VILLEINS,R_0027_0019__TIED_R_0027_0020__TO)
      & r_0027_0019__tied_r_0027_0020__to(R_0027_0019__TIED_R_0027_0020__TO)
      & has_arg1(R_0027_0019__TIED_R_0027_0020__TO,R_0027_0021__THE_R_0027_0023__OBLIGATIONS)
      & r_0027_0021__the_r_0027_0023__obligations(R_0027_0021__THE_R_0027_0023__OBLIGATIONS)
      & has_r_0027_0024__of(R_0027_0021__THE_R_0027_0023__OBLIGATIONS,R_0027_0025__WORK)
      & has_attrib(R_0027_0021__THE_R_0027_0023__OBLIGATIONS,R_0027_0022__FEUDAL)
      & has_nim(R_0027_0019__TIED_R_0027_0020__TO,R_0027_0018__STILL)
      & has_arg0(R_0027_0016__WERE,R_0027_0001__THE_R_0027_0002__PEOPLE) ) ).