TSPC 49_a_lob

49_a_lob_g01
The definition of an adult was altered to read ‘over sixteen’, and, where the poorest were to pay a groat, the Duke of Lancaster and the Archbishops of Canterbury and York were to pay ten marks, and between these two extremes a graduated scale of payments was fixed for the different classes of laymen and clerics.

arc(r_0049_0001__The_r_0049_0002__definition, r_0049_0004__an_r_0049_0005__adult, r_0049_0003__of).
arc(r_0049_0006__was, r_0049_0007__altered, scope).
arc(r_0049_0007__altered, r_0049_0001__The_r_0049_0002__definition, arg1).
arc(r_0049_0007__altered, z_000_49_a_lob_g01_20, arg0).
arc(r_0049_0008__to_r_0049_0009__read, r_0049_0001__The_r_0049_0002__definition, arg1).
arc(r_0049_0008__to_r_0049_0009__read, r_0049_0012__sixteen, prd).
arc(r_0049_0008__to_r_0049_0009__read, z_000_49_a_lob_g01_26, arg0).
arc(r_0049_0012__sixteen, r_0049_0011__over, qual35).
arc(r_0049_0015__and, r_0049_0043__and, conj2).
arc(r_0049_0015__and, z_000_49_a_lob_g01_24, conj1).
arc(r_0049_0017__where, r_0049_0020__were, restriction).
arc(r_0049_0017__where, r_0049_0037__were, scope).
arc(r_0049_0018__the, r_0049_0019__poorest, attrib59).
arc(r_0049_0020__were, r_0049_0021__to_r_0049_0022__pay, scope).
arc(r_0049_0021__to_r_0049_0022__pay, r_0049_0018__the, arg0).
arc(r_0049_0021__to_r_0049_0022__pay, r_0049_0023__a_r_0049_0024__groat, arg1).
arc(r_0049_0026__the_r_0049_0027__Duke, r_0049_0029__Lancaster, r_0049_0028__of).
arc(r_0049_0030__and, r_0049_0026__the_r_0049_0027__Duke, conj1).
arc(r_0049_0030__and, r_0049_0031__the_r_0049_0032__Archbishops, conj2).
arc(r_0049_0031__the_r_0049_0032__Archbishops, r_0049_0035__and, r_0049_0033__of).
arc(r_0049_0035__and, r_0049_0034__Canterbury, conj1).
arc(r_0049_0035__and, r_0049_0036__York, conj2).
arc(r_0049_0037__were, r_0049_0038__to_r_0049_0039__pay, scope).
arc(r_0049_0038__to_r_0049_0039__pay, r_0049_0030__and, arg0).
arc(r_0049_0038__to_r_0049_0039__pay, r_0049_0040__ten_r_0049_0041__marks, arg1).
arc(r_0049_0043__and, r_0049_0017__where, conj1).
arc(r_0049_0043__and, r_0049_0053__was, conj2).
arc(r_0049_0048__a_r_0049_0050__scale, r_0049_0052__payments, r_0049_0051__of).
arc(r_0049_0049__graduated, r_0049_0048__a_r_0049_0050__scale, arg0).
arc(r_0049_0053__was, r_0049_0045__these_r_0049_0046__two_r_0049_0047__extremes, r_0049_0044__between_nim132).
arc(r_0049_0053__was, r_0049_0054__fixed, scope).
arc(r_0049_0054__fixed, r_0049_0048__a_r_0049_0050__scale, arg1).
arc(r_0049_0054__fixed, r_0049_0056__the_r_0049_0058__classes, r_0049_0055__for_nim163).
arc(r_0049_0054__fixed, z_000_49_a_lob_g01_156, arg0).
arc(r_0049_0056__the_r_0049_0058__classes, r_0049_0057__different, attrib166).
arc(r_0049_0056__the_r_0049_0058__classes, r_0049_0061__and, r_0049_0059__of).
arc(r_0049_0061__and, r_0049_0060__laymen, conj1).
arc(r_0049_0061__and, r_0049_0062__clerics, conj2).
arc(z_000_49_a_lob_g01_24, r_0049_0006__was, scope).
arc(z_000_49_a_lob_g01_24, r_0049_0008__to_r_0049_0009__read, restriction).

