TSPC 29_a_lob

29_a_lob_g01
None of these classes, except the yeomen, paid or expected to pay direct taxes.

arc(r_0029_0001__None_quant, r_0029_0011__or, scope).
arc(r_0029_0001__None_quant, z_000_29_a_lob_g01_2, restriction).
arc(r_0029_0010__paid, r_0029_0016__taxes, arg1).
arc(r_0029_0010__paid, z_000_29_a_lob_g01_2, arg0).
arc(r_0029_0011__or, r_0029_0010__paid, conj1).
arc(r_0029_0011__or, r_0029_0012__expected, conj2).
arc(r_0029_0012__expected, r_0029_0013__to_r_0029_0014__pay, arg1).
arc(r_0029_0012__expected, z_000_29_a_lob_g01_2, arg0).
arc(r_0029_0013__to_r_0029_0014__pay, r_0029_0016__taxes, arg1).
arc(r_0029_0013__to_r_0029_0014__pay, z_000_29_a_lob_g01_2, arg0).
arc(r_0029_0016__taxes, r_0029_0015__direct, attrib45).
arc(z_000_29_a_lob_g01_2, r_0029_0003__these_r_0029_0004__classes, r_0029_0002__of).
arc(z_000_29_a_lob_g01_2, r_0029_0007__the_r_0029_0008__yeomen, r_0029_0006__except).

fof(formula,axiom,
    ! [Z_000_29_A_LOB_G01_2,R_0029_0003__THESE_R_0029_0004__CLASSES,R_0029_0007__THE_R_0029_0008__YEOMEN] :
      ( ( r_0029_0003__these_r_0029_0004__classes(R_0029_0003__THESE_R_0029_0004__CLASSES)
        & r_0029_0007__the_r_0029_0008__yeomen(R_0029_0007__THE_R_0029_0008__YEOMEN)
        & z_000_29_a_lob_g01_2(Z_000_29_A_LOB_G01_2)
        & has_r_0029_0006__except(Z_000_29_A_LOB_G01_2,R_0029_0007__THE_R_0029_0008__YEOMEN)
        & has_r_0029_0002__of(Z_000_29_A_LOB_G01_2,R_0029_0003__THESE_R_0029_0004__CLASSES) )
     => ? [R_0029_0015__DIRECT,R_0029_0016__TAXES,R_0029_0010__PAID,R_0029_0013__TO_R_0029_0014__PAY,R_0029_0012__EXPECTED,R_0029_0011__OR] :
          ( r_0029_0015__direct(R_0029_0015__DIRECT)
          & r_0029_0011__or(R_0029_0011__OR)
          & has_conj2(R_0029_0011__OR,R_0029_0012__EXPECTED)
          & r_0029_0012__expected(R_0029_0012__EXPECTED)
          & has_arg0(R_0029_0012__EXPECTED,Z_000_29_A_LOB_G01_2)
          & has_arg1(R_0029_0012__EXPECTED,R_0029_0013__TO_R_0029_0014__PAY)
          & r_0029_0013__to_r_0029_0014__pay(R_0029_0013__TO_R_0029_0014__PAY)
          & has_arg0(R_0029_0013__TO_R_0029_0014__PAY,Z_000_29_A_LOB_G01_2)
          & has_arg1(R_0029_0013__TO_R_0029_0014__PAY,R_0029_0016__TAXES)
          & r_0029_0016__taxes(R_0029_0016__TAXES)
          & has_attrib45(R_0029_0016__TAXES,R_0029_0015__DIRECT)
          & has_conj1(R_0029_0011__OR,R_0029_0010__PAID)
          & r_0029_0010__paid(R_0029_0010__PAID)
          & has_arg0(R_0029_0010__PAID,Z_000_29_A_LOB_G01_2)
          & has_arg1(R_0029_0010__PAID,R_0029_0016__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 29_a_lob_g01))