22_a_lob_a01
These plans do not give the Africans the overall majority they are seeking.
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).
fof(formula,axiom,
? [R_0022_0006__THE_R_0022_0007__AFRICANS,R_0022_0009__OVERALL,R_0022_0008__THE_R_0022_0010__MAJORITY,R_0022_0012__ARE_R_0022_0013__SEEKING] :
( r_0022_0006__the_r_0022_0007__Africans(R_0022_0006__THE_R_0022_0007__AFRICANS)
& r_0022_0009__overall(R_0022_0009__OVERALL)
& r_0022_0012__are_r_0022_0013__seeking(R_0022_0012__ARE_R_0022_0013__SEEKING)
& has_arg1(R_0022_0012__ARE_R_0022_0013__SEEKING,R_0022_0008__THE_R_0022_0010__MAJORITY)
& r_0022_0008__the_r_0022_0010__majority(R_0022_0008__THE_R_0022_0010__MAJORITY)
& has_attrib21(R_0022_0008__THE_R_0022_0010__MAJORITY,R_0022_0009__OVERALL)
& has_arg0(R_0022_0012__ARE_R_0022_0013__SEEKING,R_0022_0006__THE_R_0022_0007__AFRICANS)
& ~ ? [R_0022_0001__THESE_R_0022_0002__PLANS,R_0022_0003__DO_R_0022_0005__GIVE] :
( r_0022_0001__These_r_0022_0002__plans(R_0022_0001__THESE_R_0022_0002__PLANS)
& r_0022_0003__do_r_0022_0005__give(R_0022_0003__DO_R_0022_0005__GIVE)
& has_arg1(R_0022_0003__DO_R_0022_0005__GIVE,R_0022_0008__THE_R_0022_0010__MAJORITY)
& has_arg2(R_0022_0003__DO_R_0022_0005__GIVE,R_0022_0006__THE_R_0022_0007__AFRICANS)
& has_arg0(R_0022_0003__DO_R_0022_0005__GIVE,R_0022_0001__THESE_R_0022_0002__PLANS) ) ) ).
( (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))