Context                Previous, Next                Top


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

%3 r_0029_0001__None_quant None [quant] r_0029_0011__or or r_0029_0001__None_quant->r_0029_0011__or [scope] z_000_29_a_lob_g01_2 r_0029_0001__None_quant->z_000_29_a_lob_g01_2 [restriction] r_0029_0010__paid paid r_0029_0011__or->r_0029_0010__paid [conj1] r_0029_0012__expected expected r_0029_0011__or->r_0029_0012__expected [conj2] r_0029_0003__these_r_0029_0004__classes these classes z_000_29_a_lob_g01_2->r_0029_0003__these_r_0029_0004__classes of r_0029_0007__the_r_0029_0008__yeomen the yeomen z_000_29_a_lob_g01_2->r_0029_0007__the_r_0029_0008__yeomen except r_0029_0010__paid->z_000_29_a_lob_g01_2 [arg0] r_0029_0016__taxes taxes r_0029_0010__paid->r_0029_0016__taxes [arg1] r_0029_0015__direct direct r_0029_0016__taxes->r_0029_0015__direct [attrib] r_0029_0012__expected->z_000_29_a_lob_g01_2 [arg0] r_0029_0013__to_r_0029_0014__pay to pay r_0029_0012__expected->r_0029_0013__to_r_0029_0014__pay [arg1] r_0029_0013__to_r_0029_0014__pay->z_000_29_a_lob_g01_2 [arg0] r_0029_0013__to_r_0029_0014__pay->r_0029_0016__taxes [arg1] 
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).


%3 r_0029_0001__None_quant None [quant] r_0029_0011__or or r_0029_0001__None_quant->r_0029_0011__or [scope] z_000_29_a_lob_g01_2 r_0029_0001__None_quant->z_000_29_a_lob_g01_2 [restriction] r_0029_0010__paid paid r_0029_0011__or->r_0029_0010__paid [conj1] r_0029_0012__expected expected r_0029_0011__or->r_0029_0012__expected [conj2] r_0029_0003__these_r_0029_0004__classes these classes z_000_29_a_lob_g01_2->r_0029_0003__these_r_0029_0004__classes of r_0029_0007__the_r_0029_0008__yeomen the yeomen z_000_29_a_lob_g01_2->r_0029_0007__the_r_0029_0008__yeomen except r_0029_0010__paid->z_000_29_a_lob_g01_2 [arg0] r_0029_0016__taxes taxes r_0029_0010__paid->r_0029_0016__taxes [arg1] r_0029_0015__direct direct r_0029_0016__taxes->r_0029_0015__direct [attrib] r_0029_0012__expected->z_000_29_a_lob_g01_2 [arg0] r_0029_0013__to_r_0029_0014__pay to pay r_0029_0012__expected->r_0029_0013__to_r_0029_0014__pay [arg1] r_0029_0013__to_r_0029_0014__pay->z_000_29_a_lob_g01_2 [arg0] r_0029_0013__to_r_0029_0014__pay->r_0029_0016__taxes [arg1] 
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) ) ) ).


