Translation between languages and into logical representations is one of the main goals of NLP since the 1950s.