Premise: The word came to be used for all small heavenly bodies revolving about larger ones.

Hypothesis: The word came to be used for all small heavenly planets revolving about larger ones.
Label: entailment