79_a_lob_a02
He said Mr Kaunda must know that his statements had stimulated violence, but he had done nothing to stop it.
( (IP-MAT (NP-SBJ;{ROY} (PRO He;{he}))
(VBD;__ said;{say})
(CP-THT-OB1 (IP-SUB (NP-SBJ;{KAUNDA} (N Mr;{mr})
(NPR Kaunda;{Kaunda}))
(MD;_cat_Vi_ must;{must})
(IP-INF-CAT (VB;__ know;{know})
(CP-THT-OB1 (IP-SUB (C that;{that})
(ILYR (ILYR (NP-SBJ (NP-GEN;{KAUNDA} (PRO;_genm_ his;{his}))
(NS statements;{statement}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;__ stimulated;{stimulate})
(NP-OB1;{VIOLENCE} (N violence;{violence}))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ;{KAUNDA} (PRO he;{he}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (DON;_Tn_ done;{do})
(NP-OB1 (Q;_nphd_ nothing;{nothing})
(IP-INF-REL (NP-SBJ *T*)
(TO to;{to})
(VB;__ stop;{stop})
(NP-OB1;{VIOLENCE} (PRO it;{it})))))))))))))
(PUNC .))
(ID 79_a_lob_a02))
arc(r_0079_0002__said,r_0079_0001__He,arg0).
arc(r_0079_0002__said,r_0079_0005__must,arg1).
arc(r_0079_0005__must,r_0079_0006__know,scope).
arc(r_0079_0006__know,r_0079_0003__Mr_r_0079_0004__Kaunda,arg0).
arc(r_0079_0006__know,r_0079_0014__but,arg1).
arc(r_0079_0009__statements,r_0079_0003__Mr_r_0079_0004__Kaunda,gen).
arc(r_0079_0010__had,r_0079_0011__stimulated,scope).
arc(r_0079_0011__stimulated,r_0079_0009__statements,arg0).
arc(r_0079_0011__stimulated,r_0079_0012__violence,arg1).
arc(r_0079_0014__but,r_0079_0010__had,conj1).
arc(r_0079_0014__but,r_0079_0018__nothing__quant,conj2).
arc(r_0079_0016__had,r_0079_0017__done,scope).
arc(r_0079_0017__done,r_0079_0003__Mr_r_0079_0004__Kaunda,arg0).
arc(r_0079_0017__done,z_0079_5015,arg1).
arc(r_0079_0018__nothing__quant,r_0079_0016__had,scope).
arc(r_0079_0018__nothing__quant,z_0079_5015,restriction).
arc(r_0079_0020__stop,r_0079_0012__violence,arg1).
arc(r_0079_0020__stop,z_0079_5015,inv_arg0).
fof(formula,axiom,
? [R_0079_0001__HE,R_0079_0003__MR_R_0079_0004__KAUNDA,R_0079_0009__STATEMENTS,R_0079_0012__VIOLENCE,R_0079_0010__HAD_R_0079_0011__STIMULATED,R_0079_0014__BUT,R_0079_0005__MUST_R_0079_0006__KNOW,R_0079_0002__SAID] :
( r_0079_0001__He(R_0079_0001__HE)
& r_0079_0003__Mr_r_0079_0004__Kaunda(R_0079_0003__MR_R_0079_0004__KAUNDA)
& r_0079_0012__violence(R_0079_0012__VIOLENCE)
& r_0079_0002__said(R_0079_0002__SAID)
& has_arg1(R_0079_0002__SAID,R_0079_0005__MUST_R_0079_0006__KNOW)
& r_0079_0005__must_r_0079_0006__know(R_0079_0005__MUST_R_0079_0006__KNOW)
& has_arg1(R_0079_0005__MUST_R_0079_0006__KNOW,R_0079_0014__BUT)
& r_0079_0014__but(R_0079_0014__BUT)
& ! [Z_0079_5015,R_0079_0020__STOP] :
( ( z_0079_5015(Z_0079_5015)
& has_inv_arg0(Z_0079_5015,R_0079_0020__STOP)
& r_0079_0020__stop(R_0079_0020__STOP)
& has_arg1(R_0079_0020__STOP,R_0079_0012__VIOLENCE) )
=> ? [R_0079_0016__HAD_R_0079_0017__DONE] :
( r_0079_0016__had_r_0079_0017__done(R_0079_0016__HAD_R_0079_0017__DONE)
& has_arg1(R_0079_0016__HAD_R_0079_0017__DONE,Z_0079_5015)
& has_arg0(R_0079_0016__HAD_R_0079_0017__DONE,R_0079_0003__MR_R_0079_0004__KAUNDA) ) )
& has_conj1(R_0079_0014__BUT,R_0079_0010__HAD_R_0079_0011__STIMULATED)
& r_0079_0010__had_r_0079_0011__stimulated(R_0079_0010__HAD_R_0079_0011__STIMULATED)
& has_arg1(R_0079_0010__HAD_R_0079_0011__STIMULATED,R_0079_0012__VIOLENCE)
& has_arg0(R_0079_0010__HAD_R_0079_0011__STIMULATED,R_0079_0009__STATEMENTS)
& r_0079_0009__statements(R_0079_0009__STATEMENTS)
& has_gen(R_0079_0009__STATEMENTS,R_0079_0003__MR_R_0079_0004__KAUNDA)
& has_arg0(R_0079_0005__MUST_R_0079_0006__KNOW,R_0079_0003__MR_R_0079_0004__KAUNDA)
& has_arg0(R_0079_0002__SAID,R_0079_0001__HE) ) ).