directed_conseq_conv
ConseqConv.type directed_conseq_conv
A type for consequence conversions that can be instructed on whether to strengthen or weaken a given term.
Given a CONSEQ_CONV_direction, a directed consequence conversion tries
to strengthen, weaken or whatever it can depending on the given
direction.