English axiomatic architecture description language: translation to other languages