/* Hitting to save a life (Luke): P *//* note that we need to add "train_hitting_him" to distinguish between the hittings */directly_causes(throw_man, get_off_track).directly_causes(throw_man, hitting(1)).directly_causes(train_hitting_him, hitting(1)).directly_causes(train_hitting_him, killing(1)).directly_prevents(get_off_track, train_hitting_him).is_goal(prevention_of(killing(1))).