79_a_lob_a02
He said Mr Kaunda must know that his statements had stimulated violence, but he had done nothing to stop it.
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_0016__had, conj2).
arc(r_0079_0016__had, r_0079_0018__nothing_quant, scope).
arc(r_0079_0017__done, r_0079_0003__Mr_r_0079_0004__Kaunda, arg0).
arc(r_0079_0017__done, z_000_79_a_lob_a02_53, arg1).
arc(r_0079_0018__nothing_quant, r_0079_0017__done, scope).
arc(r_0079_0018__nothing_quant, z_000_79_a_lob_a02_53, restriction).
arc(r_0079_0019__to_r_0079_0020__stop, r_0079_0012__violence, arg1).
arc(r_0079_0019__to_r_0079_0020__stop, z_000_79_a_lob_a02_53, 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_0016__HAD,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)
& has_conj2(R_0079_0014__BUT,R_0079_0016__HAD)
& r_0079_0016__had(R_0079_0016__HAD)
& ! [Z_000_79_A_LOB_A02_53,R_0079_0019__TO_R_0079_0020__STOP] :
( ( z_000_79_a_lob_a02_53(Z_000_79_A_LOB_A02_53)
& r_0079_0019__to_r_0079_0020__stop(R_0079_0019__TO_R_0079_0020__STOP)
& has_arg0(R_0079_0019__TO_R_0079_0020__STOP,Z_000_79_A_LOB_A02_53)
& has_arg1(R_0079_0019__TO_R_0079_0020__STOP,R_0079_0012__VIOLENCE) )
=> ? [R_0079_0017__DONE] :
( r_0079_0017__done(R_0079_0017__DONE)
& has_arg1(R_0079_0017__DONE,Z_000_79_A_LOB_A02_53)
& has_arg0(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) ) ).
( (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))