Bar-Hillel’s “Mechanical Translation”