Explaining real MT to translators: between compositional semantics and word-for-word