Context                Previous, Next                Top


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_0012__are_r_0022_0013__seeking are seeking r_0022_0008__the_r_0022_0010__majority the majority r_0022_0012__are_r_0022_0013__seeking->r_0022_0008__the_r_0022_0010__majority [arg1] r_0022_0006__the_r_0022_0007__Africans the Africans r_0022_0012__are_r_0022_0013__seeking->r_0022_0006__the_r_0022_0007__Africans [arg0] 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_0003__do_r_0022_0005__give do give r_0022_0004__not->r_0022_0003__do_r_0022_0005__give [keep_scope] r_0022_0003__do_r_0022_0005__give->r_0022_0008__the_r_0022_0010__majority [arg1] r_0022_0003__do_r_0022_0005__give->r_0022_0006__the_r_0022_0007__Africans [arg2] 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] 
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__1_1_1_1 These n22_a_lob_a01__1_1_2_1 plans n22_a_lob_a01__1_2_1 do n22_a_lob_a01__1_3_1 not n22_a_lob_a01__1_4_1 give n22_a_lob_a01__1_5_1_1 the n22_a_lob_a01__1_5_2_1 Africans n22_a_lob_a01__1_6_1_1 the n22_a_lob_a01__1_6_2_1_1 overall n22_a_lob_a01__1_6_3_1 majority n22_a_lob_a01__1_6_4_1_1_1 they n22_a_lob_a01__1_6_4_2_1 are n22_a_lob_a01__1_6_4_3_1_1 *T* n22_a_lob_a01__1_6_4_3_2_1 seeking n22_a_lob_a01__1_7_1 . n22_a_lob_a01__1 IP-MAT n22_a_lob_a01__1_1 NP-SBJ n22_a_lob_a01__1->n22_a_lob_a01__1_1 n22_a_lob_a01__1_2 DOP n22_a_lob_a01__1->n22_a_lob_a01__1_2 n22_a_lob_a01__1_3 NEG n22_a_lob_a01__1->n22_a_lob_a01__1_3 n22_a_lob_a01__1_4 VB;_Dn.n_ n22_a_lob_a01__1->n22_a_lob_a01__1_4 n22_a_lob_a01__1_5 NP-OB2 n22_a_lob_a01__1->n22_a_lob_a01__1_5 n22_a_lob_a01__1_6 NP-OB1 n22_a_lob_a01__1->n22_a_lob_a01__1_6 n22_a_lob_a01__1_7 PUNC n22_a_lob_a01__1->n22_a_lob_a01__1_7 n22_a_lob_a01__1_1_1 D n22_a_lob_a01__1_1->n22_a_lob_a01__1_1_1 n22_a_lob_a01__1_1_2 NS n22_a_lob_a01__1_1->n22_a_lob_a01__1_1_2 n22_a_lob_a01__1_1_1->n22_a_lob_a01__1_1_1_1 n22_a_lob_a01__1_1_2->n22_a_lob_a01__1_1_2_1 n22_a_lob_a01__1_2->n22_a_lob_a01__1_2_1 n22_a_lob_a01__1_3->n22_a_lob_a01__1_3_1 n22_a_lob_a01__1_4->n22_a_lob_a01__1_4_1 n22_a_lob_a01__1_5_1 D n22_a_lob_a01__1_5->n22_a_lob_a01__1_5_1 n22_a_lob_a01__1_5_2 NS n22_a_lob_a01__1_5->n22_a_lob_a01__1_5_2 n22_a_lob_a01__1_5_1->n22_a_lob_a01__1_5_1_1 n22_a_lob_a01__1_5_2->n22_a_lob_a01__1_5_2_1 n22_a_lob_a01__1_6_1 D n22_a_lob_a01__1_6->n22_a_lob_a01__1_6_1 n22_a_lob_a01__1_6_2 ADJP n22_a_lob_a01__1_6->n22_a_lob_a01__1_6_2 n22_a_lob_a01__1_6_3 N n22_a_lob_a01__1_6->n22_a_lob_a01__1_6_3 n22_a_lob_a01__1_6_4 IP-REL n22_a_lob_a01__1_6->n22_a_lob_a01__1_6_4 n22_a_lob_a01__1_6_1->n22_a_lob_a01__1_6_1_1 n22_a_lob_a01__1_6_2_1 ADJ n22_a_lob_a01__1_6_2->n22_a_lob_a01__1_6_2_1 n22_a_lob_a01__1_6_2_1->n22_a_lob_a01__1_6_2_1_1 n22_a_lob_a01__1_6_3->n22_a_lob_a01__1_6_3_1 n22_a_lob_a01__1_6_4_1 NP-SBJ n22_a_lob_a01__1_6_4->n22_a_lob_a01__1_6_4_1 n22_a_lob_a01__1_6_4_2 BEP;_cat_Vg_ n22_a_lob_a01__1_6_4->n22_a_lob_a01__1_6_4_2 n22_a_lob_a01__1_6_4_3 IP-PPL-CAT n22_a_lob_a01__1_6_4->n22_a_lob_a01__1_6_4_3 n22_a_lob_a01__1_6_4_1_1 PRO n22_a_lob_a01__1_6_4_1->n22_a_lob_a01__1_6_4_1_1 n22_a_lob_a01__1_6_4_1_1->n22_a_lob_a01__1_6_4_1_1_1 n22_a_lob_a01__1_6_4_2->n22_a_lob_a01__1_6_4_2_1 n22_a_lob_a01__1_6_4_3_1 NP-OB1 n22_a_lob_a01__1_6_4_3->n22_a_lob_a01__1_6_4_3_1 n22_a_lob_a01__1_6_4_3_2 VAG;_Tn_ n22_a_lob_a01__1_6_4_3->n22_a_lob_a01__1_6_4_3_2 n22_a_lob_a01__1_6_4_3_1->n22_a_lob_a01__1_6_4_3_1_1 n22_a_lob_a01__1_6_4_3_2->n22_a_lob_a01__1_6_4_3_2_1 n22_a_lob_a01__1_7->n22_a_lob_a01__1_7_1 
( (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))