TSPC 38_a_lob

38_a_lob_g01
Every adult — defined as over fourteen years of age — except the beggar, was to pay a groat (4 d) to the royal exchequer.

arc(r_0038_0001__Every_quant, r_0038_0002__adult, restriction).
arc(r_0038_0001__Every_quant, r_0038_0016__was, scope).
arc(r_0038_0002__adult, r_0038_0013__the_r_0038_0014__beggar, r_0038_0012__except).
arc(r_0038_0004__defined, r_0038_0002__adult, arg1).
arc(r_0038_0004__defined, r_0038_0007__fourteen_r_0038_0008__years, prd).
arc(r_0038_0004__defined, z_000_38_a_lob_g01_10, arg0).
arc(r_0038_0007__fourteen_r_0038_0008__years, r_0038_0006__over, qual18).
arc(r_0038_0007__fourteen_r_0038_0008__years, r_0038_0010__age, r_0038_0009__of).
arc(r_0038_0016__was, r_0038_0017__to_r_0038_0018__pay, scope).
arc(r_0038_0017__to_r_0038_0018__pay, r_0038_0002__adult, arg0).
arc(r_0038_0017__to_r_0038_0018__pay, r_0038_0019__a_r_0038_0020__groat, arg1).
arc(r_0038_0017__to_r_0038_0018__pay, r_0038_0026__the_r_0038_0028__exchequer, r_0038_0025__to_clr68).
arc(r_0038_0026__the_r_0038_0028__exchequer, r_0038_0027__royal, attrib71).
arc(z_000_38_a_lob_g01_57, r_0038_0019__a_r_0038_0020__groat, arg0).
arc(z_000_38_a_lob_g01_57, r_0038_0022__4_r_0038_0023__d, prd).

fof(formula,axiom,
    ? [Z_38_A_LOB_G01_57,R_38_19_A_GROAT,R_38_22_4_D] :
      ( a_groat(R_38_19_A_GROAT)
      & 4_d(R_38_22_4_D)
      & ! [R_38_4_DEFINED,Z_38_A_LOB_G01_10,R_38_2_ADULT,R_38_13_THE_BEGGAR,R_38_7_FOURTEEN_YEARS,R_38_6_OVER,R_38_10_AGE] :
          ( ( the_beggar(R_38_13_THE_BEGGAR)
            & over(R_38_6_OVER)
            & age(R_38_10_AGE)
            & defined(R_38_4_DEFINED,Z_38_A_LOB_G01_10,R_38_2_ADULT,R_38_7_FOURTEEN_YEARS)
            & adult(R_38_2_ADULT)
            & except(R_38_2_ADULT,R_38_13_THE_BEGGAR)
            & fourteen_years(R_38_7_FOURTEEN_YEARS)
            & qual18(R_38_7_FOURTEEN_YEARS,R_38_6_OVER)
            & of(R_38_7_FOURTEEN_YEARS,R_38_10_AGE) )
         => ? [R_38_16_WAS_TO_PAY,R_38_26_THE_EXCHEQUER,R_38_27_ROYAL] :
              ( royal(R_38_27_ROYAL)
              & was_to_pay(R_38_16_WAS_TO_PAY,R_38_2_ADULT,R_38_19_A_GROAT)
              & to_clr68(R_38_16_WAS_TO_PAY,R_38_26_THE_EXCHEQUER)
              & the_exchequer(R_38_26_THE_EXCHEQUER)
              & attrib71(R_38_26_THE_EXCHEQUER,R_38_27_ROYAL) ) )
      & z_38_a_lob_g01_57(Z_38_A_LOB_G01_57,R_38_19_A_GROAT,R_38_22_4_D) ) ).

( (IP-MAT (NP-SBJ (Q Every;{every})
                  (N adult;{adult})
                  (PUNC <mdash>)
                  (IP-PPL (NP-LGS *)
                          (VVN;__ defined;{define})
                          (PP-PRD (P-ROLE as;{as})
                                  (NP (ADVP (ADV over;{over}))
                                      (NUM fourteen;{fourteen})
                                      (NS years;{year})
                                      (PP (P-ROLE of;{of})
                                          (NP (N age;{age}))))))
                  (PUNC <mdash>)
                  (PP (P-ROLE except;{except})
                      (NP (D the;{the})
                          (N beggar;{beggar}))))
          (PUNC ,)
          (BED;_cat_Vt_ was;{be})
          (IP-INF-CAT (TO to;{to})
                      (VB;__ pay;{pay})
                      (NP-OB1 (D a;{a})
                              (N groat;{groat})
                              (PULB -LRB-)
                              (IP-PPL (NP-PRD (NUM 4)
                                              (N d)))
                              (PURB -RRB-))
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (ADJP (ADJ royal;{royal}))
                                  (N exchequer;{exchequer}))))
          (PUNC .))
  (ID 38_a_lob_g01))