22_a_lob_a01
These plans do not give the Africans the overall majority they are seeking.

%3 r_0022_0003__do_r_0022_0005__give do give r_0022_0001__These_r_0022_0002__plans These plans r_0022_0003__do_r_0022_0005__give->r_0022_0001__These_r_0022_0002__plans [arg0] r_0022_0006__the_r_0022_0007__Africans the Africans r_0022_0003__do_r_0022_0005__give->r_0022_0006__the_r_0022_0007__Africans [arg2] r_0022_0008__the_r_0022_0010__majority the majority r_0022_0003__do_r_0022_0005__give->r_0022_0008__the_r_0022_0010__majority [arg1] r_0022_0009__overall overall r_0022_0008__the_r_0022_0010__majority->r_0022_0009__overall [attrib] r_0022_0004__not not r_0022_0004__not->r_0022_0003__do_r_0022_0005__give [keep_scope] r_0022_0012__are are r_0022_0013__seeking seeking r_0022_0012__are->r_0022_0013__seeking [scope] r_0022_0013__seeking->r_0022_0006__the_r_0022_0007__Africans [arg0] r_0022_0013__seeking->r_0022_0008__the_r_0022_0010__majority [arg1]
arc(r_0022_0003__do_r_0022_0005__give, r_0022_0001__These_r_0022_0002__plans, arg0).
arc(r_0022_0003__do_r_0022_0005__give, r_0022_0006__the_r_0022_0007__Africans, arg2).
arc(r_0022_0003__do_r_0022_0005__give, r_0022_0008__the_r_0022_0010__majority, arg1).
arc(r_0022_0004__not, r_0022_0003__do_r_0022_0005__give, keep_scope).
arc(r_0022_0008__the_r_0022_0010__majority, r_0022_0009__overall, attrib21).
arc(r_0022_0012__are, r_0022_0013__seeking, scope).
arc(r_0022_0013__seeking, r_0022_0006__the_r_0022_0007__Africans, arg0).
arc(r_0022_0013__seeking, r_0022_0008__the_r_0022_0010__majority, arg1).



%3 r_0022_0003__do_r_0022_0005__give do give r_0022_0001__These_r_0022_0002__plans These plans r_0022_0003__do_r_0022_0005__give->r_0022_0001__These_r_0022_0002__plans [arg0] r_0022_0006__the_r_0022_0007__Africans the Africans r_0022_0003__do_r_0022_0005__give->r_0022_0006__the_r_0022_0007__Africans [arg2] r_0022_0008__the_r_0022_0010__majority the majority r_0022_0003__do_r_0022_0005__give->r_0022_0008__the_r_0022_0010__majority [arg1] r_0022_0009__overall overall r_0022_0008__the_r_0022_0010__majority->r_0022_0009__overall [attrib] r_0022_0004__not not r_0022_0004__not->r_0022_0003__do_r_0022_0005__give [keep_scope] r_0022_0012__are_r_0022_0013__seeking are seeking r_0022_0012__are_r_0022_0013__seeking->r_0022_0006__the_r_0022_0007__Africans [arg0] r_0022_0012__are_r_0022_0013__seeking->r_0022_0008__the_r_0022_0010__majority [arg1]
fof(formula,axiom,
    ? [R_22_12_ARE_SEEKING,R_22_6_THE_AFRICANS,R_22_8_THE_MAJORITY,R_22_9_OVERALL] :
      ( the_Africans(R_22_6_THE_AFRICANS)
      & overall(R_22_9_OVERALL)
      & ~ ? [R_22_3_DO_GIVE,R_22_1_THESE_PLANS] :
            ( these_plans(R_22_1_THESE_PLANS)
            & do_give(R_22_3_DO_GIVE,R_22_1_THESE_PLANS,R_22_8_THE_MAJORITY,R_22_6_THE_AFRICANS) )
      & are_seeking(R_22_12_ARE_SEEKING,R_22_6_THE_AFRICANS,R_22_8_THE_MAJORITY)
      & the_majority(R_22_8_THE_MAJORITY)
      & attrib21(R_22_8_THE_MAJORITY,R_22_9_OVERALL) ) ).



