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,
? [R_0038_0019__A_R_0038_0020__GROAT,R_0038_0022__4_R_0038_0023__D,Z_000_38_A_LOB_G01_57] :
( r_0038_0019__a_r_0038_0020__groat(R_0038_0019__A_R_0038_0020__GROAT)
& r_0038_0022__4_r_0038_0023__d(R_0038_0022__4_R_0038_0023__D)
& z_000_38_a_lob_g01_57(Z_000_38_A_LOB_G01_57)
& has_prd(Z_000_38_A_LOB_G01_57,R_0038_0022__4_R_0038_0023__D)
& has_arg0(Z_000_38_A_LOB_G01_57,R_0038_0019__A_R_0038_0020__GROAT)
& ! [R_0038_0002__ADULT,R_0038_0013__THE_R_0038_0014__BEGGAR,R_0038_0006__OVER,R_0038_0010__AGE,R_0038_0007__FOURTEEN_R_0038_0008__YEARS,Z_000_38_A_LOB_G01_10,R_0038_0004__DEFINED] :
( ( r_0038_0006__over(R_0038_0006__OVER)
& r_0038_0010__age(R_0038_0010__AGE)
& r_0038_0013__the_r_0038_0014__beggar(R_0038_0013__THE_R_0038_0014__BEGGAR)
& z_000_38_a_lob_g01_10(Z_000_38_A_LOB_G01_10)
& r_0038_0004__defined(R_0038_0004__DEFINED)
& has_arg0(R_0038_0004__DEFINED,Z_000_38_A_LOB_G01_10)
& has_prd(R_0038_0004__DEFINED,R_0038_0007__FOURTEEN_R_0038_0008__YEARS)
& r_0038_0007__fourteen_r_0038_0008__years(R_0038_0007__FOURTEEN_R_0038_0008__YEARS)
& has_r_0038_0009__of(R_0038_0007__FOURTEEN_R_0038_0008__YEARS,R_0038_0010__AGE)
& has_qual18(R_0038_0007__FOURTEEN_R_0038_0008__YEARS,R_0038_0006__OVER)
& has_arg1(R_0038_0004__DEFINED,R_0038_0002__ADULT)
& r_0038_0002__adult(R_0038_0002__ADULT)
& has_r_0038_0012__except(R_0038_0002__ADULT,R_0038_0013__THE_R_0038_0014__BEGGAR) )
=> ? [R_0038_0027__ROYAL,R_0038_0026__THE_R_0038_0028__EXCHEQUER,R_0038_0016__WAS_R_0038_0017__TO_R_0038_0018__PAY] :
( r_0038_0027__royal(R_0038_0027__ROYAL)
& r_0038_0016__was_r_0038_0017__to_r_0038_0018__pay(R_0038_0016__WAS_R_0038_0017__TO_R_0038_0018__PAY)
& has_r_0038_0025__to_clr68(R_0038_0016__WAS_R_0038_0017__TO_R_0038_0018__PAY,R_0038_0026__THE_R_0038_0028__EXCHEQUER)
& r_0038_0026__the_r_0038_0028__exchequer(R_0038_0026__THE_R_0038_0028__EXCHEQUER)
& has_attrib71(R_0038_0026__THE_R_0038_0028__EXCHEQUER,R_0038_0027__ROYAL)
& has_arg1(R_0038_0016__WAS_R_0038_0017__TO_R_0038_0018__PAY,R_0038_0019__A_R_0038_0020__GROAT)
& has_arg0(R_0038_0016__WAS_R_0038_0017__TO_R_0038_0018__PAY,R_0038_0002__ADULT) ) ) ) ).
( (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))