They look up slate in their index and see that it often occurs on the same page as roof, so they suggest this as a possible refinement of the search.
They never saw the term pop up in their index.
mnli hypothesis: They never saw the term pop up in their index. premise: They look up slate in their index and see that it often occurs on the same page as roof, so they suggest this as a possible refinement of the search.