With such a machine, we can run off a graph of the tides for years ahead.
We need such a machine to run off a graph of the harmful tides.
mnli hypothesis: We need such a machine to run off a graph of the harmful tides. premise: With such a machine, we can run off a graph of the tides for years ahead.