English automated verification system: translation to other languages