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