English automated reasoning tool: תרגום לשפות אחרות