English approximate reasoning: translation to other languages