TSPC 48_a_lob

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

( (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 48_a_lob_g01))

arc(r_0048_0001__The_r_0048_0002__definition,r_0048_0004__an_r_0048_0005__adult,r_0048_0003__of).
arc(r_0048_0006__was,r_0048_0007__altered,scope).
arc(r_0048_0007__altered,r_0048_0001__The_r_0048_0002__definition,arg1).
arc(r_0048_0007__altered,z_0048_5010___star_,arg0).
arc(r_0048_0009__read,r_0048_0001__The_r_0048_0002__definition,arg1).
arc(r_0048_0009__read,r_0048_0012__sixteen,prd).
arc(r_0048_0009__read,z_0048_5007___star_,arg0).
arc(r_0048_0012__sixteen,r_0048_0011__over,qual).
arc(r_0048_0015__and,r_0048_0043__and,conj2).
arc(r_0048_0015__and,z_0048_5003,conj1).
arc(r_0048_0017__where,r_0048_0020__were,restriction).
arc(r_0048_0017__where,r_0048_0037__were,scope).
arc(r_0048_0018__the,r_0048_0019__poorest,attrib).
arc(r_0048_0020__were,r_0048_0022__pay,scope).
arc(r_0048_0022__pay,r_0048_0018__the,arg0).
arc(r_0048_0022__pay,r_0048_0023__a_r_0048_0024__groat,arg1).
arc(r_0048_0026__the_r_0048_0027__Duke,r_0048_0029__Lancaster,r_0048_0028__of).
arc(r_0048_0030__and,r_0048_0026__the_r_0048_0027__Duke,conj1).
arc(r_0048_0030__and,r_0048_0031__the_r_0048_0032__Archbishops,conj2).
arc(r_0048_0031__the_r_0048_0032__Archbishops,r_0048_0035__and,r_0048_0033__of).
arc(r_0048_0035__and,r_0048_0034__Canterbury,conj1).
arc(r_0048_0035__and,r_0048_0036__York,conj2).
arc(r_0048_0037__were,r_0048_0039__pay,scope).
arc(r_0048_0039__pay,r_0048_0030__and,arg0).
arc(r_0048_0039__pay,r_0048_0040__ten_r_0048_0041__marks,arg1).
arc(r_0048_0043__and,r_0048_0017__where,conj1).
arc(r_0048_0043__and,r_0048_0053__was,conj2).
arc(r_0048_0048__a_r_0048_0050__scale,r_0048_0052__payments,r_0048_0051__of).
arc(r_0048_0049__graduated,r_0048_0048__a_r_0048_0050__scale,inv_arg0).
arc(r_0048_0053__was,r_0048_0045__these_r_0048_0046__two_r_0048_0047__extremes,r_0048_0044__between__nim).
arc(r_0048_0053__was,r_0048_0054__fixed,scope).
arc(r_0048_0054__fixed,r_0048_0048__a_r_0048_0050__scale,arg1).
arc(r_0048_0054__fixed,r_0048_0056__the_r_0048_0058__classes,r_0048_0055__for__nim).
arc(r_0048_0054__fixed,z_0048_5038___star_,arg0).
arc(r_0048_0056__the_r_0048_0058__classes,r_0048_0057__different,attrib).
arc(r_0048_0056__the_r_0048_0058__classes,r_0048_0061__and,r_0048_0059__of).
arc(r_0048_0061__and,r_0048_0060__laymen,conj1).
arc(r_0048_0061__and,r_0048_0062__clerics,conj2).
arc(z_0048_5003,r_0048_0006__was,scope).
arc(z_0048_5003,r_0048_0009__read,restriction).

