English logic -coverage testing: תרגום לשפות אחרות