Each output template is suggested as holding an entailment relation with the input template I, but the algorithms do not specify the entailment direction(s).
each pair {I, O j } induces two candidate directional entailment rules: 'I → O j ' and 'O j → I'.