«Implicazione logica» su inglese con traduzione parallela