28_a_lob_g01
None of these classes, except the yeomen, paid or expected to pay direct taxes.
( (IP-MAT (NP-SBJ (Q;_nphd_ None;{none})
(PP (P-ROLE of;{of})
(NP (D these;{these})
(NS classes;{class})))
(PUNC ,)
(PP (P-ROLE except;{except})
(NP (D the;{the})
(N yeomen;{yeoman}))))
(PUNC ,)
(ILYR (ILYR (VBD;__ paid;{pay})
(NP-OB1 *ICH*-133))
(CONJP (CONJ or;{or})
(ILYR (VBD;__ expected;{expect})
(IP-INF-OB1 (TO to;{to})
(VB;__ pay;{pay})
(NP-OB1 *ICH*-133)))))
(NP-RNR-133 (ADJP (ADJ direct;{direct}))
(NS taxes;{tax}))
(PUNC .))
(ID 28_a_lob_g01))
arc(r_0028_0001__None__quant,r_0028_0011__or,scope).
arc(r_0028_0001__None__quant,z_0028_5005,restriction).
arc(r_0028_0010__paid,r_0028_0016__taxes,arg1).
arc(r_0028_0010__paid,z_0028_5005,arg0).
arc(r_0028_0011__or,r_0028_0010__paid,conj1).
arc(r_0028_0011__or,r_0028_0012__expected,conj2).
arc(r_0028_0012__expected,r_0028_0014__pay,arg1).
arc(r_0028_0012__expected,z_0028_5005,arg0).
arc(r_0028_0014__pay,r_0028_0016__taxes,arg1).
arc(r_0028_0014__pay,z_0028_5005,arg0).
arc(r_0028_0016__taxes,r_0028_0015__direct,attrib).
arc(z_0028_5005,r_0028_0003__these_r_0028_0004__classes,r_0028_0002__of).
arc(z_0028_5005,r_0028_0007__the_r_0028_0008__yeomen,r_0028_0006__except).
fof(formula,axiom,
! [Z_0028_5005,R_0028_0003__THESE_R_0028_0004__CLASSES,R_0028_0007__THE_R_0028_0008__YEOMEN] :
( ( r_0028_0003__these_r_0028_0004__classes(R_0028_0003__THESE_R_0028_0004__CLASSES)
& r_0028_0007__the_r_0028_0008__yeomen(R_0028_0007__THE_R_0028_0008__YEOMEN)
& z_0028_5005(Z_0028_5005)
& has_r_0028_0006__except(Z_0028_5005,R_0028_0007__THE_R_0028_0008__YEOMEN)
& has_r_0028_0002__of(Z_0028_5005,R_0028_0003__THESE_R_0028_0004__CLASSES) )
=> ? [R_0028_0015__DIRECT,R_0028_0016__TAXES,R_0028_0010__PAID,R_0028_0014__PAY,R_0028_0012__EXPECTED,R_0028_0011__OR] :
( r_0028_0015__direct(R_0028_0015__DIRECT)
& r_0028_0011__or(R_0028_0011__OR)
& has_conj2(R_0028_0011__OR,R_0028_0012__EXPECTED)
& r_0028_0012__expected(R_0028_0012__EXPECTED)
& has_arg0(R_0028_0012__EXPECTED,Z_0028_5005)
& has_arg1(R_0028_0012__EXPECTED,R_0028_0014__PAY)
& r_0028_0014__pay(R_0028_0014__PAY)
& has_arg0(R_0028_0014__PAY,Z_0028_5005)
& has_arg1(R_0028_0014__PAY,R_0028_0016__TAXES)
& r_0028_0016__taxes(R_0028_0016__TAXES)
& has_attrib(R_0028_0016__TAXES,R_0028_0015__DIRECT)
& has_conj1(R_0028_0011__OR,R_0028_0010__PAID)
& r_0028_0010__paid(R_0028_0010__PAID)
& has_arg0(R_0028_0010__PAID,Z_0028_5005)
& has_arg1(R_0028_0010__PAID,R_0028_0016__TAXES) ) ) ).