['entailment']
The hammer he swung must have weighed fifteen stones.
הפטיש שהוא הניף בטח שקל 15 אבנים.
He swung the hammer, despite the fact it weighed about 15 stones.
הוא הניף את הפטיש, למרות שהוא שקל בערך 15 אבנים.