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