English combinatory logic: translation to other languages