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_29_A_LOB_G01_2,R_29_3_THESE_CLASSES,R_29_7_THE_YEOMEN] :
      ( ( these_classes(R_29_3_THESE_CLASSES)
        & the_yeomen(R_29_7_THE_YEOMEN)
        & z_29_a_lob_g01_2(Z_29_A_LOB_G01_2)
        & of(Z_29_A_LOB_G01_2,R_29_3_THESE_CLASSES)
        & except(Z_29_A_LOB_G01_2,R_29_7_THE_YEOMEN) )
     => ? [R_29_11_OR,R_29_10_PAID,R_29_12_EXPECTED,R_29_13_TO_PAY,R_29_16_TAXES,R_29_15_DIRECT] :
          ( direct(R_29_15_DIRECT)
          & or(R_29_11_OR)
          & conj1(R_29_11_OR,R_29_10_PAID)
          & paid(R_29_10_PAID,Z_29_A_LOB_G01_2,R_29_16_TAXES)
          & taxes(R_29_16_TAXES)
          & attrib45(R_29_16_TAXES,R_29_15_DIRECT)
          & conj2(R_29_11_OR,R_29_12_EXPECTED)
          & expected(R_29_12_EXPECTED,Z_29_A_LOB_G01_2,R_29_13_TO_PAY)
          & to_pay(R_29_13_TO_PAY,Z_29_A_LOB_G01_2,R_29_16_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))