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