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_79_2_SAID,R_79_1_HE,R_79_5_MUST_KNOW,R_79_14_BUT,R_79_10_HAD_STIMULATED,R_79_9_STATEMENTS,R_79_3_MR_KAUNDA,R_79_12_VIOLENCE] :
( he(R_79_1_HE)
& mr_Kaunda(R_79_3_MR_KAUNDA)
& violence(R_79_12_VIOLENCE)
& said(R_79_2_SAID,R_79_1_HE,R_79_5_MUST_KNOW)
& must_know(R_79_5_MUST_KNOW,R_79_3_MR_KAUNDA,R_79_14_BUT)
& but(R_79_14_BUT)
& conj1(R_79_14_BUT,R_79_10_HAD_STIMULATED)
& had_stimulated(R_79_10_HAD_STIMULATED,R_79_9_STATEMENTS,R_79_12_VIOLENCE)
& statements(R_79_9_STATEMENTS)
& gen(R_79_9_STATEMENTS,R_79_3_MR_KAUNDA)
& conj2(R_79_14_BUT,R_79_16_HAD)
& ~ ! [R_79_19_TO_STOP,Z_79_A_LOB_A02_53] :
( to_stop(R_79_19_TO_STOP,Z_79_A_LOB_A02_53,R_79_12_VIOLENCE)
=> ? [R_79_17_DONE] : done(R_79_17_DONE,R_79_3_MR_KAUNDA,Z_79_A_LOB_A02_53) ) ) ).
( (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))