fof(formula,axiom,
    ? [R_0048_0019__POOREST,R_0048_0018__THE,R_0048_0023__A_R_0048_0024__GROAT,R_0048_0020__WERE_R_0048_0022__PAY,R_0048_0029__LANCASTER,R_0048_0026__THE_R_0048_0027__DUKE,R_0048_0034__CANTERBURY,R_0048_0036__YORK,R_0048_0035__AND,R_0048_0031__THE_R_0048_0032__ARCHBISHOPS,R_0048_0030__AND,R_0048_0040__TEN_R_0048_0041__MARKS,R_0048_0037__WERE_R_0048_0039__PAY,R_0048_0017__WHERE,R_0048_0045__THESE_R_0048_0046__TWO_R_0048_0047__EXTREMES,R_0048_0052__PAYMENTS,R_0048_0049__GRADUATED,R_0048_0048__A_R_0048_0050__SCALE,R_0048_0057__DIFFERENT,R_0048_0060__LAYMEN,R_0048_0062__CLERICS,R_0048_0061__AND,R_0048_0056__THE_R_0048_0058__CLASSES,Z_0048_5038___STAR_,R_0048_0053__WAS_R_0048_0054__FIXED,R_0048_0043__AND,R_0048_0004__AN_R_0048_0005__ADULT,R_0048_0001__THE_R_0048_0002__DEFINITION,Z_0048_5010___STAR_,R_0048_0006__WAS_R_0048_0007__ALTERED,R_0048_0011__OVER,R_0048_0012__SIXTEEN,Z_0048_5007___STAR_,R_0048_0009__READ,Z_0048_5003,R_0048_0015__AND] :
      ( r_0048_0004__an_r_0048_0005__adult(R_0048_0004__AN_R_0048_0005__ADULT)
      & r_0048_0011__over(R_0048_0011__OVER)
      & r_0048_0019__poorest(R_0048_0019__POOREST)
      & r_0048_0023__a_r_0048_0024__groat(R_0048_0023__A_R_0048_0024__GROAT)
      & r_0048_0029__Lancaster(R_0048_0029__LANCASTER)
      & r_0048_0034__Canterbury(R_0048_0034__CANTERBURY)
      & r_0048_0036__York(R_0048_0036__YORK)
      & r_0048_0040__ten_r_0048_0041__marks(R_0048_0040__TEN_R_0048_0041__MARKS)
      & r_0048_0045__these_r_0048_0046__two_r_0048_0047__extremes(R_0048_0045__THESE_R_0048_0046__TWO_R_0048_0047__EXTREMES)
      & r_0048_0049__graduated(R_0048_0049__GRADUATED)
      & r_0048_0052__payments(R_0048_0052__PAYMENTS)
      & r_0048_0057__different(R_0048_0057__DIFFERENT)
      & r_0048_0060__laymen(R_0048_0060__LAYMEN)
      & r_0048_0062__clerics(R_0048_0062__CLERICS)
      & z_0048_5007___star_(Z_0048_5007___STAR_)
      & z_0048_5010___star_(Z_0048_5010___STAR_)
      & z_0048_5038___star_(Z_0048_5038___STAR_)
      & r_0048_0015__and(R_0048_0015__AND)
      & has_conj1(R_0048_0015__AND,Z_0048_5003)
      & z_0048_5003(Z_0048_5003)
      & has_conj1(Z_0048_5003,R_0048_0009__READ)
      & r_0048_0009__read(R_0048_0009__READ)
      & has_arg0(R_0048_0009__READ,Z_0048_5007___STAR_)
      & has_prd(R_0048_0009__READ,R_0048_0012__SIXTEEN)
      & r_0048_0012__sixteen(R_0048_0012__SIXTEEN)
      & has_qual(R_0048_0012__SIXTEEN,R_0048_0011__OVER)
      & has_arg1(R_0048_0009__READ,R_0048_0001__THE_R_0048_0002__DEFINITION)
      & r_0048_0001__The_r_0048_0002__definition(R_0048_0001__THE_R_0048_0002__DEFINITION)
      & has_r_0048_0003__of(R_0048_0001__THE_R_0048_0002__DEFINITION,R_0048_0004__AN_R_0048_0005__ADULT)
      & has_conj2(Z_0048_5003,R_0048_0006__WAS_R_0048_0007__ALTERED)
      & r_0048_0006__was_r_0048_0007__altered(R_0048_0006__WAS_R_0048_0007__ALTERED)
      & has_arg0(R_0048_0006__WAS_R_0048_0007__ALTERED,Z_0048_5010___STAR_)
      & has_arg1(R_0048_0006__WAS_R_0048_0007__ALTERED,R_0048_0001__THE_R_0048_0002__DEFINITION)
      & has_conj2(R_0048_0015__AND,R_0048_0043__AND)
      & r_0048_0043__and(R_0048_0043__AND)
      & has_conj2(R_0048_0043__AND,R_0048_0053__WAS_R_0048_0054__FIXED)
      & r_0048_0053__was_r_0048_0054__fixed(R_0048_0053__WAS_R_0048_0054__FIXED)
      & has_arg0(R_0048_0053__WAS_R_0048_0054__FIXED,Z_0048_5038___STAR_)
      & has_r_0048_0055__for__nim(R_0048_0053__WAS_R_0048_0054__FIXED,R_0048_0056__THE_R_0048_0058__CLASSES)
      & r_0048_0056__the_r_0048_0058__classes(R_0048_0056__THE_R_0048_0058__CLASSES)
      & has_r_0048_0059__of(R_0048_0056__THE_R_0048_0058__CLASSES,R_0048_0061__AND)
      & r_0048_0061__and(R_0048_0061__AND)
      & has_conj2(R_0048_0061__AND,R_0048_0062__CLERICS)
      & has_conj1(R_0048_0061__AND,R_0048_0060__LAYMEN)
      & has_attrib(R_0048_0056__THE_R_0048_0058__CLASSES,R_0048_0057__DIFFERENT)
      & has_arg1(R_0048_0053__WAS_R_0048_0054__FIXED,R_0048_0048__A_R_0048_0050__SCALE)
      & r_0048_0048__a_r_0048_0050__scale(R_0048_0048__A_R_0048_0050__SCALE)
      & has_inv_arg0(R_0048_0048__A_R_0048_0050__SCALE,R_0048_0049__GRADUATED)
      & has_r_0048_0051__of(R_0048_0048__A_R_0048_0050__SCALE,R_0048_0052__PAYMENTS)
      & has_r_0048_0044__between__nim(R_0048_0053__WAS_R_0048_0054__FIXED,R_0048_0045__THESE_R_0048_0046__TWO_R_0048_0047__EXTREMES)
      & has_conj1(R_0048_0043__AND,R_0048_0017__WHERE)
      & r_0048_0017__where(R_0048_0017__WHERE)
      & has_conj2(R_0048_0017__WHERE,R_0048_0037__WERE_R_0048_0039__PAY)
      & r_0048_0037__were_r_0048_0039__pay(R_0048_0037__WERE_R_0048_0039__PAY)
      & has_arg1(R_0048_0037__WERE_R_0048_0039__PAY,R_0048_0040__TEN_R_0048_0041__MARKS)
      & has_arg0(R_0048_0037__WERE_R_0048_0039__PAY,R_0048_0030__AND)
      & r_0048_0030__and(R_0048_0030__AND)
      & has_conj2(R_0048_0030__AND,R_0048_0031__THE_R_0048_0032__ARCHBISHOPS)
      & r_0048_0031__the_r_0048_0032__Archbishops(R_0048_0031__THE_R_0048_0032__ARCHBISHOPS)
      & has_r_0048_0033__of(R_0048_0031__THE_R_0048_0032__ARCHBISHOPS,R_0048_0035__AND)
      & r_0048_0035__and(R_0048_0035__AND)
      & has_conj2(R_0048_0035__AND,R_0048_0036__YORK)
      & has_conj1(R_0048_0035__AND,R_0048_0034__CANTERBURY)
      & has_conj1(R_0048_0030__AND,R_0048_0026__THE_R_0048_0027__DUKE)
      & r_0048_0026__the_r_0048_0027__Duke(R_0048_0026__THE_R_0048_0027__DUKE)
      & has_r_0048_0028__of(R_0048_0026__THE_R_0048_0027__DUKE,R_0048_0029__LANCASTER)
      & has_conj1(R_0048_0017__WHERE,R_0048_0020__WERE_R_0048_0022__PAY)
      & r_0048_0020__were_r_0048_0022__pay(R_0048_0020__WERE_R_0048_0022__PAY)
      & has_arg1(R_0048_0020__WERE_R_0048_0022__PAY,R_0048_0023__A_R_0048_0024__GROAT)
      & has_arg0(R_0048_0020__WERE_R_0048_0022__PAY,R_0048_0018__THE)
      & r_0048_0018__the(R_0048_0018__THE)
      & has_attrib(R_0048_0018__THE,R_0048_0019__POOREST) ) ).