negation_result(prefix_success, a).
negation_result(prefix_failure, preserved).
negation_result(middle_success, "ab").
negation_result(middle_failure, preserved).