/* Transplant: NOT-P *//* the following is a loose definition of "hitting" (battery) */ directly_causes(operate, hitting(1)). directly_causes(hitting(1), making_organs_available).directly_causes(hitting(1), killing(1)).directly_causes(making_organs_available, transplanting_organs).directly_causes(organ_failure, killing(5)).directly_prevents(transplanting_organs, organ_failure).is_goal(prevention_of(killing(5))).