English property-specification language: перевод на другие языки