Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner: [138] trunk/examples
|
From: <ku...@us...> - 2007-09-07 04:41:47
|
Revision: 138
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=138&view=rev
Author: kurzum
Date: 2007-09-06 21:38:46 -0700 (Thu, 06 Sep 2007)
Log Message:
-----------
changed some examples
Modified Paths:
--------------
trunk/examples/arch/arch.conf
trunk/examples/arch/arch_owl.conf
trunk/examples/forte/forte_uncle.conf
trunk/examples/forte/forte_uncle_owl.conf
trunk/examples/moral_reasoner/moral_43examples_complex.conf
trunk/examples/moral_reasoner/moral_43examples_complex_owl.conf
Added Paths:
-----------
trunk/examples/moral_reasoner/moral_43examples_simple owl.conf
trunk/examples/moral_reasoner/moral_43examples_simple.conf
trunk/examples/moral_reasoner/moral_all_examples_simple.conf
Modified: trunk/examples/arch/arch.conf
===================================================================
--- trunk/examples/arch/arch.conf 2007-09-05 21:30:47 UTC (rev 137)
+++ trunk/examples/arch/arch.conf 2007-09-07 04:38:46 UTC (rev 138)
@@ -1,5 +1,6 @@
/*****************************
+
Example created from these predicates:
arch(A, B, C) A, B and C form an arch with lintel A
@@ -11,13 +12,17 @@
parallelpiped(A, B) A is a brick or a wedge
Solution: arch(A, B, C) <- left-of(B, C), supports(B, A), not touches(B, C)
-
+
+
Solution
EXISTS hasPillar.EXISTS leftof.TOP <-TOO OBVIOUS all constructions c1,c2,c3,c4
AND EXISTS hasPillar.EXISTS supports.TOP <-IS FOUND [c1, c3, c4]
AND NOT EXISTS hasPillar.EXISTS touches.TOP <- Not found (open world assumption)
work around with freeStandingPillar
+New Solution:
+EXISTS hasPillar.(freeStandingPillar AND EXISTS leftof.EXISTS supports.TOP)
+
See the pictures for an illustration of the input data.
Originally published in Winston, P.H. (1975). Learning structural descriptions
Modified: trunk/examples/arch/arch_owl.conf
===================================================================
--- trunk/examples/arch/arch_owl.conf 2007-09-05 21:30:47 UTC (rev 137)
+++ trunk/examples/arch/arch_owl.conf 2007-09-07 04:38:46 UTC (rev 138)
@@ -1,7 +1,8 @@
/*****************************
-Example created from this:
+Example created from these predicates:
+
arch(A, B, C) A, B and C form an arch with lintel A
supports(A, B) A supports B
left-of(A, B) A is left of B
@@ -16,11 +17,17 @@
EXISTS hasPillar.EXISTS leftof.TOP <-TOO OBVIOUS all constructions c1,c2,c3,c4
AND EXISTS hasPillar.EXISTS supports.TOP <-IS FOUND [c1, c3, c4]
AND NOT EXISTS hasPillar.EXISTS touches.TOP <- Not found (open world assumption)
- work around with freeStandingPillar
-see picture arch.jpg
+New Solution:
+EXISTS hasPillar.(freeStandingPillar AND EXISTS leftof.EXISTS supports.TOP)
+See the pictures for an illustration of the input data.
+Originally published in Winston, P.H. (1975). Learning structural descriptions
+from examples. In P.H. Winstons (Ed.), The psychology of computer vision. New
+York: Mc Graw- Hill.
+
+
***************************/
//reasoner = kaon2;
@@ -29,12 +36,13 @@
refinement.writeSearchTree = false;
refinement.searchTreeFile = "searchTree.txt";
refinement.quiet = false;
-import("arch.owl");
// hidePrefix="http://localhost/foo#";
/** background knowledge **/
+import("arch.owl");
+
/** examples **/
+arch("http://localhost/foo#c1").
+arch("http://localhost/foo#c4").
Modified: trunk/examples/forte/forte_uncle.conf
===================================================================
--- trunk/examples/forte/forte_uncle.conf 2007-09-05 21:30:47 UTC (rev 137)
+++ trunk/examples/forte/forte_uncle.conf 2007-09-07 04:38:46 UTC (rev 138)
@@ -4,12 +4,12 @@
*
* http://www.cs.utexas.edu/users/ml/forte.html
*
- * possible solution: (male AND (EXISTS hasSibling.EXISTS hasChild.TOP
- * OR EXISTS married.EXISTS hasSibling.EXISTS hasChild.TOP))
+ * solution: (male AND (EXISTS hasSibling.EXISTS hasChild.TOP
+ * OR EXISTS married.EXISTS hasSibling.EXISTS hasChild.TOP))
*/
// control output
-// showIndividuals = true;
+showIndividuals = true;
showConcepts = true;
showRoles = true;
// showInternalKB = true;
@@ -17,6 +17,9 @@
algorithm = refinement;
+
+
+/** background knowledge **/
BOTTOM = (male AND female).
Symmetric(sibling).
@@ -279,6 +282,9 @@
married(prissie, peter). married(jane, jack). married(christy, carlos).
married(regina, ray).
+
+/** examples **/
+
/* small example set
+isUncle(art).
+isUncle(calvin).
Modified: trunk/examples/forte/forte_uncle_owl.conf
===================================================================
--- trunk/examples/forte/forte_uncle_owl.conf 2007-09-05 21:30:47 UTC (rev 137)
+++ trunk/examples/forte/forte_uncle_owl.conf 2007-09-07 04:38:46 UTC (rev 138)
@@ -1,5 +1,39 @@
+/**
+ * Extracted from the FORTE (First Order Revision of Theories from Examples)
+ * data set
+ *
+ * http://www.cs.utexas.edu/users/ml/forte.html
+ *
+ * solution: (male AND (EXISTS hasSibling.EXISTS hasChild.TOP
+ * OR EXISTS married.EXISTS hasSibling.EXISTS hasChild.TOP))
+ */
+
+
+/** background knowledge **/
+
import("forte.owl");
+/** examples **/
+
+/* small example set
++isUncle(art).
++isUncle(calvin).
++isUncle(carlos).
++isUncle(david).
++isUncle(eric).
++isUncle(fred).
++isUncle(frederick).
++isUncle(george).
+
+-isUncle(alfred).
+-isUncle(alice).
+-isUncle(angela).
+-isUncle(bob).
+-isUncle(carl).
+-isUncle(christy).
+-isUncle(karl).
+*/
+
// complete example set
+isUncle(art).
+isUncle(calvin).
Modified: trunk/examples/moral_reasoner/moral_43examples_complex.conf
===================================================================
--- trunk/examples/moral_reasoner/moral_43examples_complex.conf 2007-09-05 21:30:47 UTC (rev 137)
+++ trunk/examples/moral_reasoner/moral_43examples_complex.conf 2007-09-07 04:38:46 UTC (rev 138)
@@ -1,8 +1,6 @@
/***********************
- solution should be:
- guilty = NOT justified AND (responsible OR vicarious)
-
- Found: ((NOT justified) AND (vicarious OR (negligent_c AND responsible)))
+ solution is:
+ (severity_harm AND (NOT benefit_victim) AND (vicarious OR voluntary))
@@ -10,7 +8,6 @@
23 positive
20 negative
-
***********************/
/** settings **/
@@ -30,6 +27,10 @@
refinement.writeSearchTree = false;
refinement.searchTreeFile = "searchTree.txt";
+ // writeDIGProtocol = true;
+ //digProtocolFile = "dig.log";
+
+
// control output
showIndividuals = false;
showConcepts = true;
@@ -40,26 +41,19 @@
/** background knowledge **/
-"Number"(v0).
-"Number"(v1).
+//"Number"(v0).
+//"Number"(v1).
-greater(v1,v0) .
-smaller(v0,v1) .
+//greater(v1,v0) .
+//smaller(v0,v1) .
intend_mental_state = (NOT reckless_mental_state AND (NOT negligent_mental_state AND NOT neither_mental_state)).
reckless_mental_state = (NOT intend_mental_state AND (NOT negligent_mental_state AND NOT neither_mental_state)).
negligent_mental_state = (NOT reckless_mental_state AND (NOT intend_mental_state AND NOT neither_mental_state)).
neither_mental_state = (NOT reckless_mental_state AND (NOT negligent_mental_state AND NOT intend_mental_state)).
-/*BOTTOM = (intend_mental_state AND reckless_mental_state).
-BOTTOM = (intend_mental_state AND negligent_mental_state).
-BOTTOM = (intend_mental_state AND neither_mental_state).
-BOTTOM = (neither_mental_state AND reckless_mental_state).
-BOTTOM = (neither_mental_state AND reckless_mental_state).
-BOTTOM = (negligent_mental_state AND reckless_mental_state).*/
-
cause = (produce_harm OR (necessary_for_harm OR sufficient_for_harm)).
@@ -131,16 +125,16 @@
( outrank_perpetrator AND
control_perpetrator )).
-
-/*blameworthy = ( responsible AND
- ( EXISTS severity_harm.EXISTS greater.TOP AND
- ( EXISTS benefit_victim.EXISTS smaller.TOP AND
+/*
+blameworthy = ( responsible AND
+ ( severity_harm AND
+ ( NOT benefit_victim AND
NOT justified ))).
-
+
vicarious_blame = ( vicarious AND
- (EXISTS severity_harm.EXISTS greater.TOP AND
- (EXISTS benefit_victim.EXISTS smaller.TOP AND
+ ( severity_harm AND
+ ( NOT benefit_victim AND
NOT justified ))).
*/
// complement checked
@@ -150,6 +144,10 @@
NOT goal_achieveable_less_harmful)).
//guilty = (blameworthy OR vicarious_blame ).
+/*test= (severity_harm AND
+ ( NOT benefit_victim AND
+ ( vicarious OR
+ voluntary))).*/
/********************
@@ -173,8 +171,8 @@
control_perpetrator(p0).
benefit_protagonist(p0).
careful(p0).
-benefit_victim(p0,v0).
-severity_harm(p0,v1).
+NOT benefit_victim(p0).
+severity_harm(p0).
NOT achieve_goal(p0).
NOT intervening_contribution(p0).
high_foreseeability(p0).
@@ -197,8 +195,8 @@
control_perpetrator(p1).
benefit_protagonist(p1).
NOT careful(p1).
-benefit_victim(p1,v0).
-severity_harm(p1,v1).
+NOT benefit_victim(p1).
+severity_harm(p1).
NOT achieve_goal(p1).
foresee_intervention(p1).
high_foreseeability(p1).
@@ -221,8 +219,8 @@
control_perpetrator(p2).
benefit_protagonist(p2).
NOT careful(p2).
-benefit_victim(p2,v0).
-severity_harm(p2,v1).
+NOT benefit_victim(p2).
+severity_harm(p2).
NOT achieve_goal(p2).
NOT intervening_contribution(p2).
high_foreseeability(p2).
@@ -245,8 +243,8 @@
benefit_protagonist(p3).
NOT achieve_goal(p3).
NOT careful(p3).
-benefit_victim(p3,v0).
-severity_harm(p3,v1).
+NOT benefit_victim(p3).
+severity_harm(p3).
goal_achieveable_less_harmful(p3).
foresee_intervention(p3).
high_foreseeability(p3).
@@ -269,8 +267,8 @@
NOT benefit_protagonist(p4).
NOT achieve_goal(p4).
careful(p4).
-benefit_victim(p4,v0).
-severity_harm(p4,v1).
+NOT benefit_victim(p4).
+severity_harm(p4).
NOT goal_outweigh_harm(p4).
foresee_intervention(p4).
high_foreseeability(p4).
@@ -293,8 +291,8 @@
NOT benefit_protagonist(p5).
NOT achieve_goal(p5).
careful(p5).
-benefit_victim(p5,v0).
-severity_harm(p5,v1).
+NOT benefit_victim(p5).
+severity_harm(p5).
goal_achieveable_less_harmful(p5).
NOT intervening_contribution(p5).
high_foreseeability(p5).
@@ -317,8 +315,8 @@
benefit_protagonist(p6).
NOT achieve_goal(p6).
careful(p6).
-benefit_victim(p6,v0).
-severity_harm(p6,v1).
+NOT benefit_victim(p6).
+severity_harm(p6).
goal_achieveable_less_harmful(p6).
foresee_intervention(p6).
low_foreseeability(p6).
@@ -341,8 +339,8 @@
NOT control_perpetrator(p7).
benefit_protagonist(p7).
NOT careful(p7).
-benefit_victim(p7,v0).
-severity_harm(p7,v1).
+NOT benefit_victim(p7).
+severity_harm(p7).
NOT achieve_goal(p7).
foresee_intervention(p7).
low_foreseeability(p7).
@@ -365,8 +363,8 @@
control_perpetrator(p8).
NOT benefit_protagonist(p8).
NOT careful(p8).
-benefit_victim(p8,v0).
-severity_harm(p8,v1).
+NOT benefit_victim(p8).
+severity_harm(p8).
NOT achieve_goal(p8).
NOT intervening_contribution(p8).
low_foreseeability(p8).
@@ -389,8 +387,8 @@
control_perpetrator(p9).
NOT benefit_protagonist(p9).
NOT careful(p9).
-benefit_victim(p9,v0).
-severity_harm(p9,v1).
+NOT benefit_victim(p9).
+severity_harm(p9).
NOT achieve_goal(p9).
NOT intervening_contribution(p9).
low_foreseeability(p9).
@@ -413,8 +411,8 @@
benefit_protagonist(p10).
NOT achieve_goal(p10).
careful(p10).
-benefit_victim(p10,v0).
-severity_harm(p10,v1).
+NOT benefit_victim(p10).
+severity_harm(p10).
NOT goal_outweigh_harm(p10).
foresee_intervention(p10).
low_foreseeability(p10).
@@ -422,8 +420,8 @@
negligent_mental_state(p10).
produce_harm(p10).
-/*
-sufficient_for_harm(p11).
+
+/*sufficient_for_harm(p11).
NOT plan_known(p11).
plan_include_harm(p11).
someone_else_cause_harm(p11).
@@ -438,8 +436,8 @@
benefit_protagonist(p11).
NOT achieve_goal(p11).
NOT careful(p11).
-benefit_victim(p11,v0).
-severity_harm(p11,v1).
+NOT benefit_victim(p11).
+severity_harm(p11).
goal_achieveable_less_harmful(p11).
NOT intervening_contribution(p11).
low_foreseeability(p11).
@@ -462,8 +460,8 @@
NOT benefit_protagonist(p12).
achieve_goal(p12).
reckless_mental_state(p12).
-benefit_victim(p12,v0).
-severity_harm(p12,v1).
+NOT benefit_victim(p12).
+severity_harm(p12).
goal_achieveable_less_harmful(p12).
NOT intervening_contribution(p12).
NOT external_force(p12).
@@ -486,8 +484,8 @@
benefit_protagonist(p13).
achieve_goal(p13).
negligent_mental_state(p13).
-benefit_victim(p13,v0).
-severity_harm(p13,v1).
+NOT benefit_victim(p13).
+severity_harm(p13).
NOT goal_outweigh_harm(p13).
NOT intervening_contribution(p13).
NOT external_force(p13).
@@ -510,8 +508,8 @@
NOT benefit_protagonist(p14).
NOT achieve_goal(p14).
reckless_mental_state(p14).
-benefit_victim(p14,v0).
-severity_harm(p14,v1).
+NOT benefit_victim(p14).
+severity_harm(p14).
goal_achieveable_less_harmful(p14).
foresee_intervention(p14).
NOT external_force(p14).
@@ -534,8 +532,8 @@
benefit_protagonist(p15).
NOT achieve_goal(p15).
negligent_mental_state(p15).
-benefit_victim(p15,v0).
-severity_harm(p15,v1).
+NOT benefit_victim(p15).
+severity_harm(p15).
NOT goal_outweigh_harm(p15).
foresee_intervention(p15).
NOT external_force(p15).
@@ -558,8 +556,8 @@
NOT benefit_protagonist(p16).
achieve_goal(p16).
reckless_mental_state(p16).
-benefit_victim(p16,v0).
-severity_harm(p16,v1).
+NOT benefit_victim(p16).
+severity_harm(p16).
NOT goal_outweigh_harm(p16).
NOT intervening_contribution(p16).
NOT external_force(p16).
@@ -582,8 +580,8 @@
NOT benefit_protagonist(p17).
NOT achieve_goal(p17).
neither_mental_state(p17).
-benefit_victim(p17,v0).
-severity_harm(p17,v1).
+NOT benefit_victim(p17).
+severity_harm(p17).
NOT goal_outweigh_harm(p17).
NOT intervening_contribution(p17).
NOT external_force(p17).
@@ -606,8 +604,8 @@
control_perpetrator(p18).
NOT benefit_protagonist(p18).
NOT careful(p18).
-benefit_victim(p18,v0).
-severity_harm(p18,v1).
+NOT benefit_victim(p18).
+severity_harm(p18).
NOT achieve_goal(p18).
foresee_intervention(p18).
high_foreseeability(p18).
@@ -630,8 +628,8 @@
NOT benefit_protagonist(p19).
NOT achieve_goal(p19).
careful(p19).
-benefit_victim(p19,v0).
-severity_harm(p19,v1).
+NOT benefit_victim(p19).
+severity_harm(p19).
NOT goal_outweigh_harm(p19).
NOT intervening_contribution(p19).
high_foreseeability(p19).
@@ -654,8 +652,8 @@
NOT benefit_protagonist(p20).
achieve_goal(p20).
careful(p20).
-benefit_victim(p20,v0).
-severity_harm(p20,v1).
+NOT benefit_victim(p20).
+severity_harm(p20).
NOT goal_outweigh_harm(p20).
NOT intervening_contribution(p20).
high_foreseeability(p20).
@@ -663,7 +661,7 @@
reckless_mental_state(p20).
produce_harm(p20).
-/*sufficient_for_harm(p21,y).
+sufficient_for_harm(p21).
plan_known(p21).
plan_include_harm(p21).
someone_else_cause_harm(p21).
@@ -678,8 +676,8 @@
NOT control_perpetrator(p21).
NOT benefit_protagonist(p21).
NOT careful(p21).
-benefit_victim(p21,v0).
-severity_harm(p21,v1).
+NOT benefit_victim(p21).
+severity_harm(p21).
NOT achieve_goal(p21).
foresee_intervention(p21).
high_foreseeability(p21).
@@ -702,8 +700,8 @@
control_perpetrator(p22).
benefit_protagonist(p22).
NOT careful(p22).
-benefit_victim(p22,v0).
-severity_harm(p22,v1).
+NOT benefit_victim(p22).
+severity_harm(p22).
NOT achieve_goal(p22).
NOT intervening_contribution(p22).
high_foreseeability(p22).
@@ -726,8 +724,8 @@
control_perpetrator(p23).
benefit_protagonist(p23).
careful(p23).
-benefit_victim(p23,v0).
-severity_harm(p23,v1).
+NOT benefit_victim(p23).
+severity_harm(p23).
NOT achieve_goal(p23).
foresee_intervention(p23).
high_foreseeability(p23).
@@ -750,8 +748,8 @@
NOT benefit_protagonist(p24).
NOT achieve_goal(p24).
careful(p24).
-benefit_victim(p24,v0).
-severity_harm(p24,v1).
+NOT benefit_victim(p24).
+severity_harm(p24).
NOT goal_outweigh_harm(p24).
foresee_intervention(p24).
low_foreseeability(p24).
@@ -774,8 +772,8 @@
NOT benefit_protagonist(p25).
NOT achieve_goal(p25).
NOT careful(p25).
-benefit_victim(p25,v0).
-severity_harm(p25,v1).
+NOT benefit_victim(p25).
+severity_harm(p25).
goal_achieveable_less_harmful(p25).
NOT intervening_contribution(p25).
low_foreseeability(p25).
@@ -798,8 +796,8 @@
benefit_protagonist(p26).
achieve_goal(p26).
NOT careful(p26).
-benefit_victim(p26,v0).
-severity_harm(p26,v1).
+NOT benefit_victim(p26).
+severity_harm(p26).
goal_achieveable_less_harmful(p26).
NOT intervening_contribution(p26).
low_foreseeability(p26).
@@ -822,8 +820,8 @@
control_perpetrator(p27).
benefit_protagonist(p27).
careful(p27).
-benefit_victim(p27,v0).
-severity_harm(p27,v1).
+NOT benefit_victim(p27).
+severity_harm(p27).
NOT achieve_goal(p27).
foresee_intervention(p27).
low_foreseeability(p27).
@@ -846,8 +844,8 @@
benefit_protagonist(p28).
NOT achieve_goal(p28).
careful(p28).
-benefit_victim(p28,v0).
-severity_harm(p28,v1).
+NOT benefit_victim(p28).
+severity_harm(p28).
goal_achieveable_less_harmful(p28).
NOT intervening_contribution(p28).
low_foreseeability(p28).
@@ -870,8 +868,8 @@
NOT control_perpetrator(p29).
NOT benefit_protagonist(p29).
careful(p29).
-benefit_victim(p29,v0).
-severity_harm(p29,v1).
+NOT benefit_victim(p29).
+severity_harm(p29).
NOT achieve_goal(p29).
NOT intervening_contribution(p29).
low_foreseeability(p29).
@@ -894,8 +892,8 @@
benefit_protagonist(p30).
achieve_goal(p30).
negligent_mental_state(p30).
-benefit_victim(p30,v0).
-severity_harm(p30,v1).
+NOT benefit_victim(p30).
+severity_harm(p30).
goal_achieveable_less_harmful(p30).
NOT intervening_contribution(p30).
NOT external_force(p30).
@@ -903,7 +901,7 @@
NOT careful(p30).
necessary_for_harm(p30).
-/*
+
produce_harm(p31).
NOT plan_known(p31).
plan_include_harm(p31).
@@ -919,8 +917,8 @@
NOT benefit_protagonist(p31).
NOT achieve_goal(p31).
neither_mental_state(p31).
-benefit_victim(p31,v0).
-severity_harm(p31,v1).
+NOT benefit_victim(p31).
+severity_harm(p31).
NOT goal_outweigh_harm(p31).
foresee_intervention(p31).
NOT external_force(p31).
@@ -943,8 +941,8 @@
benefit_protagonist(p32).
achieve_goal(p32).
negligent_mental_state(p32).
-benefit_victim(p32,v0).
-severity_harm(p32,v1).
+NOT benefit_victim(p32).
+severity_harm(p32).
NOT goal_outweigh_harm(p32).
foresee_intervention(p32).
NOT external_force(p32).
@@ -967,8 +965,8 @@
benefit_protagonist(p33).
NOT achieve_goal(p33).
reckless_mental_state(p33).
-benefit_victim(p33,v0).
-severity_harm(p33,v1).
+NOT benefit_victim(p33).
+severity_harm(p33).
goal_achieveable_less_harmful(p33).
foresee_intervention(p33).
NOT external_force(p33).
@@ -991,8 +989,8 @@
NOT benefit_protagonist(p34).
NOT achieve_goal(p34).
negligent_mental_state(p34).
-benefit_victim(p34,v0).
-severity_harm(p34,v1).
+NOT benefit_victim(p34).
+severity_harm(p34).
NOT goal_outweigh_harm(p34).
foresee_intervention(p34).
NOT external_force(p34).
@@ -1015,8 +1013,8 @@
benefit_protagonist(p35).
achieve_goal(p35).
reckless_mental_state(p35).
-benefit_victim(p35,v0).
-severity_harm(p35,v1).
+NOT benefit_victim(p35).
+severity_harm(p35).
goal_achieveable_less_harmful(p35).
NOT intervening_contribution(p35).
NOT external_force(p35).
@@ -1039,8 +1037,8 @@
NOT benefit_protagonist(p36).
NOT achieve_goal(p36).
NOT careful(p36).
-benefit_victim(p36,v0).
-severity_harm(p36,v1).
+NOT benefit_victim(p36).
+severity_harm(p36).
NOT goal_outweigh_harm(p36).
foresee_intervention(p36).
high_foreseeability(p36).
@@ -1063,8 +1061,8 @@
NOT benefit_protagonist(p37).
achieve_goal(p37).
NOT careful(p37).
-benefit_victim(p37,v0).
-severity_harm(p37,v1).
+NOT benefit_victim(p37).
+severity_harm(p37).
NOT goal_outweigh_harm(p37).
foresee_intervention(p37).
high_foreseeability(p37).
@@ -1087,8 +1085,8 @@
benefit_protagonist(p38).
achieve_goal(p38).
careful(p38).
-benefit_victim(p38,v0).
-severity_harm(p38,v1).
+NOT benefit_victim(p38).
+severity_harm(p38).
goal_achieveable_less_harmful(p38).
foresee_intervention(p38).
high_foreseeability(p38).
@@ -1111,8 +1109,8 @@
NOT benefit_protagonist(p39).
achieve_goal(p39).
careful(p39).
-benefit_victim(p39,v0).
-severity_harm(p39,v1).
+NOT benefit_victim(p39).
+severity_harm(p39).
goal_achieveable_less_harmful(p39).
foresee_intervention(p39).
high_foreseeability(p39).
@@ -1135,8 +1133,8 @@
benefit_protagonist(p40).
NOT achieve_goal(p40).
careful(p40).
-benefit_victim(p40,v0).
-severity_harm(p40,v1).
+NOT benefit_victim(p40).
+severity_harm(p40).
goal_achieveable_less_harmful(p40).
NOT intervening_contribution(p40).
high_foreseeability(p40).
@@ -1159,8 +1157,8 @@
benefit_protagonist(p41).
NOT achieve_goal(p41).
NOT careful(p41).
-benefit_victim(p41,v0).
-severity_harm(p41,v1).
+NOT benefit_victim(p41).
+severity_harm(p41).
goal_achieveable_less_harmful(p41).
NOT intervening_contribution(p41).
high_foreseeability(p41).
@@ -1183,8 +1181,8 @@
NOT benefit_protagonist(p42).
achieve_goal(p42).
NOT careful(p42).
-benefit_victim(p42,v0).
-severity_harm(p42,v1).
+NOT benefit_victim(p42).
+severity_harm(p42).
NOT goal_outweigh_harm(p42).
NOT intervening_contribution(p42).
low_foreseeability(p42).
@@ -1207,8 +1205,8 @@
control_perpetrator(p43).
benefit_protagonist(p43).
careful(p43).
-benefit_victim(p43,v0).
-severity_harm(p43,v1).
+NOT benefit_victim(p43).
+severity_harm(p43).
NOT achieve_goal(p43).
foresee_intervention(p43).
low_foreseeability(p43).
@@ -1231,8 +1229,8 @@
control_perpetrator(p44).
benefit_protagonist(p44).
NOT careful(p44).
-benefit_victim(p44,v0).
-severity_harm(p44,v1).
+NOT benefit_victim(p44).
+severity_harm(p44).
NOT achieve_goal(p44).
NOT intervening_contribution(p44).
low_foreseeability(p44).
@@ -1255,8 +1253,8 @@
NOT benefit_protagonist(p45).
achieve_goal(p45).
careful(p45).
-benefit_victim(p45,v0).
-severity_harm(p45,v1).
+NOT benefit_victim(p45).
+severity_harm(p45).
goal_achieveable_less_harmful(p45).
NOT intervening_contribution(p45).
low_foreseeability(p45).
@@ -1279,8 +1277,8 @@
benefit_protagonist(p46).
achieve_goal(p46).
NOT careful(p46).
-benefit_victim(p46,v0).
-severity_harm(p46,v1).
+NOT benefit_victim(p46).
+severity_harm(p46).
NOT goal_outweigh_harm(p46).
NOT intervening_contribution(p46).
low_foreseeability(p46).
@@ -1303,8 +1301,8 @@
NOT control_perpetrator(p47).
benefit_protagonist(p47).
careful(p47).
-benefit_victim(p47,v0).
-severity_harm(p47,v1).
+NOT benefit_victim(p47).
+severity_harm(p47).
NOT achieve_goal(p47).
foresee_intervention(p47).
low_foreseeability(p47).
@@ -1325,8 +1323,8 @@
NOT benefit_protagonist(p48).
NOT careful(p48).
neither_mental_state(p48).
-benefit_victim(p48,v0).
-severity_harm(p48,v1).
+NOT benefit_victim(p48).
+severity_harm(p48).
NOT achieve_goal(p48).
foresee_intervention(p48).
high_foreseeability(p48).
@@ -1349,8 +1347,8 @@
NOT achieve_goal(p49).
careful(p49).
reckless_mental_state(p49).
-benefit_victim(p49,v0).
-severity_harm(p49,v1).
+NOT benefit_victim(p49).
+severity_harm(p49).
NOT goal_outweigh_harm(p49).
foresee_intervention(p49).
high_foreseeability(p49).
@@ -1373,8 +1371,8 @@
achieve_goal(p50).
NOT careful(p50).
neither_mental_state(p50).
-benefit_victim(p50,v0).
-severity_harm(p50,v1).
+NOT benefit_victim(p50).
+severity_harm(p50).
goal_achieveable_less_harmful(p50).
foresee_intervention(p50).
high_foreseeability(p50).
@@ -1397,8 +1395,8 @@
NOT achieve_goal(p51).
careful(p51).
neither_mental_state(p51).
-benefit_victim(p51,v0).
-severity_harm(p51,v1).
+NOT benefit_victim(p51).
+severity_harm(p51).
NOT goal_outweigh_harm(p51).
NOT intervening_contribution(p51).
high_foreseeability(p51).
@@ -1421,8 +1419,8 @@
NOT benefit_protagonist(p52).
NOT careful(p52).
neither_mental_state(p52).
-benefit_victim(p52,v0).
-severity_harm(p52,v1).
+NOT benefit_victim(p52).
+severity_harm(p52).
NOT achieve_goal(p52).
NOT intervening_contribution(p52).
high_foreseeability(p52).
@@ -1445,8 +1443,8 @@
NOT benefit_protagonist(p53).
NOT careful(p53).
reckless_mental_state(p53).
-benefit_victim(p53,v0).
-severity_harm(p53,v1).
+NOT benefit_victim(p53).
+severity_harm(p53).
NOT achieve_goal(p53).
foresee_intervention(p53).
high_foreseeability(p53).
@@ -1469,8 +1467,8 @@
NOT benefit_protagonist(p54).
NOT careful(p54).
reckless_mental_state(p54).
-benefit_victim(p54,v0).
-severity_harm(p54,v1).
+NOT benefit_victim(p54).
+severity_harm(p54).
NOT achieve_goal(p54).
NOT intervening_contribution(p54).
low_foreseeability(p54).
@@ -1493,8 +1491,8 @@
achieve_goal(p55).
NOT careful(p55).
reckless_mental_state(p55).
-benefit_victim(p55,v0).
-severity_harm(p55,v1).
+NOT benefit_victim(p55).
+severity_harm(p55).
goal_achieveable_less_harmful(p55).
NOT intervening_contribution(p55).
low_foreseeability(p55).
@@ -1517,8 +1515,8 @@
achieve_goal(p56).
NOT careful(p56).
negligent_mental_state(p56).
-benefit_victim(p56,v0).
-severity_harm(p56,v1).
+NOT benefit_victim(p56).
+severity_harm(p56).
goal_achieveable_less_harmful(p56).
foresee_intervention(p56).
low_foreseeability(p56).
@@ -1541,8 +1539,8 @@
NOT achieve_goal(p57).
careful(p57).
neither_mental_state(p57).
-benefit_victim(p57,v0).
-severity_harm(p57,v1).
+NOT benefit_victim(p57).
+severity_harm(p57).
goal_achieveable_less_harmful(p57).
NOT intervening_contribution(p57).
low_foreseeability(p57).
@@ -1565,8 +1563,8 @@
benefit_protagonist(p58).
NOT careful(p58).
neither_mental_state(p58).
-benefit_victim(p58,v0).
-severity_harm(p58,v1).
+NOT benefit_victim(p58).
+severity_harm(p58).
NOT achieve_goal(p58).
NOT intervening_contribution(p58).
low_foreseeability(p58).
@@ -1589,8 +1587,8 @@
NOT achieve_goal(p59).
careful(p59).
neither_mental_state(p59).
-benefit_victim(p59,v0).
-severity_harm(p59,v1).
+NOT benefit_victim(p59).
+severity_harm(p59).
NOT goal_outweigh_harm(p59).
NOT intervening_contribution(p59).
low_foreseeability(p59).
@@ -1615,8 +1613,8 @@
benefit_protagonist(p60).
NOT careful(p60).
neither_mental_state(p60).
-benefit_victim(p60,v0).
-severity_harm(p60,v1).
+NOT benefit_victim(p60).
+severity_harm(p60).
NOT achieve_goal(p60).
NOT intervening_contribution(p60).
high_foreseeability(p60).
@@ -1639,8 +1637,8 @@
achieve_goal(p61).
NOT careful(p61).
reckless_mental_state(p61).
-benefit_victim(p61,v0).
-severity_harm(p61,v1).
+NOT benefit_victim(p61).
+severity_harm(p61).
goal_achieveable_less_harmful(p61).
foresee_intervention(p61).
high_foreseeability(p61).
@@ -1663,8 +1661,8 @@
benefit_protagonist(p62).
NOT careful(p62).
neither_mental_state(p62).
-benefit_victim(p62,v0).
-severity_harm(p62,v1).
+NOT benefit_victim(p62).
+severity_harm(p62).
NOT achieve_goal(p62).
foresee_intervention(p62).
high_foreseeability(p62).
@@ -1687,8 +1685,8 @@
benefit_protagonist(p63).
careful(p63).
reckless_mental_state(p63).
-benefit_victim(p63,v0).
-severity_harm(p63,v1).
+NOT benefit_victim(p63).
+severity_harm(p63).
NOT achieve_goal(p63).
foresee_intervention(p63).
high_foreseeability(p63).
@@ -1711,8 +1709,8 @@
NOT achieve_goal(p64).
NOT careful(p64).
reckless_mental_state(p64).
-benefit_victim(p64,v0).
-severity_harm(p64,v1).
+NOT benefit_victim(p64).
+severity_harm(p64).
goal_achieveable_less_harmful(p64).
foresee_intervention(p64).
high_foreseeability(p64).
@@ -1735,8 +1733,8 @@
NOT benefit_protagonist(p65).
careful(p65).
negligent_mental_state(p65).
-benefit_victim(p65,v0).
-severity_harm(p65,v1).
+NOT benefit_victim(p65).
+severity_harm(p65).
NOT achieve_goal(p65).
NOT intervening_contribution(p65).
high_foreseeability(p65).
@@ -1759,8 +1757,8 @@
achieve_goal(p66).
NOT careful(p66).
negligent_mental_state(p66).
-benefit_victim(p66,v0).
-severity_harm(p66,v1).
+NOT benefit_victim(p66).
+severity_harm(p66).
goal_achieveable_less_harmful(p66).
NOT intervening_contribution(p66).
low_foreseeability(p66).
@@ -1783,8 +1781,8 @@
achieve_goal(p67).
NOT careful(p67).
reckless_mental_state(p67).
-benefit_victim(p67,v0).
-severity_harm(p67,v1).
+NOT benefit_victim(p67).
+severity_harm(p67).
NOT goal_outweigh_harm(p67).
foresee_intervention(p67).
low_foreseeability(p67).
@@ -1807,8 +1805,8 @@
NOT benefit_protagonist(p68).
NOT careful(p68).
negligent_mental_state(p68).
-benefit_victim(p68,v0).
-severity_harm(p68,v1).
+NOT benefit_victim(p68).
+severity_harm(p68).
NOT achieve_goal(p68).
foresee_intervention(p68).
low_foreseeability(p68).
@@ -1831,8 +1829,8 @@
NOT benefit_protagonist(p69).
careful(p69).
neither_mental_state(p69).
-benefit_victim(p69,v0).
-severity_harm(p69,v1).
+NOT benefit_victim(p69).
+severity_harm(p69).
NOT achieve_goal(p69).
foresee_intervention(p69).
low_foreseeability(p69).
@@ -1855,8 +1853,8 @@
NOT achieve_goal(p70).
NOT careful(p70).
negligent_mental_state(p70).
-benefit_victim(p70,v0).
-severity_harm(p70,v1).
+NOT benefit_victim(p70).
+severity_harm(p70).
goal_achieveable_less_harmful(p70).
foresee_intervention(p70).
low_foreseeability(p70).
@@ -1879,8 +1877,8 @@
NOT achieve_goal(p71).
careful(p71).
neither_mental_state(p71).
-benefit_victim(p71,v0).
-severity_harm(p71,v1).
+NOT benefit_victim(p71).
+severity_harm(p71).
goal_achieveable_less_harmful(p71).
foresee_intervention(p71).
low_foreseeability(p71).
@@ -1903,8 +1901,8 @@
NOT control_perpetrator(p72).
NOT careful(p72).
reckless_mental_state(p72).
-benefit_victim(p72,v0).
-severity_harm(p72,v1).
+NOT benefit_victim(p72).
+severity_harm(p72).
NOT achieve_goal(p72).
foresee_intervention(p72).
high_foreseeability(p72).
@@ -1927,8 +1925,8 @@
achieve_goal(p73).
careful(p73).
neither_mental_state(p73).
-benefit_victim(p73,v0).
-severity_harm(p73,v1).
+NOT benefit_victim(p73).
+severity_harm(p73).
NOT goal_outweigh_harm(p73).
NOT intervening_contribution(p73).
high_foreseeability(p73).
@@ -1951,8 +1949,8 @@
NOT achieve_goal(p74).
NOT careful(p74).
negligent_mental_state(p74).
-benefit_victim(p74,v0).
-severity_harm(p74,v1).
+NOT benefit_victim(p74).
+severity_harm(p74).
NOT goal_outweigh_harm(p74).
NOT intervening_contribution(p74).
high_foreseeability(p74).
@@ -1975,8 +1973,8 @@
control_perpetrator(p75).
NOT careful(p75).
reckless_mental_state(p75).
-benefit_victim(p75,v0).
-severity_harm(p75,v1).
+NOT benefit_victim(p75).
+severity_harm(p75).
NOT achieve_goal(p75).
NOT intervening_contribution(p75).
high_foreseeability(p75).
@@ -1999,8 +1997,8 @@
achieve_goal(p76).
NOT careful(p76).
negligent_mental_state(p76).
-benefit_victim(p76,v0).
-severity_harm(p76,v1).
+NOT benefit_victim(p76).
+severity_harm(p76).
NOT goal_outweigh_harm(p76).
NOT intervening_contribution(p76).
high_foreseeability(p76).
@@ -2023,8 +2021,8 @@
control_perpetrator(p77).
NOT careful(p77).
reckless_mental_state(p77).
-benefit_victim(p77,v0).
-severity_harm(p77,v1).
+NOT benefit_victim(p77).
+severity_harm(p77).
NOT achieve_goal(p77).
foresee_intervention(p77).
high_foreseeability(p77).
@@ -2047,8 +2045,8 @@
achieve_goal(p78).
NOT careful(p78).
reckless_mental_state(p78).
-benefit_victim(p78,v0).
-severity_harm(p78,v1).
+NOT benefit_victim(p78).
+severity_harm(p78).
NOT goal_outweigh_harm(p78).
foresee_intervention(p78).
low_foreseeability(p78).
@@ -2071,8 +2069,8 @@
NOT achieve_goal(p79).
NOT careful(p79).
neither_mental_state(p79).
-benefit_victim(p79,v0).
-severity_harm(p79,v1).
+NOT benefit_victim(p79).
+severity_harm(p79).
goal_achieveable_less_harmful(p79).
NOT intervening_contribution(p79).
low_foreseeability(p79).
@@ -2095,8 +2093,8 @@
NOT achieve_goal(p80).
careful(p80).
neither_mental_state(p80).
-benefit_victim(p80,v0).
-severity_harm(p80,v1).
+NOT benefit_victim(p80).
+severity_harm(p80).
goal_achieveable_less_harmful(p80).
foresee_intervention(p80).
low_foreseeability(p80).
@@ -2119,8 +2117,8 @@
NOT control_perpetrator(p81).
NOT careful(p81).
reckless_mental_state(p81).
-benefit_victim(p81,v0).
-severity_harm(p81,v1).
+NOT benefit_victim(p81).
+severity_harm(p81).
NOT achieve_goal(p81).
foresee_intervention(p81).
low_foreseeability(p81).
@@ -2143,8 +2141,8 @@
NOT achieve_goal(p82).
NOT careful(p82).
negligent_mental_state(p82).
-benefit_victim(p82,v0).
-severity_harm(p82,v1).
+NOT benefit_victim(p82).
+severity_harm(p82).
NOT goal_outweigh_harm(p82).
foresee_intervention(p82).
low_foreseeability(p82).
@@ -2167,8 +2165,8 @@
achieve_goal(p83).
NOT careful(p83).
neither_mental_state(p83).
-benefit_victim(p83,v0).
-severity_harm(p83,v1).
+NOT benefit_victim(p83).
+severity_harm(p83).
NOT goal_outweigh_harm(p83).
NOT intervening_contribution(p83).
low_foreseeability(p83).
@@ -2191,8 +2189,8 @@
achieve_goal(p84).
NOT careful(p84).
negligent_mental_state(p84).
-benefit_victim(p84,v0).
-severity_harm(p84,v1).
+NOT benefit_victim(p84).
+severity_harm(p84).
NOT goal_outweigh_harm(p84).
foresee_intervention(p84).
high_foreseeability(p84).
@@ -2215,8 +2213,8 @@
benefit_protagonist(p85).
NOT careful(p85).
reckless_mental_state(p85).
-benefit_victim(p85,v0).
-severity_harm(p85,v1).
+NOT benefit_victim(p85).
+severity_harm(p85).
NOT achieve_goal(p85).
foresee_intervention(p85).
high_foreseeability(p85).
@@ -2239,8 +2237,8 @@
NOT achieve_goal(p86).
careful(p86).
neither_mental_state(p86).
-benefit_victim(p86,v0).
-severity_harm(p86,v1).
+NOT benefit_victim(p86).
+severity_harm(p86).
NOT goal_outweigh_harm(p86).
NOT intervening_contribution(p86).
high_foreseeability(p86).
@@ -2263,8 +2261,8 @@
benefit_protagonist(p87).
careful(p87).
reckless_mental_state(p87).
-benefit_victim(p87,v0).
-severity_harm(p87,v1).
+NOT benefit_victim(p87).
+severity_harm(p87).
NOT achieve_goal(p87).
NOT intervening_contribution(p87).
high_foreseeability(p87).
@@ -2287,8 +2285,8 @@
NOT achieve_goal(p88).
careful(p88).
neither_mental_state(p88).
-benefit_victim(p88,v0).
-severity_harm(p88,v1).
+NOT benefit_victim(p88).
+severity_harm(p88).
goal_achieveable_less_harmful(p88).
foresee_intervention(p88).
high_foreseeability(p88).
@@ -2311,17 +2309,17 @@
benefit_protagonist(p89).
careful(p89).
neither_mental_state(p89).
-benefit_victim(p89,v0).
-severity_harm(p89,v1).
+NOT benefit_victim(p89).
+severity_harm(p89).
NOT achieve_goal(p89).
NOT intervening_contribution(p89).
high_foreseeability(p89).
NOT external_force(p89).
NOT external_cause(p89).
necessary_for_harm(p89).
-
*/
+
sufficient_for_harm(p90).
NOT produce_harm(p90).
plan_known(p90).
@@ -2337,8 +2335,8 @@
NOT achieve_goal(p90).
NOT careful(p90).
neither_mental_state(p90).
-benefit_victim(p90,v0).
-severity_harm(p90,v1).
+NOT benefit_victim(p90).
+severity_harm(p90).
goal_achieveable_less_harmful(p90).
NOT intervening_contribution(p90).
low_foreseeability(p90).
@@ -2361,8 +2359,8 @@
benefit_protagonist(p91).
careful(p91).
negligent_mental_state(p91).
-benefit_victim(p91,v0).
-severity_harm(p91,v1).
+NOT benefit_victim(p91).
+severity_harm(p91).
NOT achieve_goal(p91).
foresee_intervention(p91).
low_foreseeability(p91).
@@ -2385,8 +2383,8 @@
NOT benefit_protagonist(p92).
careful(p92).
neither_mental_state(p92).
-benefit_victim(p92,v0).
-severity_harm(p92,v1).
+NOT benefit_victim(p92).
+severity_harm(p92).
NOT achieve_goal(p92).
foresee_intervention(p92).
low_foreseeability(p92).
@@ -2409,8 +2407,8 @@
benefit_protagonist(p93).
NOT careful(p93).
neither_mental_state(p93).
-benefit_victim(p93,v0).
-severity_harm(p93,v1).
+NOT benefit_victim(p93).
+severity_harm(p93).
NOT achieve_goal(p93).
NOT intervening_contribution(p93).
low_foreseeability(p93).
@@ -2433,8 +2431,8 @@
NOT benefit_protagonist(p94).
careful(p94).
negligent_mental_state(p94).
-benefit_victim(p94,v0).
-severity_harm(p94,v1).
+NOT benefit_victim(p94).
+severity_harm(p94).
NOT achieve_goal(p94).
foresee_intervention(p94).
low_foreseeability(p94).
@@ -2457,8 +2455,8 @@
achieve_goal(p95).
NOT careful(p95).
reckless_mental_state(p95).
-benefit_victim(p95,v0).
-severity_harm(p95,v1).
+NOT benefit_victim(p95).
+severity_harm(p95).
goal_achieveable_less_harmful(p95).
foresee_intervention(p95).
low_foreseeability(p95).
@@ -2483,8 +2481,8 @@
careful(p96).
reckless_mental_state(p96).
low_foreseeability(p96).
-benefit_victim(p96,v0).
-severity_harm(p96,v1).
+NOT benefit_victim(p96).
+severity_harm(p96).
goal_achieveable_less_harmful(p96).
control_perpetrator(p96).
outrank_perpetrator(p96).
@@ -2507,8 +2505,8 @@
careful(p97).
negligent_mental_state(p97).
no_foreseeability(p97).
-benefit_victim(p97,v0).
-severity_harm(p97,v1).
+NOT benefit_victim(p97).
+severity_harm(p97).
goal_achieveable_less_harmful(p97).
control_perpetrator(p97).
outrank_perpetrator(p97).
@@ -2531,8 +2529,8 @@
NOT careful(p98).
negligent_mental_state(p98).
high_foreseeability(p98).
-benefit_victim(p98,v0).
-severity_harm(p98,v1).
+NOT benefit_victim(p98).
+severity_harm(p98).
goal_achieveable_less_harmful(p98).
control_perpetrator(p98).
outrank_perpetrator(p98).
@@ -2555,8 +2553,8 @@
careful(p99).
reckless_mental_state(p99).
low_foreseeability(p99).
-benefit_victim(p99,v0).
-severity_harm(p99,v1).
+NOT benefit_victim(p99).
+severity_harm(p99).
NOT achieve_goal(p99).
control_perpetrator(p99).
outrank_perpetrator(p99).
@@ -2579,8 +2577,8 @@
NOT careful(p100).
reckless_mental_state(p100).
no_foreseeability(p100).
-benefit_victim(p100,v0).
-severity_harm(p100,v1).
+NOT benefit_victim(p100).
+severity_harm(p100).
goal_achieveable_less_harmful(p100).
control_perpetrator(p100).
outrank_perpetrator(p100).
@@ -2603,8 +2601,8 @@
NOT careful(p101).
negligent_mental_state(p101).
low_foreseeability(p101).
-benefit_victim(p101,v0).
-severity_harm(p101,v1).
+NOT benefit_victim(p101).
+severity_harm(p101).
goal_achieveable_less_harmful(p101).
control_perpetrator(p101).
outrank_perpetrator(p101).
@@ -2630,8 +2628,8 @@
plan_known(n0).
produce_harm(n0).
NOT sufficient_for_harm(n0).
-severity_harm(n0,v0).
-benefit_victim(n0,v0).
+NOT severity_harm(n0).
+NOT benefit_victim(n0).
reckless_mental_state(n0).
NOT achieve_goal(n1).
@@ -2654,8 +2652,8 @@
plan_known(n1).
NOT produce_harm(n1).
NOT sufficient_for_harm(n1).
-severity_harm(n1,v0).
-benefit_victim(n1,v1).
+NOT severity_harm(n1).
+benefit_victim(n1).
neither_mental_state(n1).
NOT achieve_goal(n2).
@@ -2678,8 +2676,8 @@
plan_known(n2).
produce_harm(n2).
NOT sufficient_for_harm(n2).
-severity_harm(n2,v1).
-benefit_victim(n2,v1).
+severity_harm(n2).
+benefit_victim(n2).
neither_mental_state(n2).
NOT achieve_goal(n3).
@@ -2702,12 +2700,12 @@
plan_known(n3).
NOT produce_harm(n3).
NOT sufficient_for_harm(n3).
-severity_harm(n3,v0).
-benefit_victim(n3,v1).
+NOT severity_harm(n3).
+benefit_victim(n3).
neither_mental_state(n3).
-/*
-achieve_goal(n4).
+
+/*achieve_goal(n4).
NOT benefit_protagonist(n4).
NOT careful(n4).
NOT control_perpetrator(n4).
@@ -2727,8 +2725,8 @@
plan_known(n4).
produce_harm(n4).
NOT sufficient_for_harm(n4).
-severity_harm(n4,v0).
-benefit_victim(n4,v0).
+NOT severity_harm(n4).
+NOT benefit_victim(n4).
reckless_mental_state(n4).
*/
@@ -2752,8 +2750,8 @@
plan_known(n5).
produce_harm(n5).
sufficient_for_harm(n5).
-severity_harm(n5,v1).
-benefit_victim(n5,v1).
+severity_harm(n5).
+benefit_victim(n5).
neither_mental_state(n5).
achieve_goal(n6).
@@ -2776,8 +2774,8 @@
plan_known(n6).
produce_harm(n6).
sufficient_for_harm(n6).
-severity_harm(n6,v1).
-benefit_victim(n6,v0).
+severity_harm(n6).
+NOT benefit_victim(n6).
neither_mental_state(n6).
NOT achieve_goal(n7).
@@ -2800,8 +2798,8 @@
plan_known(n7).
produce_harm(n7).
sufficient_for_harm(n7).
-severity_harm(n7,v1).
-benefit_victim(n7,v1).
+severity_harm(n7).
+benefit_victim(n7).
reckless_mental_state(n7).
achieve_goal(n8).
@@ -2824,8 +2822,8 @@
NOT plan_known(n8).
NOT produce_harm(n8).
sufficient_for_harm(n8).
-severity_harm(n8,v1).
-benefit_victim(n8,v1).
+severity_harm(n8).
+benefit_victim(n8).
reckless_mental_state(n8).
NOT achieve_goal(n9).
@@ -2848,8 +2846,8 @@
plan_known(n9).
NOT produce_harm(n9).
NOT sufficient_for_harm(n9).
-severity_harm(n9,v0).
-benefit_victim(n9,v0).
+NOT severity_harm(n9).
+NOT benefit_victim(n9).
negligent_mental_state(n9).
achieve_goal(n10).
@@ -2872,8 +2870,8 @@
plan_known(n10).
NOT produce_harm(n10).
sufficient_for_harm(n10).
-severity_harm(n10,v0).
-benefit_victim(n10,v0).
+NOT severity_harm(n10).
+NOT benefit_victim(n10).
negligent_mental_state(n10).
/*
@@ -2897,8 +2895,8 @@
NOT plan_known(n11).
produce_harm(n11).
NOT sufficient_for_harm(n11).
-severity_harm(n11,v1).
-benefit_victim(n11,v0).
+severity_harm(n11).
+NOT benefit_victim(n11).
negligent_mental_state(n11).
NOT achieve_goal(n12).
@@ -2921,8 +2919,8 @@
plan_known(n12).
produce_harm(n12).
NOT sufficient_for_harm(n12).
-severity_harm(n12,v0).
-benefit_victim(n12,v1).
+NOT severity_harm(n12).
+benefit_victim(n12).
negligent_mental_state(n12).
achieve_goal(n13).
@@ -2945,8 +2943,8 @@
NOT plan_known(n13).
NOT produce_harm(n13).
sufficient_for_harm(n13).
-severity_harm(n13,v1).
-benefit_victim(n13,v0).
+severity_harm(n13).
+NOT benefit_victim(n13).
reckless_mental_state(n13).
achieve_goal(n14).
@@ -2969,8 +2967,8 @@
plan_known(n14).
produce_harm(n14).
sufficient_for_harm(n14).
-severity_harm(n14,v1).
-benefit_victim(n14,v1).
+severity_harm(n14).
+benefit_victim(n14).
reckless_mental_state(n14).
NOT achieve_goal(n15).
@@ -2993,8 +2991,8 @@
plan_known(n15).
produce_harm(n15).
sufficient_for_harm(n15).
-severity_harm(n15,v0).
-benefit_victim(n15,v0).
+NOT severity_harm(n15).
+NOT benefit_victim(n15).
reckless_mental_state(n15).
NOT achieve_goal(n16).
@@ -3017,8 +3015,8 @@
NOT plan_known(n16).
NOT produce_harm(n16).
sufficient_for_harm(n16).
-severity_harm(n16,v0).
-benefit_victim(n16,v0).
+NOT severity_harm(n16).
+NOT benefit_victim(n16).
neither_mental_state(n16).
NOT achieve_goal(n17).
@@ -3041,8 +3039,8 @@
plan_known(n17).
NOT produce_harm(n17).
sufficient_for_harm(n17).
-severity_harm(n17,v1).
-benefit_victim(n17,v0).
+severity_harm(n17).
+NOT benefit_victim(n17).
negligent_mental_state(n17).
NOT achieve_goal(n18).
@@ -3065,8 +3063,8 @@
plan_known(n18).
produce_harm(n18).
sufficient_for_harm(n18).
-severity_harm(n18,v1).
-benefit_victim(n18,v1).
+severity_harm(n18).
+benefit_victim(n18).
negligent_mental_state(n18).
achieve_goal(n19).
@@ -3089,8 +3087,8 @@
plan_known(n19).
NOT produce_harm(n19).
sufficient_for_harm(n19).
-severity_harm(n19,v0).
-benefit_victim(n19,v1).
+NOT severity_harm(n19).
+benefit_victim(n19).
negligent_mental_state(n19).
achieve_goal(n20).
@@ -3113,10 +3111,10 @@
plan_known(n20).
NOT produce_harm(n20).
sufficient_for_harm(n20).
-severity_harm(n20,v1).
-benefit_victim(n20,v1).
+severity_harm(n20).
+benefit_victim(n20).
negligent_mental_state(n20).
-/*
+
achieve_goal(n21).
benefit_protagonist(n21).
NOT careful(n21).
@@ -3137,8 +3135,8 @@
plan_known(n21).
NOT produce_harm(n21).
NOT sufficient_for_harm(n21).
-severity_harm(n21,v0).
-benefit_victim(n21,v1).
+NOT severity_harm(n21).
+benefit_victim(n21).
neither_mental_state(n21).
achieve_goal(n22).
@@ -3161,8 +3159,8 @@
plan_known(n22).
NOT produce_harm(n22).
NOT sufficient_for_harm(n22).
-severity_harm(n22,v0).
-benefit_victim(n22,v0).
+NOT severity_harm(n22).
+NOT benefit_victim(n22).
neither_mental_state(n22).
achieve_goal(n23).
@@ -3185,8 +3183,8 @@
NOT plan_known(n23).
NOT produce_harm(n23).
sufficient_for_harm(n23).
-severity_harm(n23,v1).
-benefit_victim(n23,v1).
+severity_harm(n23).
+benefit_victim(n23).
negligent_mental_state(n23).
NOT achieve_goal(n24).
@@ -3209,8 +3207,8 @@
plan_known(n24).
produce_harm(n24).
NOT sufficient_for_harm(n24).
-severity_harm(n24,v0).
-benefit_victim(n24,v0).
+NOT severity_harm(n24).
+NOT benefit_victim(n24).
neither_mental_state(n24).
achieve_goal(n25).
@@ -3233,8 +3231,8 @@
NOT plan_known(n25).
NOT produce_harm(n25).
sufficient_for_harm(n25).
-severity_harm(n25,v0).
-benefit_victim(n25,v1).
+NOT severity_harm(n25).
+benefit_victim(n25).
neither_mental_state(n25).
achieve_goal(n26).
@@ -3257,8 +3255,8 @@
plan_known(n26).
produce_harm(n26).
sufficient_for_harm(n26).
-severity_harm(n26,v0).
-benefit_victim(n26,v1).
+NOT severity_harm(n26).
+benefit_victim(n26).
reckless_mental_state(n26).
NOT achieve_goal(n27).
@@ -3281,8 +3279,8 @@
NOT plan_known(n27).
NOT produce_harm(n27).
sufficient_for_harm(n27).
-severity_harm(n27,v0).
-benefit_victim(n27,v0).
+NOT severity_harm(n27).
+NOT benefit_victim(n27).
neither_mental_state(n27).
NOT achieve_goal(n28).
@@ -3305,8 +3303,8 @@
NOT plan_known(n28).
produce_harm(n28).
sufficient_for_harm(n28).
-severity_harm(n28,v1).
-benefit_victim(n28,v0).
+severity_harm(n28).
+NOT benefit_victim(n28).
negligent_mental_state(n28).
NOT achieve_goal(n29).
@@ -3329,11 +3327,11 @@
NOT plan_known(n29).
produce_harm(n29).
sufficient_for_harm(n29).
-severity_harm(n29,v0).
-benefit_victim(n29,v0).
+NOT severity_harm(n29).
+NOT benefit_victim(n29).
reckless_mental_state(n29).
-/*
+
achieve_goal(n30).
benefit_protagonist(n30).
careful(n30).
@@ -3354,8 +3352,8 @@
NOT plan_known(n30).
produce_harm(n30).
sufficient_for_harm(n30).
-severity_harm(n30,v0).
-benefit_victim(n30,v1).
+NOT severity_harm(n30).
+benefit_victim(n30).
neither_mental_state(n30).
achieve_goal(n31).
@@ -3378,8 +3376,8 @@
plan_known(n31).
produce_harm(n31).
NOT sufficient_for_harm(n31).
-severity_harm(n31,v1).
-benefit_victim(n31,v1).
+severity_harm(n31).
+benefit_victim(n31).
reckless_mental_state(n31).
achieve_goal(n32).
@@ -3402,8 +3400,8 @@
NOT plan_known(n32).
produce_harm(n32).
sufficient_for_harm(n32).
-severity_harm(n32,v0).
-benefit_victim(n32,v0).
+NOT severity_harm(n32).
+NOT benefit_victim(n32).
neither_mental_state(n32).
NOT achieve_goal(n33).
@@ -3426,8 +3424,8 @@
plan_known(n33).
produce_harm(n33).
sufficient_for_harm(n33).
-severity_harm(n33,v1).
-benefit_victim(n33,v1).
+severity_harm(n33).
+benefit_victim(n33).
reckless_mental_state(n33).
achieve_goal(n34).
@@ -3450,8 +3448,8 @@
plan_known(n34).
produce_harm(n34).
NOT sufficient_for_harm(n34).
-severity_harm(n34,v1).
-benefit_victim(n34,v0).
+severity_harm(n34).
+NOT benefit_victim(n34).
neither_mental_state(n34).
NOT achieve_goal(n35).
@@ -3474,8 +3472,8 @@
NOT plan_known(n35).
produce_harm(n35).
sufficient_for_harm(n35).
-severity_harm(n35,v1).
-benefit_victim(n35,v0).
+severity_harm(n35).
+NOT benefit_victim(n35).
negligent_mental_state(n35).
NOT achieve_goal(n36).
@@ -3498,8 +3496,8 @@
plan_known(n36).
NOT produce_harm(n36).
NOT sufficient_for_harm(n36).
-severity_harm(n36,v0).
-benefit_victim(n36,v0).
+NOT severity_harm(n36).
+NOT benefit_victim(n36).
neither_mental_state(n36).
achieve_goal(n37).
@@ -3522,8 +3520,8 @@
NOT plan_known(n37).
produce_harm(n37).
sufficient_for_harm(n37).
-severity_harm(n37,v1).
-benefit_victim(n37,v0).
+severity_harm(n37).
+NOT benefit_victim(n37).
neither_mental_state(n37).
NOT achieve_goal(n38).
@@ -3546,8 +3544,8 @@
NOT plan_known(n38).
produce_harm(n38).
NOT sufficient_for_harm(n38).
-severity_harm(n38,v0).
-benefit_victim(n38,v0).
+NOT severity_harm(n38).
+NOT benefit_victim(n38).
negligent_mental_state(n38).
NOT achieve_goal(n39).
@@ -3570,8 +3568,8 @@
NOT plan_known(n39).
produce_harm(n39).
sufficient_for_harm(n39).
-severity_harm(n39,v0).
-benefit_victim(n39,v0).
+NOT severity_harm(n39).
+NOT benefit_victim(n39).
negligent_mental_state(n39).
NOT achieve_goal(n40).
@@ -3594,8 +3592,8 @@
plan_known(n40).
NOT produce_harm(n40).
sufficient_for_harm(n40).
-severity_harm(n40,v0).
-benefit_victim(n40,v1).
+NOT severity_harm(n40).
+benefit_victim(n40).
reckless_mental_state(n40).
achieve_goal(n41).
@@ -3618,8 +3616,8 @@
NOT plan_known(n41).
NOT produce_harm(n41).
NOT sufficient_for_harm(n41).
-severity_harm(n41,v0).
-benefit_victim(n41,v0).
+NOT severity_harm(n41).
+NOT benefit_victim(n41).
neither_mental_state(n41).
NOT achieve_goal(n42).
@@ -3642,8 +3640,8 @@
NOT plan_known(n42).
NOT produce_harm(n42).
NOT sufficient_for_harm(n42).
-severity_harm(n42,v0).
-benefit_victim(n42,v1).
+NOT severity_harm(n42).
+benefit_victim(n42).
negligent_mental_state(n42).
NOT achieve_goal(n43).
@@ -3666,8 +3664,8 @@
plan_known(n43).
produce_harm(n43).
sufficient_for_harm(n43).
-severity_harm(n43,v1).
-benefit_victim(n43,v1).
+severity_harm(n43).
+benefit_victim(n43).
reckless_mental_state(n43).
achieve_goal(n44).
@@ -3690,8 +3688,8 @@
plan_known(n44).
NOT produce_harm(n44).
sufficient_for_harm(n44).
-severity_harm(n44,v0).
-benefit_victim(n44,v0).
+NOT severity_harm(n44).
+NOT benefit_victim(n44).
negligent_mental_state(n44).
NOT achieve_goal(n45).
@@ -3714,8 +3712,8 @@
plan_known(n45).
NOT produce_harm(n45).
sufficient_for_harm(n45).
-severity_harm(n45,v1).
-benefit_victim(n45,v1).
+severity_harm(n45).
+benefit_victim(n45).
neither_mental_state(n45).
achieve_goal(n46).
@@ -3738,8 +3736,8 @@
NOT plan_known(n46).
NOT produce_harm(n46).
NOT sufficient_for_harm(n46).
-severity_harm(n46,v0).
-benefit_victim(n46,v0).
+NOT severity_harm(n46).
+NOT benefit_victim(n46).
negligent_mental_state(n46).
NOT achieve_goal(n47).
@@ -3762,8 +3760,8 @@
plan_known(n47).
NOT produce_harm(n47).
sufficient_for_harm(n47).
-severity_harm(n47,v0).
-benefit_victim(n47,v1).
+NOT severity_harm(n47).
+benefit_victim(n47).
negligent_mental_state(n47).
NOT achieve_goal(n48).
@@ -3786,8 +3784,8 @@
NOT plan_known(n48).
produce_harm(n48).
sufficient_for_harm(n48).
-severity_harm(n48,v1).
-benefit_victim(n48,v1).
+severity_harm(n48).
+benefit_victim(n48).
negligent_mental_state(n48).
NOT achieve_goal(n49).
@@ -3810,8 +3808,8 @@
plan_known(n49).
NOT produce_harm(n49).
sufficient_for_harm(n49).
-severity_harm(n49,v0).
-benefit_victim(n49,v0).
+NOT severity_harm(n49).
+NOT benefit_victim(n49).
neither_mental_state(n49).
achieve_goal(n50).
@@ -3834,8 +3832,8 @@
plan_known(n50).
produce_harm(n50).
sufficient_for_harm(n50).
-severity_harm(n50,v1).
-benefit_victim(n50,v1).
+severity_harm(n50).
+benefit_victim(n50).
negligent_mental_state(n50).
NOT achieve_goal(n51).
@@ -3858,8 +3856,8 @@
plan_known(n51).
produce_harm(n51).
sufficient_for_harm(n51).
-severity_harm(n51,v0).
-benefit_victim(n51,v0).
+NOT severity_harm(n51).
+NOT benefit_victim(n51).
reckless_mental_state(n51).
NOT achieve_goal(n52).
@@ -3882,8 +3880,8 @@
plan_known(n52).
NOT produce_harm(n52).
NOT sufficient_for_harm(n52).
-severity_harm(n52,v0).
-benefit_victim(n52,v0).
+NOT severity_harm(n52).
+NOT benefit_victim(n52).
neither_mental_state(n52).
NOT achieve_goal(n53).
@@ -3906,8 +3904,8 @@
NOT plan_known(n53).
produce_harm(n53).
NOT sufficient_for_harm(n53).
-severity_harm(n53,v0).
-benefit_victim(n53,v0).
+NOT severity_harm(n53).
+NOT benefit_victim(n53).
negligent_mental_state(n53).
achieve_goal(n54).
@@ -3930,8 +3928,8 @@
NOT plan_known(n54).
NOT produce_harm(n54).
NOT sufficient_for_harm(n54).
-severity_harm(n54,v0).
-benefit_victim(n54,v0).
+NOT severity_harm(n54).
+NOT benefit_victim(n54).
neither_mental_state(n54).
achieve_goal(n55).
@@ -3954,8 +3952,8 @@
plan_known(n55).
produce_harm(n55).
NOT sufficient_for_harm(n55).
-severity_harm(n55,v0).
-benefit_victim(n55,v0).
+NOT severity_harm(n55).
+NOT benefit_victim(n55).
reckless_mental_state(n55).
NOT achieve_goal(n56).
@@ -3978,8 +3976,8 @@
NOT plan_known(n56).
produce_harm(n56).
NOT sufficient_for_harm(n56).
-severity_harm(n56,v1).
-benefit_victim(n56,v1).
+severity_harm(n56).
+benefit_victim(n56).
reckless_mental_state(n56).
NOT achieve_goal(n57).
@@ -4002,8 +4000,8 @@
plan_known(n57).
NOT produce_harm(n57).
NOT sufficient_for_harm(n57).
-severity_harm(n57,v1).
-benefit_victim(n57,v0).
+severity_harm(n57).
+NOT benefit_victim(n57).
neither_mental_state(n57).
NOT achieve_goal(n58).
@@ -4026,8 +4024,8 @@
plan_known(n58).
produce_harm(n58).
sufficient_for_harm(n58).
-severity_harm(n58,v0).
-benefit_victim(n58,v1).
+NOT severity_harm(n58).
+benefit_victim(n58).
negligent_mental_state(n58).
achieve_goal(n59).
@@ -4050,8 +4048,8 @@
plan_known(n59).
produce_harm(n59).
NOT sufficient_for_harm(n59).
-severity_harm(n59,v0).
-benefit_victim(n59,v0).
+NOT severity_harm(n59).
+NOT benefit_victim(n59).
neither_mental_state(n59).
NOT achieve_goal(n60).
@@ -4074,8 +4072,8 @@
plan_known(n60).
produce_harm(n60).
NOT sufficient_for_harm(n60).
-severity_harm(n60,v0).
-benefit_victim(n60,v1).
+NOT severity_harm(n60).
+benefit_victim(n60).
neither_mental_state(n60).
NOT achieve_goal(n61).
@@ -4098,8 +4096,8 @@
NOT plan_known(n61).
NOT produce_harm(n61).
NOT sufficient_for_harm(n61).
-severity_harm(n61,v0).
-benefit_victim(n61,v1).
+NOT severity_harm(n61).
+benefit_victim(n61).
reckless_mental_state(n61).
achieve_goal(n62).
@@ -4122,8 +4120,8 @@
NOT plan_known(n62).
NOT produce_harm(n62).
sufficient_for_harm(n62).
-severity_harm(n62,v0).
-benefit_victim(n62,v0).
+NOT severity_harm(n62).
+NOT benefit_victim(n62).
reckless_mental_state(n62).
achieve_goal(n63).
@@ -4146,8 +4144,8 @@
plan_known(n63).
produce_harm(n63).
NOT sufficient_for_harm(n63).
-severity_harm(n63,v0).
-benefit_victim(n63,v0).
+NOT severity_harm(n63).
+NOT benefit_victim(n63).
neither_mental_state(n63).
NOT achieve_goal(n64).
@@ -4170,8 +4168,8 @@
NOT plan_known(n64).
NOT produce_harm(n64).
sufficient_for_harm(n64).
-severity_harm(n64,v0).
-benefit_victim(n64,v0).
+NOT severity_harm(n64).
+NOT benefit_victim(n64).
negligent_mental_state(n64).
NOT achieve_goal(n65).
@@ -4194,8 +4192,8 @@
NOT plan_known(n65).
produce_harm(n65).
NOT sufficient_for_harm(n65).
-severity_harm(n65,v1).
-benefit_victim(n65,v0).
+severity_harm(n65).
+NOT benefit_victim(n65).
negligent_mental_state(n65).
NOT achieve_goal(n66).
@@ -4218,8 +4216,8 @@
NOT plan_known(n66).
NOT produce_harm(n66).
NOT sufficient_for_harm(n66).
-severity_harm(n66,v1).
-benefit_victim(n66,v0).
+severity_harm(n66).
+NOT benefit_victim(n66).
negligent_mental_state(n66).
NOT achieve_goal(n67).
@@ -4242,8 +4240,8 @@
NOT plan_known(n67).
NOT produce_harm(n67).
sufficient_for_harm(n67).
-severity_harm(n67,v1).
-benefit_victim(n67,v0).
+severity_harm(n67).
+NOT benefit_victim(n67).
neither_mental_state(n67).
achieve_goal(n68).
@@ -4266,8 +4264,8 @@
plan_known(n68).
NOT produce_harm(n68).
NOT sufficient_for_harm(n68).
-severity_harm(n68,v0).
-benefit_victim(n68,v0).
+NOT severity_harm(n68).
+NOT benefit_victim(n68).
negligent_mental_state(n68).
NOT achieve_goal(n69).
@@ -4290,8 +4288,8 @@
plan_known(n69).
produce_harm(n69).
NOT sufficient_for_harm(n69).
-severity_harm(n69,v0).
-benefit_victim(n69,v0).
+NOT severity_harm(n69).
+NOT benefit_victim(n69).
reckless_mental_state(n69).
achieve_goal(n70).
@@ -4314,8 +4312,8 @@
NOT plan_known(n70).
produce_harm(n70).
NOT sufficient_for_harm(n70).
-severity_harm(n70,v0).
-benefit_victim(n70,v0).
+NOT severity_harm(n70).
+NOT benefit_victim(n70).
negligent_mental_state(n70).
NOT achieve_goal(n71).
@@ -4338,8 +4336,8 @@
NOT plan_known(n71).
produce_harm(n71).
NOT sufficient_for_harm(n71).
-severity_harm(n71,v0).
-benefit_victim(n71,v1).
+NOT severity_harm(n71).
+benefit_victim(n71).
neither_mental_state(n71).
NOT achieve_goal(n72).
@@ -4362,8 +4360,8 @@
NOT plan_known(n72).
NOT produce_harm(n72).
sufficient_for_harm(n72).
-severity_harm(n72,v1).
-benefit_victim(n72,v0).
+severity_harm(n72).
+NOT benefit_victim(n72).
neither_mental_state(n72).
NOT achieve_goal(n73).
@@ -4386,8 +4384,8 @@
plan_known(n73).
produce_harm(n73).
NOT sufficient_for_harm(n73).
-severity_harm(n73,v1).
-benefit_victim(n73,v0).
+severity_harm(n73).
+NOT benefit_victim(n73).
neither_mental_state(n73).
NOT achieve_goal(n74).
@@ -4410,8 +4408,8 @@
NOT plan_known(n74).
NOT produce_harm(n74).
NOT sufficient_for_harm(n74).
-severity_harm(n74,v0).
-benefit_victim(n74,v0).
+NOT severity_harm(n74).
+NOT benefit_victim(n74).
reckless_mental_state(n74).
NOT achieve_goal(n75).
@@ -4434,8 +4432,8 @@
NOT plan_known(n75).
NOT produce_harm(n75).
NOT sufficient_for_harm(n75).
-severity_harm(n75,v1).
-benefit_victim(n75,v0).
+severity_harm(n75).
+NOT benefit_victim(n75).
neither_mental_state(n75).
achieve_goal(n76).
@@ -4458,8 +4456,8 @@
plan_known(n76).
produce_harm(n76).
NOT sufficient_for_harm(n76).
-severity_harm(n76,v1).
-benefit_victim(n76,v1).
+severity_harm(n76).
+benefit_victim(n76).
neither_mental_state(n76).
achieve_goal(n77).
@@ -4482,8 +4480,8 @@
plan_known(n77).
NOT produce_harm(n77).
NOT sufficient_for_harm(n77).
-severity_harm(n77,v0).
-benefit_victim(n77,v0).
+NOT severity_harm(n77).
+NOT benefit_victim(n77).
reckless_mental_state(n77).
achieve_goal(n78).
@@ -4506,8 +4504,8 @@
plan_known(n78).
NOT produce_harm(n78).
NOT sufficient_for_harm(n78).
-severity_harm(n78,v1).
-benefit_victim(n78,v1).
+severity_harm(n78).
+benefit_victim(n78).
neither_mental_state(n78).
achieve_goal(n79).
@@ -4530,8 +4528,8 @@
plan_known(n79).
produce_harm(n79).
NOT sufficient_for_harm(n79).
-severity_harm(n79,v0).
-benefit_victim(n79,v1).
+NOT severity_harm(n79).
+benefit_victim(n79).
reckless_mental_state(n79).
achieve_goal(n80).
@@ -4554,8 +4552,8 @@
plan_known(n80).
NOT produce_harm(n80).
NOT sufficient_for_harm(n80).
-severity_harm(n80,v1).
-benefit_victim(n80,v1).
+severity_harm(n80).
+benefit_victim(n80).
reckless_mental_state(n80).
achieve_goal(n81).
@@ -4578,8 +4576,8 @@
plan_known(n81).
NOT produce_harm(n81).
NOT sufficient_for_harm(n81).
-severity_harm(n81,v1).
-benefit_victim(n81,v1).
+severity_harm(n81).
+benefit_victim(n81).
neither_mental_state(n81).
achieve_goal(n82).
@@ -4602,8 +4600,8 @@
plan_known(n82).
produce_harm(n82).
NOT sufficient_for_harm(n82).
-severity_harm(n82,v0).
-benefit_victim(n82,v1).
+NOT severity_harm(n82).
+benefit_victim(n82).
negligent_mental_state(n82).
achieve_goal(n83).
@@ -4626,8 +4624,8 @@
plan_known(n83).
produce_harm(n83).
sufficient_for_harm(n83).
-severity_harm(n83,v1).
-benefit_victim(n83,v1).
+severity_harm(n83).
+benefit_victim(n83).
reckless_mental_state(n83).
NOT achieve_goal(n84).
@@ -4650,8 +4648,8 @@
NOT plan_known(n84).
NOT produce_harm(n84).
NOT sufficient_for_harm(n84).
-severity_harm(n84,v1).
-benefit_victim(n84,v0).
+severity_harm(n84).
+NOT benefit_victim(n84).
reckless_mental_state(n84).
achieve_goal(n85).
@@ -4674,8 +4672,8 @@
plan_known(n85).
produce_harm(n85).
sufficient_for_harm(n85).
-severity_harm(n85,v0).
-benefit_victim(n85,v1).
+NOT severity_harm(n85).
+benefit_victim(n85).
neither_mental_state(n85).
achieve_goal(n86).
@@ -4698,8 +4696,8 @@
plan_known(n86).
NOT produce_harm(n86).
sufficient_for_harm(n86).
-severity_harm(n86,v1).
-benefit_victim(n86,v1).
+severity_harm(n86).
+benefit_victim(n86).
neither_mental_state(n86).
achieve_goal(n87).
@@ -4722,8 +4720,8 @@
plan_known(n87).
NOT produce_harm(n87).
NOT sufficient_for_harm(n87).
-severity_harm(n87,v1).
-benefit_victim(n87,v0).
+severity_harm(n87).
+NOT benefit_victim(n87).
reckless_mental_state(n87).
NOT achieve_goal(n88).
@@ -4746,8 +4744,8 @@
plan_known(n88).
produce_harm(n88).
NOT sufficient_for_harm(n88).
-severity_harm(n88,v0).
-benefit_victim(n88,v0).
+NOT severity_harm(n88).
+NOT benefit_victim(n88).
reckless_mental_state(n88).
achieve_goal(n89).
@@ -4770,10 +4768,11 @@
NOT plan_known(n89).
NOT produce_harm(n89).
sufficient_for_harm(n89).
-severity_harm(n89,v1).
-benefit_victim(n89,v0).
+severity_harm(n89).
+NOT benefit_victim(n89).
negligent_mental_state(n89).
*/
+
NOT achieve_goal(n90).
NOT benefit_protagonist(n90).
NOT careful(n90).
@@ -4794,8 +4793,8 @@
plan_known(n90).
produce_harm(n90).
NOT sufficient_for_harm(n90).
-severity_harm(n90,v1).
-benefit_victim(n90,v0).
+severity_harm(n90).
+NOT benefit_victim(n90).
neither_mental_state(n90).
achieve_goal(n91).
@@ -4818,8 +4817,8 @@
plan_known(n91).
NOT produce_harm(n91).
sufficient_for_harm(n91).
-severity_harm(n91,v1).
-benefit_victim(n91,v1).
+severity_harm(n91).
+benefit_victim(n91).
negligent_mental_state(n91).
achieve_goal(n92).
@@ -4842,8 +4841,8 @@
plan_known(n92).
NOT produce_harm(n92).
NOT sufficient_for_harm(n92).
-severity_harm(n92,v0).
-benefit_victim(n92,v0).
+NOT severity_harm(n92).
+NOT benefit_victim(n92).
neither_mental_state(n92).
achieve_goal(n93).
@@ -4866,8 +4865,8 @@
NOT plan_known(n93).
NOT produce_harm(n93).
sufficient_for_harm(n93).
-severity_harm(n93,v0).
-benefit_victim(n93,v0).
+NOT severity_harm(n93).
+NOT benefit_victim(n93).
negligent_mental_state(n93).
achieve_goal(n94).
@@ -4890,8 +4889,8 @@
NOT plan_known(n94).
produce_harm(n94).
sufficient_for_harm(n94).
-severity_harm(n94,v1).
-benefit_victim(n94,v1).
+severity_harm(n94).
+benefit_victim(n94).
neither_mental_state(n94).
NOT achieve_goal(n95).
@@ -4914,8 +4913,8 @@
plan_known(n95).
NOT produce_harm(n95).
sufficient_for_harm(n95).
-severi...
[truncated message content] |