n29_a_lob_g01 n29_a_lob_g01_4 None n29_a_lob_g01_7 of n29_a_lob_g01_10 these n29_a_lob_g01_12 classes n29_a_lob_g01_14 , n29_a_lob_g01_17 except n29_a_lob_g01_20 the n29_a_lob_g01_22 yeomen n29_a_lob_g01_24 , n29_a_lob_g01_28 paid n29_a_lob_g01_30 *ICH*-133 n29_a_lob_g01_33 or n29_a_lob_g01_36 expected n29_a_lob_g01_39 to n29_a_lob_g01_41 pay n29_a_lob_g01_43 *ICH*-133 n29_a_lob_g01_47 direct n29_a_lob_g01_49 taxes n29_a_lob_g01_51 . n29_a_lob_g01_1 IP-MAT n29_a_lob_g01_2 NP-SBJ n29_a_lob_g01_1->n29_a_lob_g01_2 n29_a_lob_g01_23 PUNC n29_a_lob_g01_1->n29_a_lob_g01_23 n29_a_lob_g01_25 ILYR n29_a_lob_g01_1->n29_a_lob_g01_25 n29_a_lob_g01_44 NP-RNR-133 n29_a_lob_g01_1->n29_a_lob_g01_44 n29_a_lob_g01_50 PUNC n29_a_lob_g01_1->n29_a_lob_g01_50 n29_a_lob_g01_3 Q;_nphd_ n29_a_lob_g01_2->n29_a_lob_g01_3 n29_a_lob_g01_5 PP n29_a_lob_g01_2->n29_a_lob_g01_5 n29_a_lob_g01_13 PUNC n29_a_lob_g01_2->n29_a_lob_g01_13 n29_a_lob_g01_15 PP n29_a_lob_g01_2->n29_a_lob_g01_15 n29_a_lob_g01_3->n29_a_lob_g01_4 n29_a_lob_g01_6 P-ROLE n29_a_lob_g01_5->n29_a_lob_g01_6 n29_a_lob_g01_8 NP n29_a_lob_g01_5->n29_a_lob_g01_8 n29_a_lob_g01_6->n29_a_lob_g01_7 n29_a_lob_g01_9 D n29_a_lob_g01_8->n29_a_lob_g01_9 n29_a_lob_g01_11 NS n29_a_lob_g01_8->n29_a_lob_g01_11 n29_a_lob_g01_9->n29_a_lob_g01_10 n29_a_lob_g01_11->n29_a_lob_g01_12 n29_a_lob_g01_13->n29_a_lob_g01_14 n29_a_lob_g01_16 P-ROLE n29_a_lob_g01_15->n29_a_lob_g01_16 n29_a_lob_g01_18 NP n29_a_lob_g01_15->n29_a_lob_g01_18 n29_a_lob_g01_16->n29_a_lob_g01_17 n29_a_lob_g01_19 D n29_a_lob_g01_18->n29_a_lob_g01_19 n29_a_lob_g01_21 N n29_a_lob_g01_18->n29_a_lob_g01_21 n29_a_lob_g01_19->n29_a_lob_g01_20 n29_a_lob_g01_21->n29_a_lob_g01_22 n29_a_lob_g01_23->n29_a_lob_g01_24 n29_a_lob_g01_26 ILYR n29_a_lob_g01_25->n29_a_lob_g01_26 n29_a_lob_g01_31 CONJP n29_a_lob_g01_25->n29_a_lob_g01_31 n29_a_lob_g01_27 VBD;__ n29_a_lob_g01_26->n29_a_lob_g01_27 n29_a_lob_g01_29 NP-OB1 n29_a_lob_g01_26->n29_a_lob_g01_29 n29_a_lob_g01_27->n29_a_lob_g01_28 n29_a_lob_g01_29->n29_a_lob_g01_30 n29_a_lob_g01_32 CONJ n29_a_lob_g01_31->n29_a_lob_g01_32 n29_a_lob_g01_34 ILYR n29_a_lob_g01_31->n29_a_lob_g01_34 n29_a_lob_g01_32->n29_a_lob_g01_33 n29_a_lob_g01_35 VBD;__ n29_a_lob_g01_34->n29_a_lob_g01_35 n29_a_lob_g01_37 IP-INF-OB1 n29_a_lob_g01_34->n29_a_lob_g01_37 n29_a_lob_g01_35->n29_a_lob_g01_36 n29_a_lob_g01_38 TO n29_a_lob_g01_37->n29_a_lob_g01_38 n29_a_lob_g01_40 VB;__ n29_a_lob_g01_37->n29_a_lob_g01_40 n29_a_lob_g01_42 NP-OB1 n29_a_lob_g01_37->n29_a_lob_g01_42 n29_a_lob_g01_38->n29_a_lob_g01_39 n29_a_lob_g01_40->n29_a_lob_g01_41 n29_a_lob_g01_42->n29_a_lob_g01_43 n29_a_lob_g01_45 ADJP n29_a_lob_g01_44->n29_a_lob_g01_45 n29_a_lob_g01_48 NS n29_a_lob_g01_44->n29_a_lob_g01_48 n29_a_lob_g01_46 ADJ n29_a_lob_g01_45->n29_a_lob_g01_46 n29_a_lob_g01_46->n29_a_lob_g01_47 n29_a_lob_g01_48->n29_a_lob_g01_49 n29_a_lob_g01_50->n29_a_lob_g01_51 
( (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))