The Positive Bound item (menu Construction) deletes from each term of HH the negative literals (while taking into account the absorption constraint). We know that the resulting function is the minimum (resp. maximum) positive function greater (resp. smaller) than the current disjunctive (resp. conjunctive) HH.