False-negative damage bound for Horn theories

Determine a corresponding universal bound for false-negative damage in definite Horn theories, including a suitable measure of the atoms affected when a true premise is removed.

Background

The body-size conjecture addresses false positives, in which an incorrectly activated atom can trigger a closure of newly true atoms. The paper explicitly notes that the analogous problem for false negatives is different because removing a true premise may invalidate conclusions and affect atoms through a mechanism not captured by the same cone size.

The authors do not provide a measure or theorem for this case. They state that obtaining a corresponding bound remains unresolved; simulations report false-negative damages as high as 1.48 but do not resolve the general problem.