English logic core: תרגום לשפות אחרות