EXTRA: a system for example-based translation assistance