fof(formula,axiom,
    ? [R_0049_0019__POOREST,R_0049_0018__THE,R_0049_0023__A_R_0049_0024__GROAT,R_0049_0020__WERE_R_0049_0021__TO_R_0049_0022__PAY,R_0049_0029__LANCASTER,R_0049_0026__THE_R_0049_0027__DUKE,R_0049_0034__CANTERBURY,R_0049_0036__YORK,R_0049_0035__AND,R_0049_0031__THE_R_0049_0032__ARCHBISHOPS,R_0049_0030__AND,R_0049_0040__TEN_R_0049_0041__MARKS,R_0049_0037__WERE_R_0049_0038__TO_R_0049_0039__PAY,R_0049_0017__WHERE,R_0049_0045__THESE_R_0049_0046__TWO_R_0049_0047__EXTREMES,R_0049_0052__PAYMENTS,R_0049_0048__A_R_0049_0050__SCALE,R_0049_0057__DIFFERENT,R_0049_0060__LAYMEN,R_0049_0062__CLERICS,R_0049_0061__AND,R_0049_0056__THE_R_0049_0058__CLASSES,Z_000_49_A_LOB_G01_156,R_0049_0053__WAS_R_0049_0054__FIXED,R_0049_0043__AND,R_0049_0004__AN_R_0049_0005__ADULT,R_0049_0001__THE_R_0049_0002__DEFINITION,Z_000_49_A_LOB_G01_20,R_0049_0006__WAS_R_0049_0007__ALTERED,R_0049_0011__OVER,R_0049_0012__SIXTEEN,Z_000_49_A_LOB_G01_26,R_0049_0008__TO_R_0049_0009__READ,Z_000_49_A_LOB_G01_24,R_0049_0015__AND,R_0049_0049__GRADUATED] :
      ( r_0049_0004__an_r_0049_0005__adult(R_0049_0004__AN_R_0049_0005__ADULT)
      & r_0049_0011__over(R_0049_0011__OVER)
      & r_0049_0019__poorest(R_0049_0019__POOREST)
      & r_0049_0023__a_r_0049_0024__groat(R_0049_0023__A_R_0049_0024__GROAT)
      & r_0049_0029__Lancaster(R_0049_0029__LANCASTER)
      & r_0049_0034__Canterbury(R_0049_0034__CANTERBURY)
      & r_0049_0036__York(R_0049_0036__YORK)
      & r_0049_0040__ten_r_0049_0041__marks(R_0049_0040__TEN_R_0049_0041__MARKS)
      & r_0049_0045__these_r_0049_0046__two_r_0049_0047__extremes(R_0049_0045__THESE_R_0049_0046__TWO_R_0049_0047__EXTREMES)
      & r_0049_0052__payments(R_0049_0052__PAYMENTS)
      & r_0049_0057__different(R_0049_0057__DIFFERENT)
      & r_0049_0060__laymen(R_0049_0060__LAYMEN)
      & r_0049_0062__clerics(R_0049_0062__CLERICS)
      & z_000_49_a_lob_g01_156(Z_000_49_A_LOB_G01_156)
      & z_000_49_a_lob_g01_20(Z_000_49_A_LOB_G01_20)
      & z_000_49_a_lob_g01_26(Z_000_49_A_LOB_G01_26)
      & r_0049_0049__graduated(R_0049_0049__GRADUATED)
      & has_arg0(R_0049_0049__GRADUATED,R_0049_0048__A_R_0049_0050__SCALE)
      & r_0049_0048__a_r_0049_0050__scale(R_0049_0048__A_R_0049_0050__SCALE)
      & has_r_0049_0051__of(R_0049_0048__A_R_0049_0050__SCALE,R_0049_0052__PAYMENTS)
      & r_0049_0015__and(R_0049_0015__AND)
      & has_conj1(R_0049_0015__AND,Z_000_49_A_LOB_G01_24)
      & z_000_49_a_lob_g01_24(Z_000_49_A_LOB_G01_24)
      & has_conj1(Z_000_49_A_LOB_G01_24,R_0049_0008__TO_R_0049_0009__READ)
      & r_0049_0008__to_r_0049_0009__read(R_0049_0008__TO_R_0049_0009__READ)
      & has_arg0(R_0049_0008__TO_R_0049_0009__READ,Z_000_49_A_LOB_G01_26)
      & has_prd(R_0049_0008__TO_R_0049_0009__READ,R_0049_0012__SIXTEEN)
      & r_0049_0012__sixteen(R_0049_0012__SIXTEEN)
      & has_qual35(R_0049_0012__SIXTEEN,R_0049_0011__OVER)
      & has_arg1(R_0049_0008__TO_R_0049_0009__READ,R_0049_0001__THE_R_0049_0002__DEFINITION)
      & r_0049_0001__The_r_0049_0002__definition(R_0049_0001__THE_R_0049_0002__DEFINITION)
      & has_r_0049_0003__of(R_0049_0001__THE_R_0049_0002__DEFINITION,R_0049_0004__AN_R_0049_0005__ADULT)
      & has_conj2(Z_000_49_A_LOB_G01_24,R_0049_0006__WAS_R_0049_0007__ALTERED)
      & r_0049_0006__was_r_0049_0007__altered(R_0049_0006__WAS_R_0049_0007__ALTERED)
      & has_arg0(R_0049_0006__WAS_R_0049_0007__ALTERED,Z_000_49_A_LOB_G01_20)
      & has_arg1(R_0049_0006__WAS_R_0049_0007__ALTERED,R_0049_0001__THE_R_0049_0002__DEFINITION)
      & has_conj2(R_0049_0015__AND,R_0049_0043__AND)
      & r_0049_0043__and(R_0049_0043__AND)
      & has_conj2(R_0049_0043__AND,R_0049_0053__WAS_R_0049_0054__FIXED)
      & r_0049_0053__was_r_0049_0054__fixed(R_0049_0053__WAS_R_0049_0054__FIXED)
      & has_arg0(R_0049_0053__WAS_R_0049_0054__FIXED,Z_000_49_A_LOB_G01_156)
      & has_r_0049_0055__for_nim163(R_0049_0053__WAS_R_0049_0054__FIXED,R_0049_0056__THE_R_0049_0058__CLASSES)
      & r_0049_0056__the_r_0049_0058__classes(R_0049_0056__THE_R_0049_0058__CLASSES)
      & has_r_0049_0059__of(R_0049_0056__THE_R_0049_0058__CLASSES,R_0049_0061__AND)
      & r_0049_0061__and(R_0049_0061__AND)
      & has_conj2(R_0049_0061__AND,R_0049_0062__CLERICS)
      & has_conj1(R_0049_0061__AND,R_0049_0060__LAYMEN)
      & has_attrib166(R_0049_0056__THE_R_0049_0058__CLASSES,R_0049_0057__DIFFERENT)
      & has_arg1(R_0049_0053__WAS_R_0049_0054__FIXED,R_0049_0048__A_R_0049_0050__SCALE)
      & has_r_0049_0044__between_nim132(R_0049_0053__WAS_R_0049_0054__FIXED,R_0049_0045__THESE_R_0049_0046__TWO_R_0049_0047__EXTREMES)
      & has_conj1(R_0049_0043__AND,R_0049_0017__WHERE)
      & r_0049_0017__where(R_0049_0017__WHERE)
      & has_conj2(R_0049_0017__WHERE,R_0049_0037__WERE_R_0049_0038__TO_R_0049_0039__PAY)
      & r_0049_0037__were_r_0049_0038__to_r_0049_0039__pay(R_0049_0037__WERE_R_0049_0038__TO_R_0049_0039__PAY)
      & has_arg1(R_0049_0037__WERE_R_0049_0038__TO_R_0049_0039__PAY,R_0049_0040__TEN_R_0049_0041__MARKS)
      & has_arg0(R_0049_0037__WERE_R_0049_0038__TO_R_0049_0039__PAY,R_0049_0030__AND)
      & r_0049_0030__and(R_0049_0030__AND)
      & has_conj2(R_0049_0030__AND,R_0049_0031__THE_R_0049_0032__ARCHBISHOPS)
      & r_0049_0031__the_r_0049_0032__Archbishops(R_0049_0031__THE_R_0049_0032__ARCHBISHOPS)
      & has_r_0049_0033__of(R_0049_0031__THE_R_0049_0032__ARCHBISHOPS,R_0049_0035__AND)
      & r_0049_0035__and(R_0049_0035__AND)
      & has_conj2(R_0049_0035__AND,R_0049_0036__YORK)
      & has_conj1(R_0049_0035__AND,R_0049_0034__CANTERBURY)
      & has_conj1(R_0049_0030__AND,R_0049_0026__THE_R_0049_0027__DUKE)
      & r_0049_0026__the_r_0049_0027__Duke(R_0049_0026__THE_R_0049_0027__DUKE)
      & has_r_0049_0028__of(R_0049_0026__THE_R_0049_0027__DUKE,R_0049_0029__LANCASTER)
      & has_conj1(R_0049_0017__WHERE,R_0049_0020__WERE_R_0049_0021__TO_R_0049_0022__PAY)
      & r_0049_0020__were_r_0049_0021__to_r_0049_0022__pay(R_0049_0020__WERE_R_0049_0021__TO_R_0049_0022__PAY)
      & has_arg1(R_0049_0020__WERE_R_0049_0021__TO_R_0049_0022__PAY,R_0049_0023__A_R_0049_0024__GROAT)
      & has_arg0(R_0049_0020__WERE_R_0049_0021__TO_R_0049_0022__PAY,R_0049_0018__THE)
      & r_0049_0018__the(R_0049_0018__THE)
      & has_attrib59(R_0049_0018__THE,R_0049_0019__POOREST) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N definition;{definition})
                              (PP (P-ROLE of;{of})
                                  (NP (D an;{an})
                                      (N adult;{adult}))))
                      (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ altered;{alter}))
                      (PP-SCON (IP-INF (NP-LGS *)
                                       (TO to;{to})
                                       (VB;_Cn.n/a_ read;{read[as]})
                                       (NP-PRD (PULQ <lquo>)
                                               (ADVP (ADV over;{over}))
                                               (NUM sixteen;{sixteen})
                                               (PURQ <rquo>)))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (PUNC ,)
                       (ILYR (ILYR (ILYR (PP-SCON (P-CONN where;{where})
                                                  (IP-ADV (NP-SBJ (D the;{the})
                                                                  (ADJP (ADJS poorest;{poor})))
                                                          (BED;_cat_Vt_ were;{be})
                                                          (IP-INF-CAT (TO to;{to})
                                                                      (VB;__ pay;{pay})
                                                                      (NP-OB1 (D a;{a})
                                                                              (N groat;{groat})))))
                                         (PUNC ,)
                                         (NP-SBJ (NLYR (NLYR (D the;{the})
                                                             (N Duke;{duke})
                                                             (PP (P-ROLE of;{of})
                                                                 (NP (NPR Lancaster;{Lancaster}))))
                                                       (CONJP (CONJ and;{and})
                                                              (NLYR (D the;{the})
                                                                    (NS Archbishops;{archbishop})
                                                                    (PP (P-ROLE of;{of})
                                                                        (NP (NLYR (NLYR (NPR Canterbury;{Canterbury}))
                                                                                  (CONJP (CONJ and;{and})
                                                                                         (NLYR (NPR York;{York}))))))))))
                                         (BED;_cat_Vt_ were;{be})
                                         (IP-INF-CAT (TO to;{to})
                                                     (VB;__ pay;{pay})
                                                     (NP-OB1 (NUM ten;{ten})
                                                             (NS marks;{mark}))))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (PP-NIM (P-ROLE between;{between})
                                                        (NP (D these;{these})
                                                            (NUM two;{two})
                                                            (NS extremes;{extreme})))
                                                (NP-SBJ (D a;{a})
                                                        (IP-PPL (VVN;__ graduated;{graduate}))
                                                        (N scale;{scale})
                                                        (PP (P-ROLE of;{of})
                                                            (NP (NS payments;{payment}))))
                                                (BED;_cat_VePASS_ was;{be})
                                                (IP-PPL-CAT (NP-LGS *)
                                                            (VVN;__ fixed;{fix})
                                                            (PP-NIM (P-ROLE for;{for})
                                                                    (NP (D the;{the})
                                                                        (ADJP (ADJ different;{different}))
                                                                        (NS classes;{class})
                                                                        (PP (P-ROLE of;{of})
                                                                            (NP (NLYR (NLYR (NS laymen;{layman}))
                                                                                      (CONJP (CONJ and;{and})
                                                                                             (NLYR (NS clerics;{cleric})))))))))))))))
          (PUNC .))
  (ID 49_a_lob_g01))