37_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.
( (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-)
(PRN (NP (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 37_a_lob_g01))
arc(r_0037_0001__Every__quant,r_0037_0002__adult,restriction).
arc(r_0037_0001__Every__quant,r_0037_0016__was,scope).
arc(r_0037_0002__adult,r_0037_0013__the_r_0037_0014__beggar,r_0037_0012__except).
arc(r_0037_0004__defined,r_0037_0002__adult,inv_arg1).
arc(r_0037_0004__defined,r_0037_0007__fourteen_r_0037_0008__years,r_0037_0005__as__prd).
arc(r_0037_0004__defined,z_0037_5006___star_,arg0).
arc(r_0037_0007__fourteen_r_0037_0008__years,r_0037_0006__over,qual).
arc(r_0037_0007__fourteen_r_0037_0008__years,r_0037_0010__age,r_0037_0009__of).
arc(r_0037_0016__was,r_0037_0018__pay,scope).
arc(r_0037_0018__pay,r_0037_0002__adult,arg0).
arc(r_0037_0018__pay,r_0037_0019__a_r_0037_0020__groat,arg1).
arc(r_0037_0018__pay,r_0037_0026__the_r_0037_0028__exchequer,r_0037_0025__to__clr).
arc(r_0037_0026__the_r_0037_0028__exchequer,r_0037_0027__royal,attrib).
arc(z_0037_5012,r_0037_0019__a_r_0037_0020__groat,arg0).
arc(z_0037_5012,r_0037_0022__4_r_0037_0023__d,prd).
fof(formula,axiom,
? [R_0037_0019__A_R_0037_0020__GROAT,R_0037_0022__4_R_0037_0023__D,Z_0037_5012] :
( r_0037_0019__a_r_0037_0020__groat(R_0037_0019__A_R_0037_0020__GROAT)
& r_0037_0022__4_r_0037_0023__d(R_0037_0022__4_R_0037_0023__D)
& z_0037_5012(Z_0037_5012)
& has_prd(Z_0037_5012,R_0037_0022__4_R_0037_0023__D)
& has_arg0(Z_0037_5012,R_0037_0019__A_R_0037_0020__GROAT)
& ! [R_0037_0002__ADULT,R_0037_0013__THE_R_0037_0014__BEGGAR,R_0037_0006__OVER,R_0037_0010__AGE,R_0037_0007__FOURTEEN_R_0037_0008__YEARS,Z_0037_5006___STAR_,R_0037_0004__DEFINED] :
( ( r_0037_0006__over(R_0037_0006__OVER)
& r_0037_0010__age(R_0037_0010__AGE)
& r_0037_0013__the_r_0037_0014__beggar(R_0037_0013__THE_R_0037_0014__BEGGAR)
& z_0037_5006___star_(Z_0037_5006___STAR_)
& r_0037_0002__adult(R_0037_0002__ADULT)
& has_inv_arg1(R_0037_0002__ADULT,R_0037_0004__DEFINED)
& r_0037_0004__defined(R_0037_0004__DEFINED)
& has_arg0(R_0037_0004__DEFINED,Z_0037_5006___STAR_)
& has_r_0037_0005__as__prd(R_0037_0004__DEFINED,R_0037_0007__FOURTEEN_R_0037_0008__YEARS)
& r_0037_0007__fourteen_r_0037_0008__years(R_0037_0007__FOURTEEN_R_0037_0008__YEARS)
& has_r_0037_0009__of(R_0037_0007__FOURTEEN_R_0037_0008__YEARS,R_0037_0010__AGE)
& has_qual(R_0037_0007__FOURTEEN_R_0037_0008__YEARS,R_0037_0006__OVER)
& has_r_0037_0012__except(R_0037_0002__ADULT,R_0037_0013__THE_R_0037_0014__BEGGAR) )
=> ? [R_0037_0027__ROYAL,R_0037_0026__THE_R_0037_0028__EXCHEQUER,R_0037_0016__WAS_R_0037_0018__PAY] :
( r_0037_0027__royal(R_0037_0027__ROYAL)
& r_0037_0016__was_r_0037_0018__pay(R_0037_0016__WAS_R_0037_0018__PAY)
& has_r_0037_0025__to__clr(R_0037_0016__WAS_R_0037_0018__PAY,R_0037_0026__THE_R_0037_0028__EXCHEQUER)
& r_0037_0026__the_r_0037_0028__exchequer(R_0037_0026__THE_R_0037_0028__EXCHEQUER)
& has_attrib(R_0037_0026__THE_R_0037_0028__EXCHEQUER,R_0037_0027__ROYAL)
& has_arg1(R_0037_0016__WAS_R_0037_0018__PAY,R_0037_0019__A_R_0037_0020__GROAT)
& has_arg0(R_0037_0016__WAS_R_0037_0018__PAY,R_0037_0002__ADULT) ) ) ) ).