means that either fewer than i or more than j of
the n propositions are true. j may be omitted, in which case it defaults to n-1. A thresh
rule is built with the SNePSUL command:
(assert thresh i threshmax j
arg (
))
If i=1 and j is omitted, the thresh is a generalization of equivalence.