['entailment']
The atomic bombs, returned the Astronomer, "need not be the end of civilization.
הפצצות האטומיות, השיב האסטרונום, "לא חייבות להיות סוף הציוויליזציה.
The Astronomer believed that atomic bombs didn't have to spell the end of the world.
האסטרונום האמין שפצצות אטום לא חייבות לבשר את סוף העולם.