That translation bottleneck is not just a technicality, it is a clue to what current systems are actually doing. They excel once a problem is expressed in the formal grammar they understand, yet they ...