More salt mining required more salt miners.
Additional salt miners are need if more salt mining is to be done.
mnli hypothesis: Additional salt miners are need if more salt mining is to be done. premise: More salt mining required more salt miners.