Thus, one essential issue is to identify more complex expressions which, in appropriate contexts, convey the same (or similar) meaning.
more generally, we are also interested in pairs of expressions in which only a uni-directional inference relation holds 1 .