Premise: They should be mining.

Hypothesis: They should spend their time mining.
Relation: entailment