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