Monotonic is one of the possible values for strength. If a formula is asserted with a strength of :monotonic, the resulting assertion(s) will have a truth value of either monotonically true or monotonically false, depending on whether or not the asserted formula was negated. See also default assertion.
