English assertion-level logic: תרגום לשפות אחרות