English compositional rule of inference: תרגום לשפות אחרות