English assertion-level logic: перевод на другие языки