['entailment']
More salt mining required more salt miners.
כריית מלח רבה יותר דרשה כורי מלח נוספים.
Additional salt miners are need if more salt mining is to be done.
נדרשים כורי מלח נוספים אם רוצים לכרות יותר מלח.