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.