English automated reasoning tool: tłumaczenie na inne języki