n22_a_lob_a01 n22_a_lob_a01_4 These n22_a_lob_a01_6 plans n22_a_lob_a01_8 do n22_a_lob_a01_10 not n22_a_lob_a01_12 give n22_a_lob_a01_15 the n22_a_lob_a01_17 Africans n22_a_lob_a01_20 the n22_a_lob_a01_23 overall n22_a_lob_a01_25 majority n22_a_lob_a01_29 they n22_a_lob_a01_31 are n22_a_lob_a01_34 *T* n22_a_lob_a01_36 seeking n22_a_lob_a01_38 . n22_a_lob_a01_1 IP-MAT n22_a_lob_a01_2 NP-SBJ n22_a_lob_a01_1->n22_a_lob_a01_2 n22_a_lob_a01_7 DOP n22_a_lob_a01_1->n22_a_lob_a01_7 n22_a_lob_a01_9 NEG n22_a_lob_a01_1->n22_a_lob_a01_9 n22_a_lob_a01_11 VB;_Dn.n_ n22_a_lob_a01_1->n22_a_lob_a01_11 n22_a_lob_a01_13 NP-OB2 n22_a_lob_a01_1->n22_a_lob_a01_13 n22_a_lob_a01_18 NP-OB1 n22_a_lob_a01_1->n22_a_lob_a01_18 n22_a_lob_a01_37 PUNC n22_a_lob_a01_1->n22_a_lob_a01_37 n22_a_lob_a01_3 D n22_a_lob_a01_2->n22_a_lob_a01_3 n22_a_lob_a01_5 NS n22_a_lob_a01_2->n22_a_lob_a01_5 n22_a_lob_a01_3->n22_a_lob_a01_4 n22_a_lob_a01_5->n22_a_lob_a01_6 n22_a_lob_a01_7->n22_a_lob_a01_8 n22_a_lob_a01_9->n22_a_lob_a01_10 n22_a_lob_a01_11->n22_a_lob_a01_12 n22_a_lob_a01_14 D n22_a_lob_a01_13->n22_a_lob_a01_14 n22_a_lob_a01_16 NS n22_a_lob_a01_13->n22_a_lob_a01_16 n22_a_lob_a01_14->n22_a_lob_a01_15 n22_a_lob_a01_16->n22_a_lob_a01_17 n22_a_lob_a01_19 D n22_a_lob_a01_18->n22_a_lob_a01_19 n22_a_lob_a01_21 ADJP n22_a_lob_a01_18->n22_a_lob_a01_21 n22_a_lob_a01_24 N n22_a_lob_a01_18->n22_a_lob_a01_24 n22_a_lob_a01_26 IP-REL n22_a_lob_a01_18->n22_a_lob_a01_26 n22_a_lob_a01_19->n22_a_lob_a01_20 n22_a_lob_a01_22 ADJ n22_a_lob_a01_21->n22_a_lob_a01_22 n22_a_lob_a01_22->n22_a_lob_a01_23 n22_a_lob_a01_24->n22_a_lob_a01_25 n22_a_lob_a01_27 NP-SBJ n22_a_lob_a01_26->n22_a_lob_a01_27 n22_a_lob_a01_30 BEP;_cat_Vg_ n22_a_lob_a01_26->n22_a_lob_a01_30 n22_a_lob_a01_32 IP-PPL-CAT n22_a_lob_a01_26->n22_a_lob_a01_32 n22_a_lob_a01_28 PRO n22_a_lob_a01_27->n22_a_lob_a01_28 n22_a_lob_a01_28->n22_a_lob_a01_29 n22_a_lob_a01_30->n22_a_lob_a01_31 n22_a_lob_a01_33 NP-OB1 n22_a_lob_a01_32->n22_a_lob_a01_33 n22_a_lob_a01_35 VAG;_Tn_ n22_a_lob_a01_32->n22_a_lob_a01_35 n22_a_lob_a01_33->n22_a_lob_a01_34 n22_a_lob_a01_35->n22_a_lob_a01_36 n22_a_lob_a01_37->n22_a_lob_a01_38
( (IP-MAT (NP-SBJ;{PLANS} (D These;{these})
                          (NS plans;{plan}))
          (DOP do;{do})
          (NEG not;{not})
          (VB;_Dn.n_ give;{give})
          (NP-OB2;{AFRICANS} (D the;{the})
                             (NS Africans;{african}))
          (NP-OB1 (D the;{the})
                  (ADJP (ADJ overall;{overall}))
                  (N majority;{majority})
                  (IP-REL (NP-SBJ;{AFRICANS} (PRO they;{they}))
                          (BEP;_cat_Vg_ are;{be})
                          (IP-PPL-CAT (NP-OB1 *T*)
                                      (VAG;_Tn_ seeking;{seek}))))
          (PUNC .))
  (ID 22_a_lob_a01))