When the translator selects the colour-coded TM alternative (c.f., Figure 3), the given input sentence is also colour-coded to reflect the matching and unmatching parts in the input sentence.
the substitution log can serve as a valuable resource for training a statistical automatic post-editing system.